Reasoning About Secrecy for Active Networks
Pankaj Kakkar, Carl A. Gunter and Martin Abadi
Journal of Computer Security, volume 11, number 2, pages 245-287, April 2003.
Last updated on Thursday, June 26, 2014, 12:48 pm
Reasoning About Secrecy for Active Networks
Pankaj Kakkar, Carl A. Gunter and Martin Abadi
Journal of Computer Security, volume 11, number 2, pages 245-287, April 2003.
Last updated on Thursday, June 26, 2014, 12:48 pm