Sign in

Using transition systems to model and verify the implementation of security protocol.

Yulong FuOusmane Koné
Published in: SIN (2013)
Keyphrases
  • low cost
  • markov chain
  • process model
  • end to end
  • transition systems