Inproceedings,

Using Formal Verification Techniques to Analyze Encryption Protocols.

.
S&P, page 134-139. IEEE Computer Society, (1987)

Meta data

Tags

Users

  • @dblp

Comments and Reviews