Reasoning about Secrecy for Active Networks

Pankaj Kakkar, Carl A. Gunter, Martín Abadi. Reasoning about Secrecy for Active Networks. In CSFW. pages 118-129, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.