Calculus; Cognition; Cryptography; Datamodels; Protocols; Unifiedmodelinglanguage; Proverif; Spicalculus; confidentiality; correspondence; extendedUML;
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:基于插值的安全协议验证方法
机译:使用归纳方法验证基于多播的安全协议
机译:用于验证安全协议的扩展UML方法
机译:使用UML 2建模安全协议
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法