Login / Signup
Huanbao Wang
Publication Activity (10 Years)
Years Active: 2005-2006
Publications (10 Years): 0
</>
Publications
</>
Huanbao Wang
,
Yousheng Zhang
,
Yuan Li
A Diagram of Strand Spaces for Security Protocols.
J. Comput. Res. Dev.
43 (12) (2006)
Huanbao Wang
,
Yousheng Zhang
,
Yuan Li
Modeling for Security Verification of a Cryptographic Protocol with MAC Payload.
ICIC (2)
(2005)