Jonathan K. Millen

	2011
39		Jonathan K. Millen: Formal Methods for the Orange Book. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 495-498
38		Jonathan K. Millen: Biba Model. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 81-82
37		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)
	2009
36		Jonathan K. Millen: Rewriting Techniques in the Constraint Solver. Electr. Notes Theor. Comput. Sci. 234: 77-91 (2009)
	2005
35		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)
34		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)
	2003
33		Jonathan K. Millen, Vitaly Shmatikov: Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation. CSFW 2003: 47-61
32		Jonathan K. Millen, Grit Denker: MuCAPSL. DISCEX (1) 2003: 238-
31		Jonathan K. Millen: On the freedom of decryption. Inf. Process. Lett. 86(6): 329-333 (2003)
	2002
30		Grit Denker, Jonathan K. Millen, Yutaka Miyake: Cross-Domain Access Control via PKI. POLICY 2002: 202-205
29		Grit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci. 71: 20-39 (2002)
	2001
28		Jonathan K. Millen, Vitaly Shmatikov: Constraint solving for bounded-process cryptographic protocol analysis. ACM Conference on Computer and Communications Security 2001: 166-175
27		Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor: Non-Interference: Who Needs It? CSFW 2001: 237-
26		Véronique Cortier, Jonathan K. Millen, Harald Rueß: Proving Secrecy is Easy Enough. CSFW 2001: 97-
25		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)
	2000
24		Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Efficient fault-tolerant certificate revocation. ACM Conference on Computer and Communications Security 2000: 19-24
23		Jonathan K. Millen, Rebecca N. Wright: Reasoning about Trust and Insurance in a Public Key Infrastructure. CSFW 2000: 16-22
22		Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
21		Jonathan K. Millen, Harald Rueß: Protocol-Independent Secrecy. IEEE Symposium on Security and Privacy 2000: 110-209
20		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)
	1999
19		Jonathan K. Millen: 20 Years of Covert Channel Modeling and Analysis. IEEE Symposium on Security and Privacy 1999: 113-114
18		Jonathan K. Millen: Local Reconfiguration Policies. IEEE Symposium on Security and Privacy 1999: 48-56
	1996
17		Jonathan K. Millen, Hai-Ping Ko: Narrowing terminates for encryption. CSFW 1996: 39-
	1995
16		Jonathan K. Millen: Unwinding Forward Correctability. Journal of Computer Security 3(1): 35-54 (1995)
	1994
15		Jonathan K. Millen: Unwinding Forward Correctability. CSFW 1994: 2-10
14		Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen: Three System for Cryptographic Protocol Analysis. J. Cryptology 7(2): 79-130 (1994)
	1993
13		Jonathan K. Millen: A Resource Allocation Model for Denial of Service Protection. Journal of Computer Security 2(2-3): 89-106 (1993)
	1990
12		Jonathan K. Millen: Hookup Security for Synchronous Machines. CSFW 1990: 84-90
	1989
11		Jonathan K. Millen: Finite-State Noiseless Covert Channels. CSFW 1989: 81-86
10		Jonathan K. Millen: Models of Multilevel Computer Security. Advances in Computers 29: 1-45 (1989)
	1987
9		Jonathan K. Millen: Covert Channel Capacity. IEEE Symposium on Security and Privacy 1987: 60-66
8		Jonathan K. Millen, Sidney C. Clark, Sheryl B. Freedman: The Interrogator: Protocol Security Analysis. IEEE Trans. Software Eng. 13(2): 274-288 (1987)
	1984
7		Jonathan K. Millen: The Interrogator: A Tool for Cryptographic Protocol Security. IEEE Symposium on Security and Privacy 1984: 134-141
	1983
6		Bahaa W. Fam, Jonathan K. Millen: The Channel Assignment Problem. IEEE Symposium on Security and Privacy 1983: 107-112
	1982
5		Jonathan K. Millen: Kernel Isolation for the PDP-11/70. IEEE Symposium on Security and Privacy 1982: 57-65
	1981
4		Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen: Verifying Security. ACM Comput. Surv. 13(3): 279-339 (1981)
3		Jonathan K. Millen, David L. Drake: An experiment with affirm and HDM. Journal of Systems and Software 2(2): 159-175 (1981)
	1976
2		Jonathan K. Millen: Security Kernel Validation in Practice. Commun. ACM 19(5): 243-250 (1976)
	1974
1		Jonathan K. Millen: Construction with Parallel Derivatives of the Closure of a Parallel Program Schema STOC 1974: 242-247

Coauthor Index

1	Juliana Küster Filipe Bowles (Juliana Küster Filipe)	[22]
2	Maureen Harris Cheheyl	[4]
3	Sidney C. Clark	[8]
4	George Coker	[37]
5	Véronique Cortier	[26]
6	Grit Denker	[22] [29] [30] [32]
7	David L. Drake	[3]
8	Bahaa W. Fam	[6]
9	Sheryl B. Freedman	[8]
10	Morrie Gasser	[4]
11	Virgil D. Gligor	[27]
12	Antonio Grau	[22]
13	Joshua D. Guttman	[37]
14	Amy L. Herzog	[37]
15	George A. Huff	[4]
16	Richard A. Kemmerer	[14]
17	Hai-Ping Ko	[17]
18	Patrick Lincoln	[24] [25]
19	Peter Loscocco	[37]
20	John D. McLean	[27]
21	Catherine Meadows	[14]
22	Yutaka Miyake	[30]
23	Brian O'Hanlon	[37]
24	John D. Ramsdell	[37]
25	Harald Ruess (Harald Rueß)	[21] [26]
26	Peter Y. A. Ryan (Peter Ryan)	[27]
27	Ariel Segall	[37]
28	Justin Sheehy	[37]
29	Vitaly Shmatikov	[28] [33] [34] [35]
30	Brian T. Sniffen	[37]
31	Rebecca N. Wright	[23] [24] [25]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page