基于分段模型检测的云服务跨域认证协议的形式化分析与验证 (Cloud Services Cross-domain Authentication Protocol Formal Analysis and Verification Based on Fragment Model Check).
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.