...
机译:具有组成证明规则的实时密码协议分析的简单框架
Real-time process algebra; Crytographic protocols; Non-interference;
机译:用于分析密码协议的无干扰技术
机译:加密协议的实时性能分析模型
机译:实时通信协议组成的实现与分析
机译:一种用于实时密码协议分析的简单语言
机译:部分指定的协议:寻求真实密码协议的证明。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:具有成分证明规则的实时密码协议分析的简单框架