Login / Signup
An intruder model for verifying liveness in security protocols.
Jan Cederquist
Muhammad Torabi Dashti
Published in:
FMSE (2006)
Keyphrases
</>
multi agent systems
probabilistic model
software engineering
sensor data
formal model