| Title | Optimizing Protocol Rewrite Rules of CIL Specifications |
| Publication Type | Conference Proceedings |
| Year of Conference | 2000 |
| Authors | Denker, G., J. Millen, A. Grau, and J. Küster Filipe |
| Conference Name | Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England |
| Abstract | no |
| Public | no |