An environment for security protocol intrusion detection

Journal of Computer Security

Volumn 10, Issue 1-2, 2002, Pages 177-188

  Yasinsac, Alec ^a  

^a Florida State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CRIME; ELECTRONIC COMMERCE; INTERNET; NETWORK PROTOCOLS; PUBLIC KEY CRYPTOGRAPHY;

ELECTRONIC COMMUNICATION; INTRUSION DETECTION SYSTEMS (IDS); SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 0036090428     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2002-101-208     Document Type: Article

References (42)

1. A logic of authentication
2. Automatically detecting most vuinerabilities in cryptographic protocols
3. Analyzing Internet security protocols
4. An intrusion-detection model
5. CAPSL integrated protocol environment
6. Timestamps in key distribution protocols
7. Identification of host audit data to detect attacks on low-level IP
8. On the security of public key protocols
9. An intrusion detection system based upon autonomous mobile agents
10. Design and implementation of a scalable intrusion detection system for the protection of network infrastructure
11. Using formal methods to analyze encryption protocols
12. On belief evolution in authentication protocols
13. Protocol interactions and the chosen protocol attack
14. Three systems for cryptographic protocol analysis
15. Detecting computer and network misuse through the production-based expert system toolset (P-BEST)
16. Evaluating intrusion detection systems: The 1998 DARPA off-line intrusion detection evaluation
17. The interrogator: Protocol security analysis
18. Formal verification of cryptographic protocols: A survey
19. Analysis of the Internet key exchange protocol using the NRL protocol analyzer
20. A formal framework and evaluation method for network denial of service
21. Using encryption for authentication in large networks of computers
22. Security issues related to mobile code and agent-based systems
23. Proving security protocols correct
24. Inductive analysis of the Internet protocol TLS
25. Athena: A new efficient automatic checker for security protocol analysis
26. Protecting mobile agents against malicious hosts
27. A taxonomy of replay attacks
28. Strand spaces: Why is a security protocol correct?
29. NetSTAT: A network-based intrusion detection system
30. Analysis of the SSL 3.0 protocol
31. Dynamic analysis of security protocols
32. Evaluating cryptographic protocols
33. A framework for a cryptographic protocol evaluation workbench
34. Fixing of security flaw in IKE protocols
35. Prudent engineering practice for cryptographic protocols