Concepedia

F. Javier Thayer

FJ

8

Publications

688

Citations

8

H-Index

1977

Active since

Affiliations

Mitre (United States)(Current)

F. Javier Thayer is an author at Mitre (United States) specializing in computer science, engineering, and data security.

Top concepts

EngineeringComputer ScienceCryptographyData PrivacyVerificationData SecurityFormal MethodsFormal VerificationInformation SecurityHardware Security

Publications per year

1977–2007

8

Publications

8

Authentication tests and the structure of bundles

Joshua D. Guttman, F. Javier Thayer · Theoretical Computer Science · 2002 · 154 citations

Engineering, Information Security, Identity-based Security +9

IMPS: An interactive mathematical proof system

William M. Farmer, Joshua D. Guttman, F. Javier Thayer · Journal of Automated Reasoning · 1993 · 152 citations

Engineering, Automated Reasoning, Verification +6

Protocol independence through disjoint encryption

Joshua D. Guttman, F. Javier Thayer · 2002 · 134 citations

Cryptographic Primitive, Engineering, Information Security +17

Security and the Composition of Machines.

Dale Johnson, F. Javier Thayer · IEEE Computer Security Foundations Symposium · 1988 · 85 citations

Authentication tests

Joshua D. Guttman, F. Javier Thayer · 2002 · 81 citations

Hardware Security, Strand Space Formalism, Cryptographic Primitive +15

Rows per page

1–5 of 8