Cryptography; Data processing security; Invariance; Intrusion; Taxonomy; Communications protocols;
机译:用于分析密码协议的无干扰技术
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:即时消息应用程序上的加密技术和安全协议的回顾
机译:密码协议分析中的不变生成技术
机译:概率多项式时间过程演算,用于分析密码协议。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术