Login / Signup

An intruder model for verifying liveness in security protocols.

Jan CederquistMuhammad Torabi Dashti
Published in: FMSE (2006)
Keyphrases
  • multi agent systems
  • probabilistic model
  • software engineering
  • sensor data
  • formal model