Login / Signup

基于分段模型检测的云服务跨域认证协议的形式化分析与验证 (Cloud Services Cross-domain Authentication Protocol Formal Analysis and Verification Based on Fragment Model Check).

Hongsong ChenGang WangZhongchuan Fu
Published in: 计算机科学 (2016)
Keyphrases
  • formal analysis
  • cross domain
  • databases
  • learning algorithm
  • artificial intelligence
  • database systems
  • similarity measure
  • smart card
  • agent model
  • formal methods