Formal Verification of Finite State Transactional Security Policy.
N. RajamanickamR. NadarajanAtilla ElçiPublished in: NSS (2014)
Keyphrases
- finite state
- formal verification
- security policies
- model checking
- access control
- temporal logic
- automated verification
- security management
- network security
- model checker
- distributed systems
- bounded model checking
- markov chain
- security requirements
- symbolic model checking
- formal specification
- tree automata
- partially observable markov decision processes
- transition systems
- markov decision processes
- average cost
- formal methods
- ubiquitous computing environments
- finite state transducers