DMCA

Applied pi calculus (2011)

by Mark D Ryan , Ben Smyth
Venue:Formal Models and Techniques for Analyzing Security Protocols, chapter 6. IOS
Citations:11 - 4 self