733 search results - page 23 / 147 » Formal Reasoning About Intrusion Detection Systems |
MPC
1998
Springer
15 years 3 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
RAID
1999
Springer
15 years 4 months ago
1999
Springer
An intrusion-detection system (IDS) for an on-going attack is described. Prior to an attack, an IDS operates in anticipation of a general threat. During an attack, the IDS can dea...
TIFS
2008
14 years 11 months ago
2008
Abstract--Network intrusion detection systems (NIDSs) monitor network traffic for suspicious activity and alert the system or network administrator. With the onset of gigabit netwo...
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
ARGuE (Advanced Research Guard for Experimentation) is a prototype guard being developed as a basis for experimentation. ARGuE is based on Network Associates' Gauntlet firewa...
CADE
2010
Springer
15 years 25 days ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...