Joshua Guttman

Citada per

	Totes	Des de 2020
Citacions	7404	809
Índex h	37	13
Índex i10	75	22

460

230

115

345

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202543 32 39 60 73 58 100 151 157 172 239 333 368 419 424 442 407 446 383 308 288 266 234 261 232 163 188 183 162 234 165 124 112 12

Accés públic

Mostra-ho tot

5 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

John D. RamsdellThe MITRE CorporationCorreu electrònic verificat a mitre.org
William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityCorreu electrònic verificat a mcmaster.ca
Paul D. RoweThe MITRE CorporationCorreu electrònic verificat a mitre.org
Daniel J DoughertyWorcester Polytechnic InstituteCorreu electrònic verificat a wpi.edu
Mitchell WandProfessor of Computer Science, Northeastern UniversityCorreu electrònic verificat a ccs.neu.edu
Ming LiProfessor of ECE, The University of ArizonaCorreu electrònic verificat a arizona.edu
Stephen ChongHarvard UniversityCorreu electrònic verificat a seas.harvard.edu
Wenjing LouW. C. English Endowed Professor, IEEE Fellow, Virginia Tech, USACorreu electrònic verificat a vt.edu
Kui RenProfessor and Dean of Computer Science, Zhejiang University, ACM/IEEE FellowCorreu electrònic verificat a zju.edu.cn
Riccardo FocardiDAIS, Ca' Foscari University, VeniceCorreu electrònic verificat a unive.it
Marco CarboneAssociate Professor, IT University of CopenhagenCorreu electrònic verificat a itu.dk
Elke RundensteinerThe William Smith Dean's Professor, Computer Science; Founding Head, Data Science Program; WorcesterCorreu electrònic verificat a wpi.edu
Chuan LeiAmazon Web ServicesCorreu electrònic verificat a amazon.com
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityCorreu electrònic verificat a cs.brown.edu
Ronald WatroBoston Fusion CorpCorreu electrònic verificat a bostonfusion.com
Lenore D. ZuckUniversity of Illinois, Chicago

Segueix

Joshua Guttman

Research Professor, Computer Science, Worcester Polytechnic Institute

Correu electrònic verificat a wpi.edu - Pàgina d'inici

Information security logic semantics


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Strand spaces: Proving security protocols correct FJT Fábrega, JC Herzog, JD Guttman Journal of computer security 7 (2/3), 191-230, 1999	951	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	798	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	387	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	324	2011
IMPS: An interactive mathematical proof system WM Farmer, JD Guttman, FJ Thayer Journal of Automated Reasoning 11, 213-248, 1993	307	1993
Authentication tests and the structure of bundles JD Guttman, FJ Thayer Theoretical computer science 283 (2), 333-380, 2002	271	2002
Filtering postures: Local enforcement for global policies JD Guttman Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997	250	1997
Honest ideals on strand spaces FJT Fábrega, JC Herzog, JD Guttman Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	248	1998
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	193	2000
Authentication tests JD Guttman, FJ Thayer Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 96-109, 2000	169	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	154	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
Searching for shapes in cryptographic protocols SF Doghmi, JD Guttman, FJ Thayer International conference on tools and algorithms for the construction and …, 2007	126	2007
Security protocol design via authentication tests JD Guttman Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 92-103, 2002	124	2002
Rigorous automated network security management JD Guttman, AL Herzog International Journal of Information Security 4, 29-48, 2005	108	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

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors