Login / Signup
To know or not to know: epistemic approaches to security protocol verification.
Francien Dechesne
Yanjing Wang
Published in:
Synth. (2010)
Keyphrases
</>
security protocols
data mining techniques
model checking