Jonathan K. Millen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 49 from 49

2021

Adapting Constraint Solving to Automatically Analyze UPI ProtocolsSreekanth Malladi, Jonathan K. Millen. BIRTHDAY 2021: 276-292 [doi]

2011

Principles of remote attestationGeorge 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. ijisec, 10(2):63-81, 2011. [doi]

Constraint solving techniques and enriching the model with equational theoriesHubert Comon-Lundh, Stéphanie Delaune, Jonathan K. Millen. In Véronique Cortier, Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. Volume 5 of Cryptology and Information Security Series, pages 35-61, IOS Press, 2011. [doi]

2009

Rewriting Techniques in the Constraint SolverJonathan K. Millen. ENTCS, 234:77-91, 2009. [doi]

2005

Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiationJonathan K. Millen, Vitaly Shmatikov. jcs, 13(3):515-564, 2005. [doi]

Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiationJonathan K. Millen, Vitaly Shmatikov. jcs, 13(4):695, 2005. [doi]

2003

MuCAPSLJonathan K. Millen, Grit Denker. discex 2003: 238 [doi]

On the freedom of decryptionJonathan K. Millen. ipl, 86(6):329-333, 2003. [doi]

Symbolic Protocol Analysis with Products and Diffie-Hellman ExponentiationJonathan K. Millen, Vitaly Shmatikov. csfw 2003: 47-61 [doi]

2002

Modeling Group Communication Protocols Using Multiset Term RewritingGrit Denker, Jonathan K. Millen. ENTCS, 71:20-39, 2002. [doi]

Cross-Domain Access Control via PKIGrit Denker, Jonathan K. Millen, Yutaka Miyake. policy 2002: 202-205 [doi]

2001

2000

1999

Local Reconfiguration PoliciesJonathan K. Millen. sp 1999: 48-56 [doi]

20 Years of Covert Channel Modeling and AnalysisJonathan K. Millen. sp 1999: 113-114 [doi]

1996

Narrowing terminates for encryptionJonathan K. Millen, Hai-Ping Ko. csfw 1996: 39 [doi]

CAPSL: Common Authentication Protocol Specification LanguageJonathan K. Millen. nspw 1996: 132 [doi]

1995

Unwinding Forward CorrectabilityJonathan K. Millen. jcs, 3(1):35-54, 1995.

The Interrogator modelJonathan K. Millen. sp 1995: 251-260 [doi]

1994

Three System for Cryptographic Protocol AnalysisRichard A. Kemmerer, Catherine Meadows, Jonathan K. Millen. joc, 7(2):79-130, 1994.

Unwinding Forward CorrectabilityJonathan K. Millen. csfw 1994: 2-10

1993

A Resource Allocation Model for Denial of Service ProtectionJonathan K. Millen. jcs, 2(2-3):89-106, 1993.

1992

Security for object-oriented database systemsJonathan K. Millen, Teresa F. Lunt. sp 1992: 260-272 [doi]

A resource allocation model for denial of serviceJonathan K. Millen. sp 1992: 137-147 [doi]

1990

Hookup Security for Synchronous MachinesJonathan K. Millen. csfw 1990: 84-90

1989

Models of Multilevel Computer SecurityJonathan K. Millen. ac, 29:1-45, 1989.

Finite-State Noiseless Covert ChannelsJonathan K. Millen. csfw 1989: 81-86

1987

The Interrogator: Protocol Security AnalysisJonathan K. Millen, Sidney C. Clark, Sheryl B. Freedman. TSE, 13(2):274-288, 1987.

Covert Channel CapacityJonathan K. Millen. sp 1987: 60-66

1984

The Interrogator: A Tool for Cryptographic Protocol SecurityJonathan K. Millen. sp 1984: 134-141

1983

The Channel Assignment ProblemBahaa W. Fam, Jonathan K. Millen. sp 1983: 107-112

1982

Kernel Isolation for the PDP-11/70Jonathan K. Millen. sp 1982: 57-65

Kernel Isolation for the PDP-11/70Jonathan K. Millen. sp 1982: 57-65 [doi]

1981

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

An experiment with affirm and HDMJonathan K. Millen, David L. Drake. jss, 2(2):159-175, 1981. [doi]

Information Flow Analysis of Formal SpecificationsJonathan K. Millen. sp 1981: 3-8 [doi]

Recent verification work at MITREJonathan K. Millen. sigsoft, 6(3):55, 1981. [doi]

1980

A note on information flow into arraysMorrie Gasser, Jonathan K. Millen, William F. Wilson. sigsoft, 5(1):28-29, 1980. [doi]

1978

Example of a formal flow violationJonathan K. Millen. compsac 1978: 204-208 [doi]

1976

Security Kernel Validation in PracticeJonathan K. Millen. CACM, 19(5):243-250, 1976.

1974

Construction with Parallel Derivatives of the Closure of a Parallel Program SchemaJonathan K. Millen. stoc 1974: 242-247

1967

CHARYBDIS: a LISP program to display mathematical expressions on typewriter-like devicesJonathan K. Millen. siseam 1967: 155-163 [doi]

Sign in or sign up to see more results.

runs on WebDSL