Concepedia

Jonathan K. Millen

JK

36

Publications

2.5K

Citations

26

H-Index

1976

Active since

Affiliations

SRI International(Current)

Mitre (United States)

AT&T (United States)

United States Naval Research Laboratory

Jonathan K. Millen is an author at SRI International specializing in engineering, data security, and computer science.

Top concepts

EngineeringComputer ScienceData SecurityInformation SecurityFormal VerificationCryptographyFormal MethodsVerificationData PrivacyHardware Security

Publications per year

1976–2011

36

Publications

36

Constraint solving for bounded-process cryptographic protocol analysis

Jonathan K. Millen, Vitaly Shmatikov · 2001 · 311 citations

Mathematical Programming, Reachability Analysis, Cryptographic Primitive +13

Principles of remote attestation

George Coker, Joshua D. Guttman, Peter Loscocco et al. · International Journal of Information Security · 2011 · 236 citations

Engineering, Information Security, Verification +8

Three systems for cryptographic protocol analysis

Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen · Journal of Cryptology · 1994 · 233 citations

Cryptographic Primitive, Engineering, Information Security +8

Covert Channel Capacity

Jonathan K. Millen · 1987 · 220 citations

Engineering, Information Security, Information Leakage +17

The Interrogator: Protocol Secuity Analysis

Jonathan K. Millen, Susan C. Clark, S.B. Freedman · IEEE Transactions on Software Engineering · 1987 · 205 citations

Engineering, Information Security, Graphical User Interface +21

Rows per page

1–5 of 36