Sign in
A new model of formal design system of security authentication protocol.
Hui-bin Wang
Published in:
WCNIS (2010)
Keyphrases
</>
formal model
authentication protocol
formal methods