Jonathan K. Millen

54 papers A* 3B 1C 1Journal 17Unranked 29
YearRankTypeTitle / Venue / Authors
2021 — conf
Adapting Constraint Solving to Automatically Analyze UPI Protocols.
Protocols, Strands, and Logic
Sreekanth Malladi, Jonathan K. Millen
2019 — conf
A Long, Slow Conversation.
Foundations of Security, Protocols, and Equational Reasoning
Jonathan K. Millen
2012 J jnl
An Analysis of the CAVES Attestation Protocol using CPSA
CoRR
John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon
2011 — ch.
Biba Model.
Encyclopedia of Cryptography and Security (2nd Ed.)
Jonathan K. Millen
2011 — ch.
Constraint solving techniques and enriching the model with equational theories.
Formal Models and Techniques for Analyzing Security Protocols
Hubert Comon-Lundh, Stéphanie Delaune, Jonathan K. Millen
2011 — ch.
Formal Methods for the Orange Book.
Encyclopedia of Cryptography and Security (2nd Ed.)
Jonathan K. Millen
2011 J jnl
Principles of remote attestation.
Int. J. Inf. Sec.
George Coker, Joshua D. Guttman, Peter A. Loscocco, Amy L. Herzog, Jonathan K. Millen, Brian O'Hanlon, John D. Ramsdell, Ariel Segall, Justin Sheehy, Brian T. Sniffen
2010 J jnl
Editorial.
J. Comput. Secur.
Sushil Jajodia, Jonathan K. Millen
2008 — conf
Rewriting Techniques in the Constraint Solver.
SecReT@LICS/CSF
Jonathan K. Millen
2005 J jnl
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation.
J. Comput. Secur.
Jonathan K. Millen, Vitaly Shmatikov
2005 J jnl
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation.
J. Comput. Secur.
Jonathan K. Millen, Vitaly Shmatikov
2003 — conf
MuCAPSL.
DISCEX (1)
Jonathan K. Millen, Grit Denker
2003 J jnl
On the freedom of decryption.
Inf. Process. Lett.
Jonathan K. Millen
2003 — conf
Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation.
CSFW
Jonathan K. Millen, Vitaly Shmatikov
2002 — conf
Cross-Domain Access Control via PKI.
POLICY
Grit Denker, Jonathan K. Millen, Yutaka Miyake
2002 — conf
Modeling Group Communication Protocols Using Multiset Term Rewriting.
WRLA
Grit Denker, Jonathan K. Millen
2001 A* conf
Constraint solving for bounded-process cryptographic protocol analysis.
CCS
Jonathan K. Millen, Vitaly Shmatikov
2001 J jnl
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution.
J. Comput. Secur.
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
2001 — conf
Non-Interference: Who Needs It?
CSFW
Peter Y. A. Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor
2001 — conf
Proving Secrecy is Easy Enough.
CSFW
Véronique Cortier, Jonathan K. Millen, Harald Rueß
2000 — conf
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk.
WRLA
Jonathan K. Millen
2000 A* conf
Efficient fault-tolerant certificate revocation.
CCS
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
2000 — conf
Optimizing Protocol Rewrite Rules of CIL Specifications.
CSFW
Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe
2000 — conf
Protocol-Independent Secrecy.
S&P
Jonathan K. Millen, Harald Rueß
2000 — conf
Reasoning about Trust and Insurance in a Public Key Infrastructure.
CSFW
Jonathan K. Millen, Rebecca N. Wright
1999 — conf
20 Years of Covert Channel Modeling and Analysis.
S&P
Jonathan K. Millen
1999 — conf
Local Reconfiguration Policies.
S&P
Jonathan K. Millen
1996 C conf
CAPSL: Common Authentication Protocol Specification Language.
NSPW
Jonathan K. Millen
1996 — conf
Narrowing terminates for encryption.
CSFW
Jonathan K. Millen, Hai-Ping Ko
1995 — conf
The Interrogator model.
S&P
Jonathan K. Millen
1995 J jnl
Unwinding Forward Correctability.
J. Comput. Secur.
Jonathan K. Millen
1994 J jnl
Three System for Cryptographic Protocol Analysis.
J. Cryptol.
Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen
1994 — conf
Unwinding Forward Correctability.
CSFW
Jonathan K. Millen
1993 J jnl
A Resource Allocation Model for Denial of Service Protection.
J. Comput. Secur.
Jonathan K. Millen
1992 — conf
A resource allocation model for denial of service.
S&P
Jonathan K. Millen
1992 — conf
Security for object-oriented database systems.
S&P
Jonathan K. Millen, Teresa F. Lunt
1990 — conf
Hookup Security for Synchronous Machines.
CSFW
Jonathan K. Millen
1989 — conf
Finite-State Noiseless Covert Channels.
CSFW
Jonathan K. Millen
1989 J jnl
Models of Multilevel Computer Security.
Adv. Comput.
Jonathan K. Millen
1987 — conf
Covert Channel Capacity.
S&P
Jonathan K. Millen
1987 J jnl
The Interrogator: Protocol Security Analysis.
IEEE Trans. Software Eng.
Jonathan K. Millen, Sidney C. Clark, Sheryl B. Freedman
1984 — conf
The Interrogator: A Tool for Cryptographic Protocol Security.
S&P
Jonathan K. Millen
1983 — conf
The Channel Assignment Problem.
S&P
Bahaa W. Fam, Jonathan K. Millen
1982 — conf
Kernel Isolation for the PDP-11/70.
S&P
Jonathan K. Millen
1981 J jnl
An experiment with affirm and HDM.
J. Syst. Softw.
Jonathan K. Millen, David L. Drake
1981 — conf
Information Flow Analysis of Formal Specifications.
S&P
Jonathan K. Millen
1981 J jnl
Recent verification work at MITRE.
ACM SIGSOFT Softw. Eng. Notes
Jonathan K. Millen
1981 J jnl
Verifying Security.
ACM Comput. Surv.
Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen
1980 J jnl
A note on information flow into arrays.
ACM SIGSOFT Softw. Eng. Notes
Morrie Gasser, Jonathan K. Millen, William F. Wilson
1978 B conf
Example of a formal flow violation.
COMPSAC
Jonathan K. Millen
1976 J jnl
Security Kernel Validation in Practice.
Commun. ACM
Jonathan K. Millen
1974 A* conf
Construction with Parallel Derivatives of the Closure of a Parallel Program Schema
STOC
Jonathan K. Millen
1972 — conf
Microtext: the design of a microprogrammed finite state search machine for full-text retrieval.
AFIPS Fall Joint Computing Conference (1)
R. H. Bullen Jr., Jonathan K. Millen
1967 — conf
CHARYBDIS: a LISP program to display mathematical expressions on typewriter-like devices.
Symposium on Interactive Systems for Experimental Applied Mathematics
Jonathan K. Millen