ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction.
Rasheed KibriaFarimah FarahmandiMark M. TehranipoorPublished in: ITC (2023)
Keyphrases
- finite state machines
- model checking
- finite state automata
- state machine
- regular expressions
- hidden markov models
- high level
- cellular automaton
- state transition
- association rules
- access control
- information security
- semi automatic
- security policies
- database systems
- data mining
- fully automatic
- rule sets
- network security
- data flow
- intrusion detection