Executable Logic Specifications: A New Approach to Computer Security.
Deepinder P. SidhuPublished in: IEEE Symposium on Security and Privacy (1984)
Keyphrases
- computer security
- delay insensitive
- formal specification
- attribute grammars
- computer systems
- asynchronous circuits
- anomaly detection
- control flow
- formal language
- intrusion detection
- information security
- network security
- logic programming
- network intrusion detection
- transition systems
- intrusion detection system
- recursive programs
- bounded model checking
- logical formulas
- modal logic
- computer forensics
- operational semantics
- text classification
- logic programs
- multi class
- knowledge discovery
- training data
- real world