Joshua D. Guttman

	2012
64		Pierpaolo Degano, Joshua D. Guttman: Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings Springer 2012
63		Daniel J. Dougherty, Joshua D. Guttman: Symbolic Protocol Analysis for Diffie-Hellman CoRR abs/1202.2168: (2012)
62		Joshua D. Guttman: State and Progress in Strand Spaces: Proving Fair Exchange. J. Autom. Reasoning 48(2): 159-195 (2012)
	2011
61		Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Springer 2011
60		Joshua D. Guttman: Security Goals and Protocol Transformations. TOSCA 2011: 130-147
59		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)
	2010
58		Pierpaolo Degano, Joshua D. Guttman: Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers Springer 2010
57		F. Javier Thayer, Vipin Swarup, Joshua D. Guttman: Metric Strand Spaces for Locale Authentication Protocols. IFIPTM 2010: 79-94
	2009
56		Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Springer 2009
55		Joshua D. Guttman: Transformations between Cryptographic Protocols. ARSPA-WITS 2009: 107-123
54		Joshua D. Guttman: Security Theorems via Model Theory EXPRESS 2009: 51-65
53		Joshua D. Guttman: Cryptographic Protocol Composition via the Authentication Tests. FOSSACS 2009: 303-317
52		Marco Carbone, Joshua D. Guttman: Choreographies with Secure Boxes and Compromised Principals ICE 2009: 1-15
51		Marco Carbone, Joshua D. Guttman: Execution Models for Choreographies and Cryptoprotocols PLACES 2009: 31-41
50		Joshua D. Guttman: Fair Exchange in Strand Spaces SECCO 2009: 46-60
49		Joshua D. Guttman: Introduction. Journal of Computer Security 17(5): 515 (2009)
	2008
48		George Coker, Joshua D. Guttman, Peter Loscocco, Justin Sheehy, Brian T. Sniffen: Attestation: Evidence and Trust. ICICS 2008: 1-18
47		Joshua D. Guttman: Cryptographic Protocol Composition via the Authentication Tests. IACR Cryptology ePrint Archive 2008: 430 (2008)
	2007
46		Joshua D. Guttman: How to do Things with Cryptographic Protocols. ASIAN 2007: 142-149
45		Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Completeness of the Authentication Tests. ESORICS 2007: 106-121
44		Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Searching for Shapes in Cryptographic Protocols. TACAS 2007: 523-537
43		Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell: Compiling cryptographic protocols for deployment on the web. WWW 2007: 687-696
42		Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. Electr. Notes Theor. Comput. Sci. 173: 85-102 (2007)
	2006
41		Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Searching for Shapes in Cryptographic Protocols (extended version). IACR Cryptology ePrint Archive 2006: 435 (2006)
	2005
40		Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen: Programming Cryptographic Protocols. TGC 2005: 116-145
39		Joshua D. Guttman, Amy L. Herzog: Rigorous automated network security management. Int. J. Inf. Sec. 4(1-2): 29-48 (2005)
38		Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka: Verifying information flow goals in Security-Enhanced Linux. Journal of Computer Security 13(1): 115-134 (2005)
	2004
37		Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen: Trust Management in Strand Spaces: A Rely-Guarantee Method. ESOP 2004: 325-339
36		Joshua D. Guttman: Security, Protocols, and Trust. VMCAI 2004: 1
35		Joshua D. Guttman: A New Column: Information Security. Bulletin of the EATCS 82: 242-252 (2004)
34		Joshua D. Guttman: Authentication tests and disjoint encryption: A design method for security protocols. Journal of Computer Security 12(3-4): 409-433 (2004)
33		Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck: The faithfulness of abstract protocol analysis: Message authentication. Journal of Computer Security 12(6): 865-891 (2004)
	2003
32		Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider: Guest editorial overview. IEEE Journal on Selected Areas in Communications 21(1): 1-4 (2003)
	2002
31		Joshua D. Guttman: Security Protocol Design via Authentication Tests. CSFW 2002: 92-103
30		Joshua D. Guttman, F. Javier Thayer: Authentication tests and the structure of bundles. Theor. Comput. Sci. 283(2): 333-380 (2002)
	2001
29		Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck: The faithfulness of abstract protocol analysis: message authentication. ACM Conference on Computer and Communications Security 2001: 186-195
28		Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner: Relating Cryptography and Cryptographic Protocols. CSFW 2001: 111-114
27		Joshua D. Guttman: Key Compromise, Strand Spaces, and the Authentication Tests. Electr. Notes Theor. Comput. Sci. 45: 141-161 (2001)
	2000
26		Joshua D. Guttman, F. Javier Thayer: Protocol Independence through Disjoint Encryption. CSFW 2000: 24-34
25		Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer: Authentication and Confidentiality via IPSEC. ESORICS 2000: 255-272
24		Joshua D. Guttman: Security Goals: Packet Trajectories and Strand Spaces. FOSAD 2000: 197-261
23		Joshua D. Guttman, F. Javier Thayer: Authentication Tests. IEEE Symposium on Security and Privacy 2000: 96-109
22		William M. Farmer, Joshua D. Guttman: A Set Theory with Support for Partial Functions. Studia Logica 66(1): 59-78 (2000)
	1999
21		F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Mixed Strand Spaces. CSFW 1999: 72-82
20		F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Strand Spaces: Proving Security Protocols Correct. Journal of Computer Security 7(1): 191-230 (1999)
	1998
19		F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Honest Ideals on Strand Spaces. CSFW 1998: 66-77
18		F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Strand Spaces: Why is a Security Protocol Correct? IEEE Symposium on Security and Privacy 1998: 160-171
17		Shimshon Berkovits, Joshua D. Guttman, Vipin Swarup: Authentication for Mobile Agents. Mobile Agents and Security 1998: 114-136
	1997
16		Joshua D. Guttman: Filtering Postures: Local Enforcement for Global Policies. IEEE Symposium on Security and Privacy 1997: 120-129
	1996
15		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Updated System Description. CADE 1996: 298-302
14		William M. Farmer, Joshua D. Guttman, Vipin Swarup: Security for Mobile Agents: Authentication and State Appraisal. ESORICS 1996: 118-130
	1995
13		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Context in Mathematical Reasoning and Computation. J. Symb. Comput. 19(1-3): 210-206 (1995)
12		Joshua D. Guttman, John D. Ramsdell, Vipin Swarup: The VLISP Verified Scheme System. Lisp and Symbolic Computation 8(1-2): 33-110 (1995)
11		Joshua D. Guttman, John D. Ramsdell, Mitchell Wand: VLISP: A Verified Implementation of Scheme. Lisp and Symbolic Computation 8(1-2): 5-32 (1995)
	1994
10		William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer: Proof Script Pragmatics in IMPS. CADE 1994: 356-370
9		Joshua D. Guttman, Dale M. Johnson: Three Applications of Formal Methods at MITRE. FME 1994: 55-65
	1993
8		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Reasoning with Contexts. DISCO 1993: 216-228
7		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Interactive Mathematical Proof System. J. Autom. Reasoning 11(2): 213-248 (1993)
	1992
6		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Little Theories. CADE 1992: 567-581
5		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: System Description. CADE 1992: 701-705
4		Joshua D. Guttman: Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols. CSFW 1992: 112
	1990
3		William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Interactive Mathematical Proof System. CADE 1990: 653-654
2		Joshua D. Guttman, H.-P. Ko: Verifying a Hardware Security Architecture. IEEE Symposium on Security and Privacy 1990: 333-344
	1988
1		Joshua D. Guttman, Mark E. Nadel: What Needs Securing. CSFW 1988: 34-57

Coauthor Index

1	Shimshon Berkovits	[17]
2	Ran Canetti	[28]
3	Marco Carbone	[51] [52]
4	Jay A. Carlson	[37]
5	George Coker	[48] [59]
6	Pierpaolo Degano	[56] [58] [61] [64]
7	Shaddin F. Doghmi	[41] [42] [44] [45]
8	Daniel J. Dougherty	[63]
9	Sandro Etalle	[61]
10	William M. Farmer	[3] [5] [6] [7] [8] [10] [13] [14] [15] [22]
11	Li Gong	[32]
12	Amy L. Herzog	[25] [38] [39] [59]
13	Jonathan C. Herzog	[18] [19] [20] [21] [37] [40]
14	Dale M. Johnson	[9]
15	H.-P. Ko	[2]
16	Shriram Krishnamurthi	[43]
17	Peter Loscocco	[48] [59]
18	Fabio Martinelli	[56]
19	Jay A. McCarthy	[43]
20	Jonathan K. Millen	[59]
21	Mark E. Nadel	[1] [10]
22	Brian O'Hanlon	[59]
23	John D. Ramsdell	[11] [12] [37] [38] [40] [43] [59]
24	Peter Y. A. Ryan (Peter Ryan)	[32]
25	Andre Scedrov	[28]
26	Steve A. Schneider (Steve Schneider)	[32]
27	Ariel Segall	[59]
28	Justin Sheehy	[48] [59]
29	Clement W. Skorupka	[38]
30	Brian T. Sniffen	[37] [40] [48] [59]
31	Vipin Swarup	[12] [14] [17] [57]
32	F. Javier Thayer	[3] [5] [6] [7] [8] [10] [13] [15] [18] [19] [20] [21] [23] [25] [26] [29] [30] [33] [37] [41] [42] [44] [45] [57]
33	David Wagner	[28]
34	Michael Waidner	[28]
35	Mitchell Wand	[11]
36	Lenore D. Zuck	[29] [33]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page