Search results for "Jonathan K. Millen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	George Coker, Joshua D. Guttman, Peter Loscocco, Amy L. Herzog, Jonathan K. Millen, Brian O'Hanlon, John D. Ramsdell, Ariel Segall, Justin Sheehy, Brian T. Sniffen	Principles of remote attestation.	Int. J. Inf. Sec.	2011	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Formal Methods for the Orange Book.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Biba Model.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Rewriting Techniques in the Constraint Solver.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Vitaly Shmatikov	Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation.	Journal of Computer Security	2005	DBLP BibTeX RDF
1	Jonathan K. Millen, Vitaly Shmatikov	Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation.	Journal of Computer Security	2005	DBLP BibTeX RDF
1	Jonathan K. Millen	On the freedom of decryption.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Grit Denker	MuCAPSL.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Vitaly Shmatikov	Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation.	CSFW	2003	DBLP DOI BibTeX RDF
1	Grit Denker, Jonathan K. Millen	Modeling Group Communication Protocols Using Multiset Term Rewriting.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Grit Denker, Jonathan K. Millen, Yutaka Miyake	Cross-Domain Access Control via PKI. (PDF / PS)	POLICY	2002	DBLP DOI BibTeX RDF
1	Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen	Depender Graphs: A Method of Fault-Tolerant Certificate Distribution.	Journal of Computer Security	2001	DBLP BibTeX RDF
1	Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor	Non-Interference: Who Needs It? (PDF / PS)	CSFW	2001	DBLP DOI BibTeX RDF
1	Véronique Cortier, Jonathan K. Millen, Harald Rueß	Proving Secrecy is Easy Enough.	CSFW	2001	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Vitaly Shmatikov	Constraint solving for bounded-process cryptographic protocol analysis.	ACM Conference on Computer and Communications Security	2001	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk.	Electr. Notes Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Harald Rueß	Protocol-Independent Secrecy. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Rebecca N. Wright	Reasoning about Trust and Insurance in a Public Key Infrastructure. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	cryptography, trust, logic, certificate, public key infrastructure, insurance
1	Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe	Optimizing Protocol Rewrite Rules of CIL Specifications. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF
1	Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen	Efficient fault-tolerant certificate revocation.	ACM Conference on Computer and Communications Security	2000	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Local Reconfiguration Policies. (PDF / PS)	IEEE Symposium on Security and Privacy	1999	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	20 Years of Covert Channel Modeling and Analysis. (PDF / PS)	IEEE Symposium on Security and Privacy	1999	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Hai-Ping Ko	Narrowing terminates for encryption.	CSFW	1996	DBLP DOI BibTeX RDF	term replacement rules, reduction properties, symbolic encryption operations, narrowing steps, infinite sequence, popular abstract encryption operators, terminating algorithm, cryptography, encryption, access protocols, protocol analysis
1	Jonathan K. Millen	Unwinding Forward Correctability.	Journal of Computer Security	1995	DBLP BibTeX RDF
1	Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen	Three System for Cryptographic Protocol Analysis.	J. Cryptology	1994	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Unwinding Forward Correctability.	CSFW	1994	DBLP BibTeX RDF
1	Jonathan K. Millen	A Resource Allocation Model for Denial of Service Protection.	Journal of Computer Security	1993	DBLP BibTeX RDF
1	Jonathan K. Millen	Hookup Security for Synchronous Machines.	CSFW	1990	DBLP BibTeX RDF
1	Jonathan K. Millen	Models of Multilevel Computer Security.	Advances in Computers	1989	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Finite-State Noiseless Covert Channels.	CSFW	1989	DBLP BibTeX RDF
1	Jonathan K. Millen, Sidney C. Clark, Sheryl B. Freedman	The Interrogator: Protocol Security Analysis.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Covert Channel Capacity.	IEEE Symposium on Security and Privacy	1987	DBLP BibTeX RDF
1	Jonathan K. Millen	The Interrogator: A Tool for Cryptographic Protocol Security.	IEEE Symposium on Security and Privacy	1984	DBLP BibTeX RDF
1	Bahaa W. Fam, Jonathan K. Millen	The Channel Assignment Problem.	IEEE Symposium on Security and Privacy	1983	DBLP BibTeX RDF
1	Jonathan K. Millen	Kernel Isolation for the PDP-11/70.	IEEE Symposium on Security and Privacy	1982	DBLP BibTeX RDF
1	Jonathan K. Millen, David L. Drake	An experiment with affirm and HDM.	Journal of Systems and Software	1981	DBLP DOI BibTeX RDF
1	Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen	Verifying Security.	ACM Comput. Surv.	1981	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Security Kernel Validation in Practice.	Commun. ACM	1976	DBLP DOI BibTeX RDF
1	Jonathan K. Millen	Construction with Parallel Derivatives of the Closure of a Parallel Program Schema	STOC	1974	DBLP DOI BibTeX RDF

Publications of "Jonathan K. Millen" ( http://dblp.L3S.de/Authors/Jonathan_K._Millen )