Formalizing Active Networks Security with Seal-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zheng Xiaojuan' in GoogleThis author has not been identified. Look up 'Xu Tao' in GoogleThis author has not been identified. Look up 'Jin Ying' in Google

runs on WebDSL