机译:加密协议的实时性能分析模型
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:密码分析中使用随机航点模型的MANET路由协议的安全性机制
机译:PROFINET实时保护层:加密和协议处理开销的性能分析
机译:使用Petri网络建模器对Internet加密协议进行规范和分析。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:实时maude中时间相关密码协议的形式化分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术