Login / Signup

Proving Security Protocols with Model Checkers by Data Independence Techniques.

A. W. Roscoe
Published in: CSFW (1998)
Keyphrases
  • real time
  • data mining
  • general purpose
  • database management systems
  • formal model