Fast, Automatic Checking of Security Protocols

収録刊行物

• the proceeding of the Second USENIX Workshop on Electronic Commerce, November 1996

  the proceeding of the Second USENIX Workshop on Electronic Commerce, November 1996 1996