132 citations
- University of MichiganUS3 papers
- University of Southern MississippiUS3 papers
- National Institute of Standards and TechnologyUS2 papers
- Brookhaven National LaboratoryUS1 paper
- Dartmouth CollegeUS1 paper
- Howard UniversityUS1 paper
- Michigan State UniversityUS1 paper
- National Technical University of AthensGR1 paper
- Pennsylvania State UniversityUS1 paper
- Princeton UniversityUS1 paper
- Stockholm UniversitySE1 paper
- University of IdahoUS1 paper
Showing 2009Show all
2 papers · 1 filter
cs.CR2009★ 3 cited
Security Theorems via Model Theory
Joshua Guttman
A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special…
cs.CR2009★ 15 cited
Fair Exchange in Strand Spaces
Joshua D. Guttman
Many cryptographic protocols are intended to coordinate state changes among principals. Exchange protocols coordinate delivery of new values to the participants, e.g. additions to…