Mixed strand spaces

FJ Thayer, JC Herzog, JD Guttman - Computer Security Foundations …, 1999 - computer.org
Strand space analysis is a method for stating and proving correctness properties for
cryptographic protocols. In this paper we apply the same method to the related problem of …
被引用次数：49 相关文章

Mixed Strand Spaces

FJ Thayer, JC Herzog, JD Guttman - … of the 12th IEEE workshop on …, 1999 - dl.acm.org
Strand space analysis is a method for stating and proving correctness properties for
cryptographic protocols. In this paper we apply the same method to the related problem of …