Login / Signup
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.
Ruggero Lanotte
Andrea Maggiolo-Schettini
Angelo Troina
Published in:
SEFM (2004)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
intrusion detection
security issues
description logics
practical reasoning
information security
control flow
reactive systems
bayesian networks
petri net