Inproceedings,

A Generic Model for Analyzing Security Protocols.

, , , and .
MMM-ACNS, volume 3685 of Lecture Notes in Computer Science, page 119-128. Springer, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews