Security; Inter-organizational systems; Cloud business; Verification;
机译:云计算的跨租户访问控制(CTAC)模型:正式规范和验证
机译:云计算环境下用户访问控制的关联击键验证方案
机译:云计算环境下用户访问控制的关联击键验证方案
机译:云计算中访问控制系统的开发和验证方法
机译:云计算环境中的实用系统完整性验证。
机译:SmartVeh:用于车载云计算的安全高效的消息访问控制和身份验证
机译:云计算中访问控制系统的开发和验证方法
机译:高速地面运输系统的安全性:计算机控制子系统安全验证的分析方法。第1卷。安全验证/验证方法的最新技术和评估