Computationally Sound Compositional Logic for Key Exchange Protocols.

Anupam Datta Ante Derek John C. Mitchell Bogdan Warinschi Computationally Sound Compositional Logic for Key Exchange Protocols. 321-334 2006 conf/csfw/2006 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.9 db/conf/csfw/csfw2006.html#DattaDMW06