J. Millen

发表

Jonathan K. Millen, J. Millen, 1992, Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy.
Dawn Xiaodong Song, Jonathan K. Millen, D. Song, 2000 .
Jonathan K. Millen, Grit Denker, J. Millen, 2004, WRLA.
Jonathan K. Millen, J. Millen, 1996, NSPW '96.
Sushil Jajodia, Jon Millen, S. Jajodia, 2010, J. Comput. Secur..
J. Millen, G. Denker, Yutaka Miyake, 2000 .
Jonathan K. Millen, Rebecca N. Wright, J. Millen, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Jonathan K. Millen, Joshua D. Guttman, John D. Ramsdell, 2011, International Journal of Information Security.
Jonathan K. Millen, J. Millen, 1989, Adv. Comput..
Jonathan K. Millen, J. Millen, 1995 .
Jonathan K. Millen, J. Millen, 1993, J. Comput. Secur..
Dawn Xiaodong Song, Véronique Cortier, John Rushby, 2003 .
Jonathan K. Millen, Harald Ruess, H. Ruess, 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.
Jonathan K. Millen, Morrie Gasser, Maureen Harris Cheheyl, 1981, CSUR.
Jonathan K. Millen, Teresa F. Lunt, J. Millen, 1992, Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy.
Vitaly Shmatikov, Jonathan K. Millen, Vitaly Shmatikov, 2001, CCS '01.
J K Millen, C M Cerniglia, J. Millen, 1984 .
R. H. Bullen, J. K. Millen, J. Millen, 1972, AFIPS '72 (Fall, part I).
J. Millen, G. Denker, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
G. Denker, J. Millen, J. Millen, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
G. Denker, J. K. Millen, J. Millen, 2002, Journal of Telecommunications and Information Technology.
Joshua D. Guttman, John D. Ramsdell, Jon Millen, 2007 .
Jonathan K. Millen, Richard A. Kemmerer, Catherine A. Meadows, 1994, Journal of Cryptology.
Jonathan K. Millen, Sidney C. Clark, Sheryl B. Freedman, 1987, IEEE Transactions on Software Engineering.
Jonathan K. Millen, J. Millen, 1984, 1984 IEEE Symposium on Security and Privacy.
Jonathan K. Millen, J. Millen, 1994, Proceedings The Computer Security Foundations Workshop VII.
Stéphanie Delaune, Hubert Comon-Lundh, Jonathan K. Millen, 2011, Formal Models and Techniques for Analyzing Security Protocols.
Jonathan K. Millen, J. Millen, 1990, [1990] Proceedings. The Computer Security Foundations Workshop III.
Jonathan K. Millen, J. Millen, 1987, 1987 IEEE Symposium on Security and Privacy.
J. Millen, S. Malladi, 2021, Protocols, Strands, and Logic.
Vitaly Shmatikov, Jonathan K. Millen, Vitaly Shmatikov, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Jonathan K. Millen, J. Millen, 1976, CACM.
Jonathan K. Millen, J. Millen, 1995, Proceedings 1995 IEEE Symposium on Security and Privacy.
Jonathan K. Millen, J. Millen, 2003, Inf. Process. Lett..