Search results for "Timothy E. Levin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Çetin Kaya Koç, Timothy E. Levin, Timothy Sherwood	A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors.	Cryptography and Security	2012	DBLP DOI BibTeX RDF
1	Clark Weissman, Timothy E. Levin	Lessons Learned from Building a High-Assurance Crypto Gateway.	IEEE Security & Privacy	2011	DBLP DOI BibTeX RDF
1	Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood	Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.	ISCA	2011	DBLP DOI BibTeX RDF
1	Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin	Security Checkers: Detecting processor malicious inclusions at runtime.	HOST	2011	DBLP DOI BibTeX RDF
1	Ted Huffmire, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner	Security Primitives for Reconfigurable Hardware-Based Systems.	TRETS	2010	DBLP DOI BibTeX RDF
1	Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin	Hardware assistance for trustworthy systems through 3-D integration.	ACSAC	2010	DBLP DOI BibTeX RDF
1	Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner	Hardware trust implications of 3-D integration.	WESS	2010	DBLP DOI BibTeX RDF
1	Timothy E. Levin, Cynthia E. Irvine, Terry Benzel, Thuy D. Nguyen, Paul C. Clark, Ganesha Bhaskara	Idea: Trusted Emergency Management.	ESSoS	2009	DBLP DOI BibTeX RDF
1	Cynthia E. Irvine, Thuy D. Nguyen, David J. Shifflett, Timothy E. Levin, Jean Khosalim, Charles Prince, Paul C. Clark, Mark Gondree	MYSEA: the monterey security architecture.	STC	2009	DBLP DOI BibTeX RDF	authentication, access controls, information flow controls, cryptographic controls
1	Timothy E. Levin, Jeffrey S. Dwoskin, Ganesha Bhaskara, Thuy D. Nguyen, Paul C. Clark, Ruby B. Lee, Cynthia E. Irvine, Terry Benzel	Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture.	TRUST	2009	DBLP DOI BibTeX RDF	Secret Protection (SP), Transient Trust, Computer Security, Information Assurance, Emergency Response, Policy Enforcement
1	Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin	Enforcing memory policy specifications in reconfigurable hardware.	Computers & Security	2008	DBLP DOI BibTeX RDF
1	Ted Huffmire, Brett Brotherton, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine	Managing Security in FPGA-Based Embedded Systems.	IEEE Design & Test of Computers	2008	DBLP DOI BibTeX RDF
1	Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin	A security domain model to assess software for exploitable covert channels.	PLAS	2008	DBLP DOI BibTeX RDF	automated program verification, security domain model, static analysis, specification language, covert channel, dynamic slicing
1	Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine	Trustworthy System Security through 3-D Integrated Hardware.	HOST	2008	DBLP DOI BibTeX RDF
1	Mark E. Orwat, Timothy E. Levin, Cynthia E. Irvine	An Ontological Approach to Secure MANET Management.	ARES	2008	DBLP DOI BibTeX RDF	MANET Management, Security, Ontology
1	Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen	A security architecture for transient trust.	CSAW	2008	DBLP DOI BibTeX RDF	virtualization, multilevel security, emergency management, separation kernel
1	Ted Huffmire, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine	Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine, Timothy E. Levin	Toward a Medium-Robustness Separation Kernel Protection Profile.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen	Analysis of three multilevel security architectures.	CSAW	2007	DBLP DOI BibTeX RDF	partitioning kernel, principle of least privilege, architecture, multilevel security, security kernel, separation kernel
1	Jong-Kook Kim, Debra A. Hensgen, Taylor Kidd, Howard Jay Siegel, David St. John, Cynthia E. Irvine, Timothy E. Levin, N. Wayne Porter, Viktor K. Prasanna, Richard F. Freund	A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems.	Cluster Computing	2006	DBLP DOI BibTeX RDF	Scheduling, Distributed computing, Heterogeneous computing, Performance metrics, Resource management system
1	Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen	A Model for Temporal Interval Authorizations.	HICSS	2006	DBLP DOI BibTeX RDF
1	Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine	High Robustness Requirements in a Common Criteria Protection Profile.	IWIA	2006	DBLP DOI BibTeX RDF	high robustness, common criteria, dynamic configuration, least privilege, separation kernel
1	Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen	Least Privilege in Separation Kernels.	SECRYPT	2006	DBLP BibTeX RDF
1	Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen	Foundation for a Time Interval Access Control Model.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
1	Cynthia E. Irvine, Timothy E. Levin	A Doctoral Program with Specialization in Information Security: A High Assurance Constructive Security Approach.	International Information Security Workshops	2004	DBLP BibTeX RDF
1	Raj Mohan, Timothy E. Levin, Cynthia E. Irvine	An Editor for Adaptive XML-Based Policy Management of IPsec.	ACSAC	2003	DBLP DOI BibTeX RDF
1	Craig W. Rasmussen, Cynthia E. Irvine, George W. Dinolt, Timothy E. Levin, Karen L. Burke	A Program for Education in Certification and Accreditation.	World Conference on Information Security Education	2003	DBLP BibTeX RDF
1	Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt	MYSEA Technology Demonstration.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt	Monterey Security Enhanced Architecture Project.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Cynthia E. Irvine, Timothy E. Levin, Jeffery D. Wilson, David J. Shifflett, Barbara Pereira	An Approach to Security Requirements Engineering for a High Assurance System.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Security, Specification, Requirements, Engineering, Assurance, Threat
1	Geoffrey G. Xie, Cynthia E. Irvine, Timothy E. Levin	Quantifying Effect of Network Latency and Clock Drift on Time-Driven Key Sequencing.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
1	Cynthia E. Irvine, Timothy E. Levin	A cautionary note regarding the data integrity capacity of certain secure systems.	IICIS	2001	DBLP BibTeX RDF
1	Cynthia E. Irvine, Timothy E. Levin, E. Spyropoulou, Bruce Allen	Security as a Dimension of Quality of Service in Active Service Environments.	Active Middleware Services	2001	DBLP DOI BibTeX RDF
1	Jong-Kook Kim, Taylor Kidd, Howard Jay Siegel, Cynthia E. Irvine, Timothy E. Levin, Debra A. Hensgen, David St. John, Viktor K. Prasanna, Richard F. Freund, N. Wayne Porter	Collective Value of QoS: A Performance Measure Framework for Distributed Heterogeneous Networks.	IPDPS	2001	DBLP BibTeX RDF
1	Cynthia E. Irvine, Timothy E. Levin	Is Electronic Privacy Achievable? (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF
1	E. Spyropoulou, Timothy E. Levin, Cynthia E. Irvine	Calculating Costs for Quality of Security Service.	ACSAC	2000	DBLP DOI BibTeX RDF	security service quality, security information storage, security information retrieval, task security model, variant security service invocation, dynamic network modes, abstract security level choices, resource utilization costs, efficient task schedule estimation, research prototype, scheduling, quality of service, information retrieval, scalability, computer networks, costing, costing, security of data, system integration, telecommunication security, information storage, resource management system
1	Cynthia E. Irvine, Timothy E. Levin	Toward Quality of Security Service in a Resource Management System Benefit Function. (PDF / PS)	Heterogeneous Computing Workshop	2000	DBLP DOI BibTeX RDF	network security policy, quality of security service, benefit function, quality of service, resource management system
1	Cynthia E. Irvine, Timothy E. Levin	Toward a Taxonomy and Costing Method for Security Services.	ACSAC	1999	DBLP DOI BibTeX RDF	security cost, quality of security service, network security service, security taxonomy, resource management system
1	Debra A. Hensgen, Taylor Kidd, David St. John, Matthew C. Schnaidt, Howard Jay Siegel, Tracy D. Braun, Muthucumaru Maheswaran, Shoukat Ali, Jong-Kook Kim, Cynthia E. Irvine, Timothy E. Levin, Richard F. Freund, Matt Kussow, Michael W. Godfrey, Alpay Duman, Paul Carff, Shirley Kidd, Viktor K. Prasanna, Prashanth B. Bhat, Ammar H. Alhusaini	An Overview of MSHN: The Management System for Heterogeneous Networks. (PDF / PS)	Heterogeneous Computing Workshop	1999	DBLP DOI BibTeX RDF
1	Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine	A Formal Model for UNIX Setuid.	IEEE Symposium on Security and Privacy	1989	DBLP BibTeX RDF

Publications of "Timothy E. Levin" ( http://dblp.L3S.de/Authors/Timothy_E._Levin )