Composition; Game Theory; Protocols; Secure Computation;
机译:Dolev-Yao威胁环境的结构化操作语义建模及其加密协议的组成
机译:设计和分析优化算法以最小化BGP安全协议中的密码处理
机译:密码协议设计中的计算独立性
机译:Rational协议设计:对激励驱动的对手的密码学
机译:加密协议的硬件设计:一种算法状态机设计方法。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:理性协议设计:针对激励驱动的对手的密码学