Reasoning About Secrecy for Active Networks (2000)

Download From

IEEE
Download from IEEE

Download Links

by Pankaj Kakkar , Carl A. Gunter , Martín Abadi
Venue:In 13th IEEE Computer Security Foundations Workshop (CSFW'00), 3 -- 5 July 2000
Citations:5 - 2 self