F. Javier Thayer
发表
Joshua D. Guttman,
F. Javier Thayer,
J. Guttman,
2000,
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Joshua D. Guttman,
John D. Ramsdell,
Paul D. Rowe,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1996,
CADE.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1995,
J. Symb. Comput..
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1993,
DISCO.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1990,
CADE.
Joshua D. Guttman,
Jonathan C. Herzog,
F. Javier Thayer,
1998,
Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
F. Javier Thayer,
Dale M. Johnson,
F. Thayer,
1989,
Proceedings of the Computer Security Foundations Workshop II,.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1995
.
Joshua D. Guttman,
F. Javier Thayer,
J. Guttman,
2000,
Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.
Vipin Swarup,
F. Javier Thayer,
Vipin Swarup,
2001,
Secure Internet Programming.
Joshua D. Guttman,
Lenore D. Zuck,
F. Javier Thayer,
2001,
CCS '01.
Joshua D. Guttman,
Jonathan C. Herzog,
F. Javier Thayer,
1998,
Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186).
F. Javier Thayer,
Dale M. Johnson,
1988,
TOCS.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1992,
CADE.
Vipin Swarup,
Joshua D. Guttman,
F. Javier Thayer,
2010,
IFIPTM.
Joshua D. Guttman,
F. Javier Thayer,
Shaddin F. Doghmi,
2007,
TACAS.
Joshua D. Guttman,
F. Javier Thayer,
Amy L. Herzog,
2000,
ESORICS.
Joshua D. Guttman,
F. Javier Thayer,
Shaddin F. Doghmi,
2006,
IACR Cryptol. ePrint Arch..
Gerald Gilbert,
Y. S. Weinstein,
F. Javier Thayer,
2006,
SPIE Defense + Commercial Sensing.
Moses D. Liskov,
F. Javier Thayer,
Moses D. Liskov,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Joshua D. Guttman,
F. Javier Thayer,
Shaddin F. Doghmi,
2007,
ESORICS.
Joshua D. Guttman,
Jonathan C. Herzog,
F. Javier Thayer,
1999,
J. Comput. Secur..
Joshua D. Guttman,
F. Javier Thayer,
Shaddin F. Doghmi,
2007,
MFPS.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1990,
Journal of Automated Reasoning.
Joshua D. Guttman,
Lenore D. Zuck,
F. Javier Thayer,
2001,
CCS 2001.
William M. Farmer,
Joshua D. Guttman,
Mark E. Nadel,
1994,
CADE.
F. Javier Thayer,
Dale M. Johnson,
F. Thayer,
1988,
CSFW.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
1992,
CADE.
Joshua D. Guttman,
John D. Ramsdell,
Jonathan C. Herzog,
2004,
ESOP.
Joshua D. Guttman,
F. Javier Thayer,
J. Guttman,
2002,
Theor. Comput. Sci..
Joshua D. Guttman,
Jonathan C. Herzog,
F. Javier Thayer,
1999,
Proceedings of the 12th IEEE Computer Security Foundations Workshop.
William M. Farmer,
Joshua D. Guttman,
F. Javier Thayer,
2009
.
Joshua D. Guttman,
F. Javier Thayer,
J. Guttman,
2022
.
F. Javier Thayer,
1995
.