Login / Signup
A Simple and Efficient Approach to Verfying Cryptographic Protocols.
Yongxing Sun
Xinmei Wang
Published in:
SEC (2000)
Keyphrases
</>
cryptographic protocols
lightweight
wireless networks
cost effective