| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 57 |       | F. Javier Thayer, Vipin Swarup, Joshua D. Guttman: Metric Strand Spaces for Locale Authentication Protocols. IFIPTM 2010: 79-94 |
| 45 | | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Completeness of the Authentication Tests. ESORICS 2007: 106-121 |
| 44 | | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Searching for Shapes in Cryptographic Protocols. TACAS 2007: 523-537 |
| 42 | | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. Electr. Notes Theor. Comput. Sci. 173: 85-102 (2007) |
| 41 | | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Searching for Shapes in Cryptographic Protocols (extended version). IACR Cryptology ePrint Archive 2006: 435 (2006) |
| 37 | | Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen: Trust Management in Strand Spaces: A Rely-Guarantee Method. ESOP 2004: 325-339 |
| 33 | | Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck: The faithfulness of abstract protocol analysis: Message authentication. Journal of Computer Security 12(6): 865-891 (2004) |
| 30 | | Joshua D. Guttman, F. Javier Thayer: Authentication tests and the structure of bundles. Theor. Comput. Sci. 283(2): 333-380 (2002) |
| 29 | | Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck: The faithfulness of abstract protocol analysis: message authentication. ACM Conference on Computer and Communications Security 2001: 186-195 |
| 26 | | Joshua D. Guttman, F. Javier Thayer: Protocol Independence through Disjoint Encryption. CSFW 2000: 24-34 |
| 25 | | Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer: Authentication and Confidentiality via IPSEC. ESORICS 2000: 255-272 |
| 23 | | Joshua D. Guttman, F. Javier Thayer: Authentication Tests. IEEE Symposium on Security and Privacy 2000: 96-109 |
| 21 | | F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Mixed Strand Spaces. CSFW 1999: 72-82 |
| 20 | | F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Strand Spaces: Proving Security Protocols Correct. Journal of Computer Security 7(1): 191-230 (1999) |
| 19 | | F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Honest Ideals on Strand Spaces. CSFW 1998: 66-77 |
| 18 | | F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman: Strand Spaces: Why is a Security Protocol Correct? IEEE Symposium on Security and Privacy 1998: 160-171 |
| 15 | | William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Updated System Description. CADE 1996: 298-302 |
| 13 | | William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Context in Mathematical Reasoning and Computation. J. Symb. Comput. 19(1-3): 210-206 (1995) |
| 10 | | William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer: Proof Script Pragmatics in IMPS. CADE 1994: 356-370 |
| 8 | | William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Reasoning with Contexts. DISCO 1993: 216-228 |
| 7 | | William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Interactive Mathematical Proof System. J. Autom. Reasoning 11(2): 213-248 (1993) |
| 6 | | William M. Farmer, Joshua D. Guttman, F. Javier Thayer: Little Theories. CADE 1992: 567-581 |
| 5 | | William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: System Description. CADE 1992: 701-705 |
| 3 | | William M. Farmer, Joshua D. Guttman, F. Javier Thayer: IMPS: An Interactive Mathematical Proof System. CADE 1990: 653-654 |
Selection of 24 from 65 records - Joshua D. Guttman has 36 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page