Login / Signup
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols.
Jiawen Song
Meihua Xiao
Ke Yang
Xizhong Wang
Xiaomei Zhong
Published in:
IEEE Access (2019)
Keyphrases
</>
security properties
cryptographic protocols
formal model
security protocols
security requirements
formal methods
security analysis
standard model
data mining
information systems
cost effective