Conference Proceedings
Denker, G., J. Millen, A. Grau, and J. Küster Filipe,
"Optimizing Protocol Rewrite Rules of CIL Specifications",
Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000.
Abstract