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 |