Opacity Generalised to Transition Systems.

Jeremy W. Bryans Maciej Koutny Laurent Mazaré Peter Y. A. Ryan

Published in: Formal Aspects in Security and Trust (2005)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
model checker
fully observable
reactive systems
markov chain
data flow
distributed systems
partial observability
formal methods
markov decision processes
petri net