DMCA

Automatic Verification of Correspondences for Security Protocols (2009)

by Bruno Blanchet
Venue:JOURNAL OF COMPUTER SECURITY
Citations:50 - 3 self