TY - JOUR
AU - 
TI - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
DO - 10.1561/9781680832075
DA - 2016-01-01
UR - https://www.deepdyve.com/lp/unpaywall/modeling-and-verifying-security-protocols-with-the-applied-pi-calculus-6Dr2UPLM2T
DP - DeepDyve
ER -