Sign in
基于概率模型的云辅助的轻量级无证书认证协议的形式化验证 (Formal Verification of Cloud-aided Lightweight Certificateless Authentication Protocol Based on Probabilistic Model).
Nunu Xia
Jinji Yang
Gansen Zhao
Xiaoshan Mo
Published in:
计算机科学 (2019)
Keyphrases
</>
formal verification
lightweight
authentication protocol
probabilistic model
signature scheme
model checking
cloud computing
public key
rfid tags
bayesian networks
cryptographic protocols
session key
secret key
standard model
smart card
wireless sensor networks
trusted third party