Formal reasoning about intrusion detection systems

Conference paper

Jim Alves-Foss, Tao Song, Calvin Ko, Cui Zhang and Karl Levitt

Lecture Notes in Computer Science

2004

Metrics

1 Record Views

Title: Formal reasoning about intrusion detection systems
Creators: Jim Alves-Foss
Tao Song - University of California, Davis
Calvin Ko
Cui Zhang
Karl Levitt
Conference: Lecture Notes in Computer Science
Identifiers: 996631381201851
Academic Unit: Center for Secure and Dependable Systems; Computer Science
Language: English
Resource Type: Conference paper