Reasoning about secrecy for active networks (2003)

by Pankaj Kakkar, Carl A Gunter, Martín Abadi
Venue:Journal of Computer Security