曹木亮
- 作品数：7 被引量：21H指数：3
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- π-网—一类新型的模块化高级Petri网
- π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-网演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网...
- 曹木亮吴智铭杨根科
- 关键词：Π-演算PETRI网
- 文献传递
- 基于π-演算的Petri网和密码协议的形式化分析
- 并发理论一直是计算机科学中最富有挑战性的一个研究方向之一，至今，已发展出了各种并发理论的分支，如：Petri网、CCS(Communication and ConcurrenceSystem)、CSP(Communica...
- 曹木亮
- 关键词：PETRI网Π演算密码协议
- π-网的强互模拟等价被引量：6
- 2005年
- 该文建立了π 网的强互模拟等价关系 ,对π 网的结构作了进一步的研究 .π 网是一类新型的基于π 演算语义的模块化高级Petri网 ,是对两类并发模型Petri网和π 演算的有效结合 ,它的并发语义既是“真正并发”的又是“交互”的 .π 网的强互模拟等价是针对π 网的交互性并发语义的 ,是基于π 网的标号操作语义规则 ,并直接用π 网作为计算单元来实现的互模拟计算 ,使得π 网的行为能够从动态和静态两方面得到考察 .该文证明了对于任意的一个π 网N ,都存在一个π 进程P ,在π 网与π 演算系统等价映射Ψ下 ,Ψ(N)与N是强互模拟的这一重要的结论 .
- 曹木亮吴智铭
- 关键词：Π-演算
- 密码协议的π-网形式化描述和分析
- π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码...
- 曹木亮吴智铭杨根科
- 关键词：PETRI网密码协议密钥管理
- 文献传递
- π-网—一类新型的模块化高级Petri网
- 2003年
- π-网是一类新型的模块化的高级Petri网。p-网有机地结合了两类并发模型Petri 网和p-演算,p-网既可称为Petri网中的p-演算,又是p-演算的Petri网形式的体现,从而在语义上实现了从p-演算到Petri网的一种自动翻译,较完整地解决了p-演算的分布式语义问题,在p-网中,任一p-网都可由四类基本p-网:Tau网、输入网、自由输出网和匹配网通过p-网的复合规则复合而成,这一结果不仅使得一个p-进程能够在p-网中得到自动的演进,也使得p-网自身具有了极大的可操作性和可计算性。
- 曹木亮吴智铭吴智铭
- 关键词：Π-演算PETRI网
- 密码协议的π -网形式化描述和分析
- 2005年
- π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.
- 曹木亮吴智铭杨根科
- 关键词：PETRI网密码协议
- 一类新型的模块化高级Petri网——π-网被引量：11
- 2004年
- π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题.在π-网中,任一π-网都可由五类基本π-网:Tau网、输入网、自由输出网、受限输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使π-网自身具有了极大的可操作性和可计算性.
- 曹木亮吴智铭杨根科
- 关键词：PETRI网Π-演算
