Imen Zaabar, Narjes Berregeb. Reasoning about Cryptographic Protocols in Observational Theories. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 539-548, IEEE Computer Society, 2007. [doi]
Abstract is missing.