Joshua Guttman

Cited by

	All	Since 2019
Citations	7382	961
h-index	37	15
i10-index	74	24

460

230

115

345

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202443 31 40 61 72 59 97 148 158 176 240 342 366 428 427 450 402 456 380 310 285 260 231 252 231 163 184 177 160 233 162 126 103

Public access

View all

5 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 LiProfessor 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 and Dean of Computer Science, Zhejiang University, ACM/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; Founding Head, Data Science Program; WorcesterVerified 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	953	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	799	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	430	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	389	1996
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	320	2011
IMPS: An interactive mathematical proof system WM Farmer, JD Guttman, FJ Thayer Journal of Automated Reasoning 11, 213-248, 1993	304	1993
Authentication tests and the structure of bundles JD Guttman, FJ Thayer Theoretical computer science 283 (2), 333-380, 2002	273	2002
Honest ideals on strand spaces FJT Fábrega, JC Herzog, JD Guttman Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	253	1998
Filtering postures: Local enforcement for global policies JD Guttman Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997	250	1997
Little theories WM Farmer, JD Guttman, F Javier Thayer International Conference on Automated Deduction, 567-581, 1992	194	1992
Protocol independence through disjoint encryption JD Guttman, FJF Thayer Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 24-34, 2000	191	2000
Authentication tests JD Guttman, FJ Thayer Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 96-109, 2000	171	2000
Authentication for mobile agents S Berkovits, JD Guttman, V Swarup Mobile agents and security, 114-136, 1998	164	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	152	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	129	2005
Security protocol design via authentication tests JD Guttman Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 92-103, 2002	123	2002
Searching for shapes in cryptographic protocols SF Doghmi, JD Guttman, FJ Thayer International conference on tools and algorithms for the construction and …, 2007	119	2007
Rigorous automated network security management JD Guttman, AL Herzog International Journal of Information Security 4, 29-48, 2005	107	2005
Trust management in strand spaces: A rely-guarantee method JD Guttman, FJ Thayer, JA Carlson, JC Herzog, JD Ramsdell, BT Sniffen European Symposium on Programming, 325-339, 2004	96	2004
VLISP: A verified implementation of Scheme JD Guttman, JD Ramsdell, M Wand Lisp and Symbolic Computation 8 (1), 5-32, 1995	96	1995

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