Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joshua D. Guttman" ( http://dblp.L3S.de/Authors/Joshua_D._Guttman )

  Author page on DBLP  Author page in RDF  Community of Joshua D. Guttman in ASPL-2

Publication years (Num. hits)
1988-1996 (15) 1997-2002 (16) 2003-2007 (15) 2008-2011 (15) 2012 (3)
Publication types (Num. hits)
article(21) inproceedings(39) proceedings(4)
Venues (Conferences, Journals, ...)
CSFW(7) CADE(5) Journal of Computer Security(5) IEEE Symposium on Security and...(4) ESORICS(3) Formal Aspects in Security and...(3) Electr. Notes Theor. Comput. S...(2) IACR Cryptology ePrint Archive(2) Int. J. Inf. Sec.(2) J. Autom. Reasoning(2) Lisp and Symbolic Computation(2) ACM Conference on Computer and...(1) ARSPA-WITS(1) ASIAN(1) Bulletin of the EATCS(1) CoRR(1) More (+10 of total 38)
Authors
Joshua D. Guttman(64) F. Javier Thayer(24) William M. Farmer(10) John D. Ramsdell(7) Jonathan C. Herzog(6) Amy L. Herzog(4) Brian T. Sniffen(4) Pierpaolo Degano(4) Shaddin F. Doghmi(4) Vipin Swarup(4) George Coker(2) Justin Sheehy(2) Lenore D. Zuck(2) Marco Carbone(2) Mark E. Nadel(2) Peter Loscocco(2) More (+10 of total 37)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 12 keywords
Results
Found 64 publication records. Showing 64 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Daniel J. Dougherty, Joshua D. Guttman Symbolic Protocol Analysis for Diffie-Hellman Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Joshua D. Guttman State and Progress in Strand Spaces: Proving Fair Exchange. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pierpaolo Degano, Joshua D. Guttman (eds.) Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings Search on Bibsonomy POST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Coker, Joshua D. Guttman, Peter Loscocco, Amy L. Herzog, Jonathan K. Millen, Brian O'Hanlon, John D. Ramsdell, Ariel Segall, Justin Sheehy, Brian T. Sniffen Principles of remote attestation. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Security Goals and Protocol Transformations. Search on Bibsonomy TOSCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (eds.) Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierpaolo Degano, Joshua D. Guttman (eds.) Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1F. Javier Thayer, Vipin Swarup, Joshua D. Guttman Metric Strand Spaces for Locale Authentication Protocols. Search on Bibsonomy IFIPTM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Introduction. Search on Bibsonomy Journal of Computer Security The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Security Theorems via Model Theory Search on Bibsonomy EXPRESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Fair Exchange in Strand Spaces Search on Bibsonomy SECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Joshua D. Guttman Execution Models for Choreographies and Cryptoprotocols Search on Bibsonomy PLACES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Joshua D. Guttman Choreographies with Secure Boxes and Compromised Principals Search on Bibsonomy ICE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Transformations between Cryptographic Protocols. Search on Bibsonomy ARSPA-WITS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (eds.) Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Cryptographic Protocol Composition via the Authentication Tests. Search on Bibsonomy FOSSACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Cryptographic Protocol Composition via the Authentication Tests. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2008 DBLP  BibTeX  RDF
1George Coker, Joshua D. Guttman, Peter Loscocco, Justin Sheehy, Brian T. Sniffen Attestation: Evidence and Trust. Search on Bibsonomy ICICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer Searching for Shapes in Cryptographic Protocols. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell Compiling cryptographic protocols for deployment on the web. Search on Bibsonomy WWW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CPPL, cryptographic protocols, HTTP, sessions
1Joshua D. Guttman How to do Things with Cryptographic Protocols. Search on Bibsonomy ASIAN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer Completeness of the Authentication Tests. Search on Bibsonomy ESORICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer Searching for Shapes in Cryptographic Protocols (extended version). Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2006 DBLP  BibTeX  RDF
1Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka Verifying information flow goals in Security-Enhanced Linux. Search on Bibsonomy Journal of Computer Security The full citation details ... 2005 DBLP  BibTeX  RDF
1Joshua D. Guttman, Amy L. Herzog Rigorous automated network security management. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Filtering routers, IP security protocols, Formal methods, Network security, Security management
1Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen Programming Cryptographic Protocols. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck The faithfulness of abstract protocol analysis: Message authentication. Search on Bibsonomy Journal of Computer Security The full citation details ... 2004 DBLP  BibTeX  RDF
1Joshua D. Guttman Authentication tests and disjoint encryption: A design method for security protocols. Search on Bibsonomy Journal of Computer Security The full citation details ... 2004 DBLP  BibTeX  RDF
1Joshua D. Guttman A New Column: Information Security. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Joshua D. Guttman Security, Protocols, and Trust. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joshua 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. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider Guest editorial overview. Search on Bibsonomy IEEE Journal on Selected Areas in Communications The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, F. Javier Thayer Authentication tests and the structure of bundles. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Security Protocol Design via Authentication Tests. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Key Compromise, Strand Spaces, and the Authentication Tests. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner Relating Cryptography and Cryptographic Protocols. (PDF / PS) Search on Bibsonomy CSFW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck The faithfulness of abstract protocol analysis: message authentication. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman A Set Theory with Support for Partial Functions. Search on Bibsonomy Studia Logica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, F. Javier Thayer Authentication Tests. (PDF / PS) Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Security Goals: Packet Trajectories and Strand Spaces. Search on Bibsonomy FOSAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, F. Javier Thayer Protocol Independence through Disjoint Encryption. (PDF / PS) Search on Bibsonomy CSFW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer Authentication and Confidentiality via IPSEC. Search on Bibsonomy ESORICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman Strand Spaces: Proving Security Protocols Correct. Search on Bibsonomy Journal of Computer Security The full citation details ... 1999 DBLP  BibTeX  RDF
1F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman Mixed Strand Spaces. (PDF / PS) Search on Bibsonomy CSFW The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman Strand Spaces: Why is a Security Protocol Correct? Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman Honest Ideals on Strand Spaces. (PDF / PS) Search on Bibsonomy CSFW The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Shimshon Berkovits, Joshua D. Guttman, Vipin Swarup Authentication for Mobile Agents. Search on Bibsonomy Mobile Agents and Security The full citation details ... 1998 DBLP  BibTeX  RDF
1Joshua D. Guttman Filtering Postures: Local Enforcement for Global Policies. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1997 DBLP  DOI  BibTeX  RDF filtering postures, global policy local enforcement, global network access control, optimal service, network topology, security policy, routers, authorisation, packet filtering, prototype implementation
1William M. Farmer, Joshua D. Guttman, F. Javier Thayer IMPS: An Updated System Description. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, Vipin Swarup Security for Mobile Agents: Authentication and State Appraisal. Search on Bibsonomy ESORICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, F. Javier Thayer Context in Mathematical Reasoning and Computation. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, John D. Ramsdell, Vipin Swarup The VLISP Verified Scheme System. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1995 DBLP  BibTeX  RDF
1Joshua D. Guttman, John D. Ramsdell, Mitchell Wand VLISP: A Verified Implementation of Scheme. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1995 DBLP  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer Proof Script Pragmatics in IMPS. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, Dale M. Johnson Three Applications of Formal Methods at MITRE. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, F. Javier Thayer IMPS: An Interactive Mathematical Proof System. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, F. Javier Thayer Reasoning with Contexts. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, F. Javier Thayer IMPS: System Description. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, F. Javier Thayer Little Theories. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols. Search on Bibsonomy CSFW The full citation details ... 1992 DBLP  BibTeX  RDF
1Joshua D. Guttman, H.-P. Ko Verifying a Hardware Security Architecture. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1990 DBLP  BibTeX  RDF
1William M. Farmer, Joshua D. Guttman, F. Javier Thayer IMPS: An Interactive Mathematical Proof System. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Joshua D. Guttman, Mark E. Nadel What Needs Securing. Search on Bibsonomy CSFW The full citation details ... 1988 DBLP  BibTeX  RDF
Displaying result #1 - #64 of 64 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.