RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications.
Rasheed KibriaM. Sazadur RahmanFarimah FarahmandiMark TehranipoorPublished in: ITC (2022)
Keyphrases
- finite state machines
- model based diagnosis
- model checking
- high quality
- finite state automata
- state machine
- digital circuits
- security mechanisms
- regular expressions
- intrusion detection
- security issues
- security policies
- information extraction
- security requirements
- semi automatic
- information security
- network security
- access control
- hidden markov models
- security analysis
- cellular automaton
- databases
- pattern matching
- relational databases
- wireless sensor networks
- statistical databases
- high accuracy