Jonathan K. Millen

John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon: An Analysis of the CAVES Attestation Protocol using CPSA. CoRR abs/1207.0418 (2012)

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. 10(2): 63-81 (2011)

Jonathan K. Millen: Biba Model. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 81-82

Jonathan K. Millen: Formal Methods for the Orange Book. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 495-498

Jonathan K. Millen: Rewriting Techniques in the Constraint Solver. Electr. Notes Theor. Comput. Sci. 234: 77-91 (2009)

Jonathan K. Millen, Vitaly Shmatikov: Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. Journal of Computer Security 13(3): 515-564 (2005)

Jonathan K. Millen, Vitaly Shmatikov: Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. Journal of Computer Security 13(4): 695- (2005)

Jonathan K. Millen: On the freedom of decryption. Inf. Process. Lett. 86(6): 329-333 (2003)

Jonathan K. Millen, Vitaly Shmatikov: Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation. CSFW 2003: 47-61

Jonathan K. Millen, Grit Denker: MuCAPSL. DISCEX (1) 2003: 238-

Grit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci. 71: 20-39 (2002)

Grit Denker, Jonathan K. Millen, Yutaka Miyake: Cross-Domain Access Control via PKI. POLICY 2002: 202-205

Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. Journal of Computer Security 9(4): 323-338 (2001)

Jonathan K. Millen, Vitaly Shmatikov: Constraint solving for bounded-process cryptographic protocol analysis. ACM Conference on Computer and Communications Security 2001: 166-175

Véronique Cortier, Jonathan K. Millen, Harald Rueß: Proving Secrecy is Easy Enough. CSFW 2001: 97-

Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor: Non-Interference: Who Needs It? CSFW 2001: 237-

Jonathan K. Millen: Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. Electr. Notes Theor. Comput. Sci. 36: 229-234 (2000)

Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Efficient fault-tolerant certificate revocation. ACM Conference on Computer and Communications Security 2000: 19-24

Jonathan K. Millen, Rebecca N. Wright: Reasoning about Trust and Insurance in a Public Key Infrastructure. CSFW 2000: 16-22

Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62

Jonathan K. Millen, Harald Rueß: Protocol-Independent Secrecy. IEEE Symposium on Security and Privacy 2000: 110-119

Jonathan K. Millen: Local Reconfiguration Policies. IEEE Symposium on Security and Privacy 1999: 48-56

Jonathan K. Millen: 20 Years of Covert Channel Modeling and Analysis. IEEE Symposium on Security and Privacy 1999: 113-114

Jonathan K. Millen, Hai-Ping Ko: Narrowing terminates for encryption. CSFW 1996: 39-

Jonathan K. Millen: CAPSL: Common Authentication Protocol Specification Language. NSPW 1996: 132

Jonathan K. Millen: Unwinding Forward Correctability. Journal of Computer Security 3(1): 35-54 (1995)

Jonathan K. Millen: The Interrogator model. IEEE Symposium on Security and Privacy 1995: 251-260

Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen: Three System for Cryptographic Protocol Analysis. J. Cryptology 7(2): 79-130 (1994)

Jonathan K. Millen: Unwinding Forward Correctability. CSFW 1994: 2-10

Jonathan K. Millen: A Resource Allocation Model for Denial of Service Protection. Journal of Computer Security 2(2-3): 89-106 (1993)

Jonathan K. Millen: Hookup Security for Synchronous Machines. CSFW 1990: 84-90

Jonathan K. Millen: Models of Multilevel Computer Security. Advances in Computers 29: 1-45 (1989)

Jonathan K. Millen: Finite-State Noiseless Covert Channels. CSFW 1989: 81-86

Jonathan K. Millen, Sidney C. Clark, Sheryl B. Freedman: The Interrogator: Protocol Security Analysis. IEEE Trans. Software Eng. 13(2): 274-288 (1987)

Jonathan K. Millen: Covert Channel Capacity. IEEE Symposium on Security and Privacy 1987: 60-66

Jonathan K. Millen: The Interrogator: A Tool for Cryptographic Protocol Security. IEEE Symposium on Security and Privacy 1984: 134-141

Bahaa W. Fam, Jonathan K. Millen: The Channel Assignment Problem. IEEE Symposium on Security and Privacy 1983: 107-112

Jonathan K. Millen: Kernel Isolation for the PDP-11/70. IEEE Symposium on Security and Privacy 1982: 57-65

Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen: Verifying Security. ACM Comput. Surv. 13(3): 279-339 (1981)

Jonathan K. Millen, David L. Drake: An experiment with affirm and HDM. Journal of Systems and Software 2(2): 159-175 (1981)

Jonathan K. Millen: Security Kernel Validation in Practice. Commun. ACM 19(5): 243-250 (1976)

Jonathan K. Millen: Construction with Parallel Derivatives of the Closure of a Parallel Program Schema. STOC 1974: 242-247