iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/fosad/Blanchet13.xml
Bruno Blanchet Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif. 54-87 2013 FOSAD https://doi.org/10.1007/978-3-319-10082-1_3 conf/fosad/2013 db/conf/fosad/fosad2013.html#Blanchet13