蔡小娟

作品数：6被引量：6H指数：1
导出分析报告
供职机构：上海交通大学电子信息与电气工程学院更多>>
发文主题：安全协议形式化形式化分析匿名性保密性更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《计算机应用研究》《上海交通大学学报》《计算机工程》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划浙江省科技计划项目国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
反语法分析中语法分析树的构建
《上海交通大学学报》2015年第11期1625-1629,1634,共6页王立超 李国强 蔡小娟 
国家自然科学基金资助项目(61472240;91318301)
针对现存反语法分析方法分析结果不甚精确的问题,提出了新的反语法分析方法.与直接从抽象语法树构建出文本的传统方法相比,加入了构建语法分析树的过程,从而提高了反语法分析的精度,并且,为其他需要从抽象语法树生成语法分析树的研究提...
关键词：语法分析树 反语法分析 树的修补 语法制导定义 
良结构下推系统的表达能力
《上海交通大学学报》2015年第8期1084-1089,共6页靳阳 蔡小娟 李国强 
国家自然科学基金项目(61472238;61100053)资助
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式...
关键词：良结构下推系统 良拟序 向量加法系统 可达性问题 
概率Applied Pi框架下的匿名度分析
《计算机应用研究》2009年第8期3000-3003,共4页谢思敏 蔡小娟 
国家"973"计划资助项目(2003CB317005);国家自然科学基金资助项目(60573002;60703033);浙江省科技计划资助项目(2007C31009)
在概率Applied Pi下对安全协议的匿名度进行研究:它在概率Applied Pi进程上定义了metric,以对进程间的相似进行度量;该定义被证明是有效的,因为当两个进程之间的metric为0时这两个进程弱互模拟;基于metric给出了匿名度的形式化定义。最...
关键词：概率进程演算 匿名度 互模拟 匿名协议 密码学家就餐问题 
基于GSPM的安全协议检验工具被引量：1
《计算机工程》2008年第17期130-132,共3页庄庆 蔡小娟 董笑菊 戚正伟 
国家"973"计划基金资助项目(2003CB317005);国家自然科学基金资助项目(60473006;60573002);博士点基金资助项目(20010248033)
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述...
关键词：线性时序逻辑 安全协议 保密性 认证性 
安全协议匿名性形式化分析被引量：1
《上海交通大学学报》2008年第4期523-528,共6页宋琳 蔡小娟 
国家杰出青年科学基金资助项目(60225012);国家重点基础研究发展规划(973)项目(2003CB317005);国家自然科学基金资助项目(60473006);浙江省科技计划项目(2007C31009)
改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例...
关键词：安全协议 匿名性 GSPM 
软件需求的形式化转换模型被引量：4
《计算机工程》2007年第5期73-75,共3页侯丽珍 蔡小娟 邹恒明 
需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。
关键词：软件需求 形式化转换 软件可靠性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部