KFUPM Dhahran Saudi Arabia Runtime Verification Inc. Urbana USA;
Department of Mathematics University of Rijeka Rijeka Croatia;
University College London London UK National Research University Higher School of Economics Moscow Russia;
Federal University of Paraiba Joao Pessoa Brazil fortiss Munich Germany;
University of Pennsylvania Philadelphia USA National Research University Higher School of Economics Moscow Russia;
SRI International Menlo Park USA;
机译:多集重写和有限安全协议的复杂性
机译:联系多集重写和过程代数以进行安全协议分析
机译:链空间和多集重写之间的安全协议分析比较
机译:STRAND空间与安全协议分析的多网重写比较
机译:密码协议和浏览器的重写逻辑中的安全模型。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:一种用于指定和验证安全协议的时序方面的多立方重写模型
机译:安全协议的类型化多重写重写规范