Algorithms; Computer logic; Computer programming; Computer programs; Corrections; Defects(Materials); Equations; Management engineering; Methodology; Security; Solutions(General); Verification;
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:将正式方法应用于协议规范和系统架构的经验
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:致力于组密钥协议中密钥控制的形式分析
机译:关于组密钥安全协议的形式验证
机译:非正式和正式护理的偏爱以及在德国提供老人护理的预期意愿:混合方法研究的方案
机译:将正式方法应用于密钥管理协议的分析