Formalizing GDOI group key management requirements in NPATRL

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2001, Pages 235-244

  Meadows, Catherine ^a   Syverson, Paul ^a   Cervesato, Iliano ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CRYPTOGRAPHY; NETWORK PROTOCOLS; SECURITY OF DATA;

PROTOCOL ANALYZERS;

INFORMATION MANAGEMENT;

EID: 0035752113     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Multicast security: A taxonomy and some efficient constructions
2. On the security of public-key protocols
3. nd edition
4. The internet key exchange (IKE)
5. A formal specification of requirements for payment transactions in the SET protocol
6. A model of computation for the NRL Protocol Analyzer
7. The NRL protocol analyzer: An overview
8. A cost-based framework for analysis of denial of service in networks
9. Key agreement in dynamic peer groups
10. A logical language for specifying cryptographic protocol requirements
11. Formal requirements for key distribution protocols
12. A formal language for cryptographic protocol requirements