Cryptography; Data processing security; Verification; Computer networks; Communications protocols; Software engineering; Automation; Hierarchies; Debugging(Computers); Workshops; Models; Theory; Vulnerability; Algebra; Failure;
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:通过模型检查在量子密码协议中进行窃听方法的模型库
机译:用于学习密码协议的用户界面模型的协同重构
机译:利用保护建模语言(QoP-ML)的质量对加密协议进行效率建模
机译:密码协议和浏览器的重写逻辑中的安全模型。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:验证加密协议:C的加密API的符号模型