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/sas/Blanchet01.xml
Bruno Blanchet Abstracting Cryptographic Protocols by Prolog Rules. 433-436 2001 conf/sas/2001 SAS https://doi.org/10.1007/3-540-47764-0_27 db/conf/sas/sas2001.html#Blanchet01