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