DMCA
Security protocol verification: Symbolic and computational models (2012)
by
Bruno Blanchet
Venue: | PRINCIPLES OF SECURITY AND TRUST - FIRST INTERNATIONAL CONFERENCE, POST 2012, VOLUME 7215 OF LECTURE NOTES IN COMPUTER SCIENCE |
Citations: | 11 - 0 self |