Login / Signup

Efficient verification of security protocols using partial-order reductions.

Edmund M. ClarkeSomesh JhaWilfredo R. Marrero
Published in: Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
  • partial order
  • security protocols
  • partially ordered
  • total order
  • automated design
  • high dimensional
  • cost effective
  • preference relations
  • information systems
  • data processing
  • model checking