国家自然科学基金(60473006)
- 作品数：9 被引量：28H指数：4
- 相关作者：顾永跟傅育熙董笑菊朱涵龙环更多>>
- 相关机构：上海交通大学湖州师范学院浙江师范大学更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学语言文字更多>>
- 基于类pi演算的电子支付协议安全性形式化研究被引量：4
- 2006年
- 设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。
- 顾永跟李国强王国钧
- 关键词：电子支付协议认证性匿名性
- 基于可达关系的安全协议保密性分析被引量：7
- 2007年
- 借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.
- 顾永跟傅育熙朱涵
- 关键词：安全协议
- 基于Spi演算的SSL3.0安全协议仿真分析被引量：1
- 2006年
- 安全协议中的错误和漏洞很难完全由人工来发现,借助形式化方法对其进行分析可以保证安全协议的正确性和完整性。目前安全协议的形式化分析和验证已成为网络安全的研究热点,其中基于Sp i演算的模型验证方法是当前的一个重要研究领域。文章介绍了SSL3.0安全协议的握手过程和Sp i演算的基本概念,包括基于Sp i演算认证性的验证方法。在此基础上,基于Sp i演算形式化地建立了SSL3.0安全协议的仿真模型,给出了分析SSL3.0安全协议的详细过程,最终验证了SSL3.0安全协议的认证性。仿真分析的结果表明,Sp i演算能够为安全协议的分析和验证提供可靠和有效的支持。
- 衷国涛顾永跟
- 关键词：安全协议认证性仿真
- 用P系统解决排序问题被引量：6
- 2008年
- 介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大大降低的可能性.
- 黄春毅董笑菊龙环
- 关键词：P系统
- 非对称^(χ≠)-演算的基同余
- 2005年
- 该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理.
- 钟发荣傅育熙
- 关键词：进程代数
- 基于GSPM的安全协议新鲜性分析被引量：1
- 2007年
- 安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究。
- 周璐顾永跟
- 关键词：安全协议新鲜性
- Tile自组装模型的模拟与分析
- ＜正＞1 引言 1994年,美国加州大学Adleman博士首次在实验室用DNA分子生物计算的新方法,解决了一个含有7个城市的Hamilton有向路问题。从此,这种基于生物化学反应的新型计算方法——DNA计
- 濮阳董笑菊
- 关键词：TILESELF-ASSEMBLYSIMULATION
- 文献传递
- 一种新的组织P系统变体的研究被引量：2
- 2008年
- 本文介绍了一种新的组织P系统的变体。定义的P系统改进了原始的设计,允许在通道(连接,生物上称为突触)上的规则应用中采用并行机制,以提高系统的运行效率。文中我们首先给出这种组织P系统的定义,然后描述它的运行机制,接着对它的计算能力做了一些简单的分析,并且用一个典型的例子说明了我们的P系统的运行过程的特点。
- 徐贤董笑菊
- 关键词：P系统并行性
- 基于进程演算和知识推理的安全协议形式化分析被引量：9
- 2006年
- 安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.
- 顾永跟傅育熙
- 关键词：知识推理安全协议形式化分析
- 安全协议匿名性形式化分析被引量：2
- 2008年
- 改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例,进行了匿名性分析的实例研究.
- 宋琳蔡小娟
- 关键词：安全协议匿名性
