Login / Signup
New Semantic Model for Authentication Protocols in ASMs.
Rui Xue
Dengguo Feng
Published in:
J. Comput. Sci. Technol. (2004)
Keyphrases
</>
high level
probabilistic model
real time
low cost
semantic description