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/popl/AbadiB02.xml
Martín Abadi Bruno Blanchet Analyzing security protocols with secrecy types and logic programs. 33-44 2002 conf/popl/2002 POPL https://doi.org/10.1145/503272.503277 https://doi.org/10.1145/565816.503277 db/conf/popl/popl2002.html#AbadiB02