观测等价相关硕士博士期刊学术论文 - 信丰网

观测等价相关论文

密码协议验证与设计中若干关键技术研究

该文作者经过辛勤研究,在以下几个方面取得了一些成绩,通过实例分析和比较,显示我们方法的可行性和其中某些技术具有一定的领先性:......

学位

密码协议形式化验证观测等价时限责任拒绝服务攻击分布式电子拍卖

基于π-演算的Petri网和密码协议的形式化分析

并发理论一直是计算机科学中最富有挑战性的一个研究方向之一,至今,已发展出了各种并发理论的分支,如:Petri网、CCS(Communication......

学位

Petri网 π-演算 π-网标号语义操作规则强互模拟密码协议鉴别安全观测等价

看过本文同时还关注