$Id: gritdenker-publications2000.daml,v 1.6 2001/09/29 05:25:44 waldinge Exp $ DAML markup of Grit Denker's ``Publications 2000 web page'' closed available at http://www.ai.sri.com/daml/annotations 2000-10-31 daml@ai.sri.com Publications 2000 Denker, G. Design of a CIL Connector to Maude In 2000 Workshop on Formal Methods and Computer Security 2000 http://www.csl.sri.com/~denker/publ/Den00.ps.gz http://www.csl.sri.com/~denker/publ/Den00_abs.html http://www.cs.cmu.edu/~veith/fmcs/ Denker, G. Millen, J. Kuester Filipe, J. Grau, A. Optimizing Protocol Rewrite Rules of CIL Specifications 13th IEEE Computer Security Foundations Workshop 2000 52--62 IEEE Computer Society http://www.csl.sri.com/~denker/publ/DMKG00.ps.gz http://www.csl.sri.com/~denker/publ/DMKG00_abs.html http://www2.csl.sri.com/csfw/csfw13-program.html Denker, G. and Meseguer, J. and Talcott, C. Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience DARPA Information and Survivability Conference and Exposition (DISCEX'00) 2000 251--265 IEEE Computer Society Press http://www.csl.sri.com/~denker/publ/DenMesTal00.ps.gz http://www.csl.sri.com/~denker/publ/DenMesTal00_abs.html http://schafercorp-ballston.com/discex/ Denker, G. and Millen, J. CAPSL Integrated Protocol Environment DARPA Information and Survivability Conference and Exposition (DISCEX'00) 2000 207-221 IEEE Computer Society Press http://www.csl.sri.com/~denker/publ/DenMil00.ps.gz http://www.csl.sri.com/~denker/publ/DenMil00_abs.html http://schafercorp-ballston.com/discex/