Trusted computing; Trusted network connection; Key exchange; Authentication test; Strand space model;
机译:多方公平交易协议的形式分析与设计
机译:多方公平交易协议的形式分析与设计
机译:适用于低功耗计算客户端的安全认证的密钥交换协议
机译:可信计算中密钥交换协议的形式化设计研究
机译:关于组密钥安全协议的形式验证
机译:结合本体和工作流程以设计用于生物实验室的正式协议
机译:可信计算协议中安全属性的形式分析
机译:计算科学:Dragonfly密钥交换协议的密码分析。