机译:基于可信计算平台的安全协议技术的研究与实现
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:关于安全协议物理属性的形式推理
机译:具有推理形式分析方法的密码协议细粒度安全性研究
机译:安全协议的形式分析:协议组成逻辑。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:无线协议中某些定时安全性的形式分析
机译:信任管理政策中安全属性的形式化验证