"I have left NPS and my new website is: www.jonathonherzog.com"
July 2009: I have left the Naval Postgraduate School for personal reasons. I am now Technical Staff at MIT Lincoln Labs. Please address all correspondence to my new address (firstname.lastname@example.org) or, in case that does not work, my permanent personal address (email@example.com).
My publications can be found on their own page. Please note that if you came here looking for a paper by "Herzog and Guttman" (or vice versa) and it is not listed above, the chances are good that the Herzog in question is my wife, Amy Herzog. We both work and publish with Joshua Guttman, causing some small confusion.
The Strand Space method is a technique for analyzing security protocols (authentication and key distribution protocols, in particular) at a very high level of abstraction. I maintain a page tracking the development of the Strand Space method. (This is likely to change locations in the near future.)
The Cryptographic Protocol Programming Language (CPPL) is a domain-specific language for cryptographic protocols with trust-management annotations. The current tarball can be found at http://www.nps.navy.mil/cs/jcherzog/software/cppl-1.1.tar.gz. It is written in OCaml, and released under the GPL. See accompanying paper, Programming Cryptographic Protocols for language overview and (strand-based) semantics.
More complete information can be found in my CV and resumé
Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense.
The appearance of external hyperlinks does not constitute endorsement by the United States Department of Defense, the United States Department of the Navy and the Naval Postgraduate School of the linked web sites, or the information, products or services contained therein. For other than authorized activities such as military exchanges and Morale, Welfare and Recreation (MWR) sites, the United States Department of Defense, the Department of the Navy and the Naval Postgraduate School does not exercise any editorial control over the information you may find at these locations. Such links are provided consistent with the stated purpose of this DoD Web site.