Concepedia

Joshua D. Guttman

JD

35

Publications

3.1K

Citations

24

H-Index

1988

Active since

Affiliations

Mitre (United States)(Current)

Worcester Polytechnic Institute

Utah State University

Joshua D. Guttman is an author at Mitre (United States) specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceData SecurityInformation SecurityCryptographyFormal VerificationFormal MethodsVerificationData PrivacyHardware Security

Publications per year

1988–2016

35

Publications

35

Strand spaces: proving security protocols correct

F. Javier Thayer Fábrega, Jonathan Herzog, Joshua D. Guttman · Journal of Computer Security · 1999 · 539 citations

Strand Space, Cryptographic Primitive, Engineering +11

Strand spaces: why is a security protocol correct?

F. Javier Thayer Fábrega, Jonathan Herzog, Joshua D. Guttman · 2002 · 394 citations

Engineering, Information Security, Verification +19

Principles of remote attestation

George Coker, Joshua D. Guttman, Peter Loscocco et al. · International Journal of Information Security · 2011 · 236 citations

Engineering, Information Security, Verification +8

Security for Mobile Agents: Issues and Requirements

William M. Farmer, Joshua D. Guttman, Vipin Swarup · 1996 · 197 citations

Agent Development Tool, Mobile Security, Engineering +14

Filtering postures: local enforcement for global policies

Joshua D. Guttman · 2002 · 158 citations

Engineering, Information Security, Local Enforcement +21

Rows per page

1–5 of 35