A model of computation for the NRL Protocol Analyzer

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1995, Pages 84-88

  Meadows, C ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; SECURITY OF DATA; SECURITY SYSTEMS;

BAN LOGIC; MODEL OF COMPUTATION; PROTOCOL ANALYZERS;

COMPUTATION THEORY;

EID: 85063350588     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.1994.315945     Document Type: Conference Paper

References (0)