Zheng Xiaojuan, Xu Tao, Jin Ying. Formalizing Active Networks Security with Seal-Calculus. In Minyi Guo, Laurence Tianruo Yang, editors, Parallel and Distributed Processing and Applications, International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings. Volume 2745 of Lecture Notes in Computer Science, pages 391-404, Springer, 2003. [doi]
Abstract is missing.