Login / Signup
A Logic to Model Time in Cryptographic Protocols.
Xinfeng Lei
Jun Liu
Junmo Xiao
Published in:
ISCSCT (1) (2008)
Keyphrases
</>
probabilistic model
formal model