Dagstuhl Seminar 01391


Specification and Analysis of Secure Cryptographic Protocols

23.09.2001-28.09.2001

D. Basin (Freiburg), G. Denker (Menlo Park), G. Lowe (Oxford), J. Millen (Menlo Park)

  • Topics of the seminar
  • Talks (with slides and abstracts)
  • Call for Papers for post-seminar volume
  • Link to Dagstuhl site information


    • Grit Denker
    Last modified: Wed Nov 21 12:05:51 PST 2001