Formalizing Active Networks Security with Seal-Calculus.

Xiaojuan Zheng, Tao Xu, Ying Jin

Browse the full ISPA paper archive.