Formal Technique for Discovering Complex Attacks in Computer Systems.
Lamia HamzaKamel AdiPublished in: SoMeT (2007)
Keyphrases
- computer systems
- computer security
- data processing
- operating system
- hardware and software
- computing systems
- information systems
- information processing systems
- communication systems
- computer architecture
- computer networks
- high end
- real world
- cyber attacks
- countermeasures
- computer hardware
- machine learning
- data mining
- data sets