Pankaj Kakkar, Carl A. Gunter, Martín Abadi. Reasoning about Secrecy for Active Networks. In CSFW. pages 118-129, 2000. [doi]
@inproceedings{KakkarGA00, title = {Reasoning about Secrecy for Active Networks}, author = {Pankaj Kakkar and Carl A. Gunter and Martín Abadi}, year = {2000}, url = {http://www.computer.org/proceedings/csfw/0671/06710118abs.htm}, researchr = {https://researchr.org/publication/KakkarGA00}, cites = {0}, citedby = {0}, pages = {118-129}, booktitle = {CSFW}, }