Joshua Guttman

Cituota

	Visi	Nuo 2019
Šaltiniai	7380	959
h-rodyklė	37	15
i10-rodyklė	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 101

Viešas pasiekiamumas

Peržiūrėti viską

5 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

John D. RamsdellThe MITRE CorporationPatvirtintas el. paštas mitre.org
William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityPatvirtintas el. paštas mcmaster.ca
Paul D. RoweThe MITRE CorporationPatvirtintas el. paštas mitre.org
Daniel J DoughertyWorcester Polytechnic InstitutePatvirtintas el. paštas wpi.edu
Mitchell WandProfessor of Computer Science, Northeastern UniversityPatvirtintas el. paštas ccs.neu.edu
Ming LiProfessor of ECE, The University of ArizonaPatvirtintas el. paštas arizona.edu
Stephen ChongHarvard UniversityPatvirtintas el. paštas seas.harvard.edu
Riccardo FocardiDAIS, Ca' Foscari University, VenicePatvirtintas el. paštas unive.it
Wenjing LouW. C. English Endowed Professor, IEEE Fellow, Virginia Tech, USAPatvirtintas el. paštas vt.edu
Kui RenProfessor and Dean of Computer Science, Zhejiang University, ACM/IEEE FellowPatvirtintas el. paštas zju.edu.cn
Marco CarboneAssociate Professor, IT University of CopenhagenPatvirtintas el. paštas itu.dk
Elke RundensteinerThe William Smith Dean's Professor, Computer Science; Founding Head, Data Science Program; WorcesterPatvirtintas el. paštas wpi.edu
Chuan LeiAmazon Web ServicesPatvirtintas el. paštas amazon.com
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityPatvirtintas el. paštas cs.brown.edu
Ronald WatroBoston Fusion CorpPatvirtintas el. paštas bostonfusion.com
Lenore D. ZuckUniversity of Illinois, Chicago

Stebėti

Joshua Guttman

Research Professor, Computer Science, Worcester Polytechnic Institute

Patvirtintas el. paštas wpi.edu - Pagrindinis puslapis

Information security logic semantics


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	318	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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai