机译:SATMC:基于SAT的模型检查器,用于安全协议,业务流程和安全API
DIBRIS, University of Genova, Genoa, Italy,Security & Trust, FBK, Trento, Italy;
Security & Trust, FBK, Trento, Italy;
Product Security Research, SAP SE, Sophia Antipolis, France;
SAT-based model checker; Security protocols; Business processes; Security APIs;
机译:基于SAT的模型检查以进行安全协议分析
机译:基于SAT的模型检查以进行安全协议分析
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:SATMC:用于安全协议的基于SAT的模型检查器
机译:BRUTUS:安全协议的模型检查器。
机译:符合ISO / 27002:2013标准的大型PACS安全性商业模型
机译:SATMC:用于安全关键系统的基于SAT的模型检查器