Reasoning About Secrecy for Active Networks
Carl A. Gunter, Pankaj Kakkar and Martin Abadi
IEEE Computer Security Foundations Workshop (CSFW ’00), pages 118-131, Cambridge, England, July 2000.
Last updated on Monday, July 25, 2011, 4:33 pm
Reasoning About Secrecy for Active Networks
Carl A. Gunter, Pankaj Kakkar and Martin Abadi
IEEE Computer Security Foundations Workshop (CSFW ’00), pages 118-131, Cambridge, England, July 2000.
Last updated on Monday, July 25, 2011, 4:33 pm