Modeling group communication protocols using multiset term rewriting

Electronic Notes in Theoretical Computer Science

Volumn 71, Issue , 2004, Pages 20-39

  Denker, Grit ^a   Millen, Jon ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

Protocol specification; Secure group management

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DECISION SUPPORT SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS; SECURITY OF DATA; SEMANTICS; TELECOMMUNICATION SYSTEMS; USER INTERFACES;

COMMUNICATING PROTOCOLS; GROUP-DIFFIE-HELLMAN (GDH) PROTOCOLS; PROTOCOL SPECIFICATIONS; SECURE GROUP MANAGEMENT;

NETWORK PROTOCOLS;

EID: 19044390971     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82527-7     Document Type: Conference Paper

References (14)

1. Ateniese G., Steiner M., Tsudik G. New multi-party authentication services and key agreement protocols. IEEE Journal on Selected Areas in Communication. 2000
2. Baugher M., Hardjono T., Harney H., Weis B. The Group Domain of Interpretation. Internet Draft, IETF. 2001;. http://www.ietf.org/internet- drafts/draft-ietf-msec-gdoi-01.txt
3. Cervesato I., Durgin N., Lincoln P., Mitchell J., Scedrov A. A metanotation for protocol analysis. 12th IEEE Computer Security Foundations Workshop. 1999;55-69 IEEE Computer Society
4. G. Denker, J. Millen. CAPSL Intermediate Language. N. Heintze and E. Clarke, editors, Workshop on Formal Methods and Security Protocols (FMSP′99), July 5, 1999, Trento, Italy (part of FLOC′99), 1999. http://cm.bell-labs.com/cm/cs/who/nch/fmsp99/.
5. Denker G., Millen J. CAPSL Integrated Protocol Environment. Maughan D., Koob G., Saydjari S. Proc. DARPA Information Survivability Conference and Exposition, DISCEX2000, January 25-27. 2000;207-222 Hilton Head Island, SC, USA. http://schafercorp-ballston.com/discex/.
6. Denker G., Millen J. The CAPSL Integrated Protocol Environment. CSL Report SRI-CSL-2000-02, Computer Science Laboratory. October 2000;SRI International, Menlo Park, CA 94025. http://www.csl.sri.com/~denker/pub_99.html
7. Denker G., Millen J. Design and Implementation of Multicast CAPSL and Its Intermediate Language. CSL Report, Computer Science Laboratory. 2002;SRI International, Menlo Park, CA 94025. To appear
8. Denker G., Meseguer J., Talcott C. Protocol specification and analysis in Maude. Formal Methods and Security Protocols. 1998;LICS ′98 Workshop
9. Harney H., Colegrove A., Harder E., Meth U., Fleischer R. Group Secure Association Key Management Protocol. Internet Draft, IETF. 2001;. http://www.ietf.org/internet-drafts/draft-ietf-msec-gsakmp-sec-00.txt
10. Millen J., Denker G. CAPSL and MuCAPSL. To appear in Special Issue of Journal of Telecommunications and Information Technology (JTIT). 2000
11. Meadows C. Experiences in the formal analysis of the GDOI protocol. Slides, Dagstuhl Seminar "Specification and Analysis of Secure Cryptographic Protocols. 2001;. http://www.informatik.uni-freiburg.de/~accorsi/ dagstuhl
12. Pereira O., Quisquater J. A security analysis of the cliques protocol suites. 14th IEEE Computer Security Foundations Workshop. 2001;73-81 IEEE Computer Society
13. Steiner M., Tsudik G., Waidner M. Diffie-Hellman Key Distribution Extended to Groups. ACM Conference on Computer and Communications Security. ACM. 1996
14. M. Steiner, G. Tsudik, M. Waidner. CLIQUES: A New Approach to Group Key Agreement. IEEE International Conference on Distributed Computing Systems (ICDCS′98), 1998.