Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland. Complementing Computational Protocol Analysis with Formal Specifications. In Theodosis Dimitrakos, Fabio Martinelli, editors, Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France. pages 129-144, Springer, 2004. [doi]
Abstract is missing.