Joshua Guttman

Cited by

	All	Since 2018
Citations	7111	916
h-index	37	16
i10-index	75	25

480

240

120

360

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202336 27 39 63 63 59 100 150 148 182 217 324 349 462 424 442 404 447 384 313 297 266 232 247 229 167 186 167 144 232 160 27

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

John D. RamsdellThe MITRE CorporationVerified email at mitre.org
William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Paul D. RoweThe MITRE CorporationVerified email at mitre.org
Daniel J DoughertyWorcester Polytechnic InstituteVerified email at wpi.edu
Mitchell WandProfessor of Computer Science, Northeastern UniversityVerified email at ccs.neu.edu
Ming LiAssociate Professor of ECE, The University of ArizonaVerified email at arizona.edu
Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
Riccardo FocardiDAIS, Ca' Foscari University, VeniceVerified email at unive.it
Wenjing LouW. C. English Endowed Professor, IEEE Fellow, Virginia Tech, USAVerified email at vt.edu
Kui RenProfessor, Zhejiang University, ACM Fellow, IEEE FellowVerified email at zju.edu.cn
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Elke RundensteinerThe William Smith Dean's Professor, Computer Science; Director, Data Science; Worcester PolytechnicVerified email at wpi.edu
Chuan LeiAmazon Web ServicesVerified email at amazon.com
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Ronald WatroBoston Fusion CorpVerified email at bostonfusion.com
Lenore D. ZuckUniversity of Illinois, Chicago

Joshua Guttman

Research Professor, Computer Science, Worcester Polytechnic Institute

Verified email at wpi.edu - Homepage

Information security logic semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Strand spaces: Proving security protocols correct FJT Fábrega, JC Herzog, JD Guttman Journal of computer security 7 (2/3), 191-230, 1999	928	1999
Strand spaces: Why is a security protocol correct? FJT Fábrega, JC Herzog, JD Guttman Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No. 98CB36186 …, 1998	783	1998
Security for mobile agents: Authentication and state appraisal WM Farmer, JD Guttman, V Swarup Computer Security—ESORICS 96: 4th European Symposium on Research in …, 1996	423	1996
Security for mobile agents: Issues and requirements WM Farmer, JD Guttman, V Swarup Proceedings of the 19th national information systems security conference 2 …, 1996	391	1996
IMPS: An interactive mathematical proof system WM Farmer, JD Guttman, FJ Thayer Journal of Automated Reasoning 11, 213-248, 1993	298	1993
Authentication tests and the structure of bundles JD Guttman, FJ Thayer Theoretical computer science 283 (2), 333-380, 2002	268	2002
Principles of remote attestation G Coker, J Guttman, P Loscocco, A Herzog, J Millen, B O’Hanlon, ... International Journal of Information Security 10, 63-81, 2011	249	2011
Honest ideals on strand spaces FJT Fábrega, JC Herzog, JD Guttman Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	246	1998
Honest ideals on strand spaces FJT Fábrega, JC Herzog, JD Guttman Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	246	1998
Filtering postures: Local enforcement for global policies JD Guttman Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997	243	1997
Protocol independence through disjoint encryption JD Guttman, FJF Thayer Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 24-34, 2000	188	2000
Little theories WM Farmer, JD Guttman, F Javier Thayer Automated Deduction—CADE-11: 11th International Conference on Automated …, 2005	183	2005
Authentication tests JD Guttman, FJ Thayer Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 96-109, 2000	166	2000
Authentication for mobile agents S Berkovits, JD Guttman, V Swarup Mobile agents and security, 114-136, 1998	163	1998
Secure ad hoc trust initialization and key management in wireless body area networks M Li, S Yu, JD Guttman, W Lou, K Ren ACM Transactions on sensor Networks (TOSN) 9 (2), 1-35, 2013	143	2013
Verifying information flow goals in security-enhanced Linux JD Guttman, AL Herzog, JD Ramsdell, CW Skorupka Journal of Computer Security 13 (1), 115-134, 2005	126	2005
Security protocol design via authentication tests JD Guttman Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 92-103, 2002	120	2002
Searching for shapes in cryptographic protocols SF Doghmi, JD Guttman, FJ Thayer Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	117	2007
Rigorous automated network security management JD Guttman, AL Herzog International Journal of Information Security 4, 29-48, 2005	98	2005
Trust management in strand spaces: A rely-guarantee method JD Guttman, FJ Thayer, JA Carlson, JC Herzog, JD Ramsdell, BT Sniffen Programming Languages and Systems: 13th European Symposium on Programming …, 2004	96	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors