Login / Signup
基于分段模型检测的云服务跨域认证协议的形式化分析与验证 (Cloud Services Cross-domain Authentication Protocol Formal Analysis and Verification Based on Fragment Model Check).
Hongsong Chen
Gang Wang
Zhongchuan Fu
Published in:
计算机科学 (2016)
Keyphrases
</>
formal analysis
cross domain
databases
learning algorithm
artificial intelligence
database systems
similarity measure
smart card
agent model
formal methods