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:10 - 0 self