Publications 2000

DenMil00b
Denker, G., and Millen, J., The CAPSL Integrated Protocol Environment. SRI International Technical Report, SRI-CSL-2000-02, October 2000. (PostScript)

DenMilMiy00b
Denker, G., Millen, J., Miyake, Y. Cross-Domain Access Control via PKI.SRI Internal Report, September 2000.

DenBas00
Denker, G. and Basin, D. Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. In Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, September 18-20, 2000. In Volume 36 of Electronic Notes in Theoretical Computer Science, pp 235-256, Elsevier Science B.V., http://www.elsevier.nl/locate/entcs/volume36.html. (PostScript)

DenMesTal00b
Denker, G., Meseguer, J., and Talcott, C. Rewriting Semantics of Meta-Objects and Composable Distributed Services. In Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, September 18-20, 2000. In Volume 36 of Electronic Notes in Theoretical Computer Science, pp 407-427, Elsevier Science B.V., http://www.elsevier.nl/locate/entcs/volume36.html. (PostScript)

DenMilMiy00
Denker, G., Millen, J., Miyake, Y. PKI and Revocation Survey. SRI International Technical Report, SRI-CSL-2000-01, August 2000. (PostScript)

Den00
Denker, G. Design of a CIL Connector to Maude. In 2000 Workshop on Formal Methods and Computer Security, July 20, 2000, Chicago, USA (post-CAV Workshop). (PostScript)

DMKG00
Denker, G., Millen, J., Küster Filipe, J., and Grau, A. Optimizing Protocol Rewrite Rules of CIL Specifications. In 13th IEEE Computer Security Foundations Workshop (13th IEEE CSFW), July 3-5, 2000, Cambridge, England. (PostScript)

DenMesTal00
Denker, G., Meseguer, J., and Talcott, C. Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience. In DARPA Information and Survivability Conference and Exposition (DISCEX'00), Hilton Head, South Carolina, January 25-27, 2000, pp. 251-265, IEEE Computer Society Press. (PostScript)

DenMil00
Denker, G., and Millen, J. CAPSL Integrated Protocol Environment. In DARPA Information and Survivability Conference and Exposition (DISCEX'00), Hilton Head, South Carolina, January 25-27, 2000, pp. 207-221, IEEE Computer Society Press. (PostScript)