Login / Signup
Formal Verification of Finite State Transactional Security Policy.
N. Rajamanickam
R. Nadarajan
Atilla Elçi
Published 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