A Verification Method of SDN Firewall Applications.
Miyoung KangJin-Young ChoiInhye KangHee-Hwan KwakSo Jin AhnMyung-Ki ShinPublished in: IEICE Trans. Commun. (2016)
Keyphrases
- verification method
- model checking
- process algebra
- temporal logic
- intrusion detection
- formal specification
- network security
- security enforcement
- intrusion detection system
- network traffic
- packet filtering
- java card
- formal methods
- access control
- smart card
- anomaly detection
- object recognition
- data sets
- software engineering
- security risks
- concurrent systems
- web pages
- feature selection
- machine learning