Optimizing Protocol Rewrite Rules of CIL Specifications

TitleOptimizing Protocol Rewrite Rules of CIL Specifications
Publication TypeConference Proceedings
Year of Conference2000
AuthorsDenker, G., J. Millen, A. Grau, and J. Küster Filipe
Conference NameProc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England
Abstract

no

Publicno