机译:基于代理的安全协议中的构成优化
Department of Computer Science, Macquarie University, Sydney, NSW 2109, Australia.;
School of Computational Science and Engineering, University of New South Wales, Sydney, NSW 2052, Australia;
refinement of security; formalised secrecy; hierarchical security reasoning; compositional semantics;
机译:具有数字取证和安全协议的基于移动代理的电子市场的安全可靠框架
机译:安全协议组成验证的框架
机译:安全协议的派生系统和组合逻辑
机译:总结和恋人:安全性,组成性和完善性方面的案例研究
机译:网络协议的安全性分析:组合推理和复杂性理论基础。
机译:利用遗传算法利用临床资料的异质性通过应用遗传算法来校准基于高维代理的全身炎症模型
机译:使用iUmL-B中的细化分析安全协议
机译:利用定理证明对安全协议的成分分析