Security Protocols

Recent papers I/O Automaton Models and Proofs for Shared-Key Communication Systems, by Nancy Lynch. Conference version. I/O Automaton Models and Proofs for Shared-Key Communication Systems, by Nancy Lynch. Technical Report.

TOC / LCS / MIT Last modified: August 10, 1999	Comments?