Reasoning About Secrecy for Active Networks

Pankaj Kakkar
Carl A. Gunter
Journal of Computer Security, 11(2003), pp. 245-287

Abstract

Research Areas