检索结果-维普期刊中文期刊服务平台

基于进程演算的公钥密码体制安全性自动化证明系统: 1; 作者光焱顾纯祥 +1 位作者黄莉赵双峰《信息工程大学学报》 2012年第5期513-520,共8页; 可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进... 展开更多; 关键词公钥密码体制可证安全进程演算基于游戏的证明方法; 在线阅读下载PDF 职称材料

有界Petri网的进程演算表达被引量：2: 2; 作者董振华董笑菊《上海交通大学学报》 EI CAS CSCD 北大核心 2011年第7期980-984,共5页; 为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致... 展开更多; 关键词 PETRI网进程演算编码; 在线阅读下载PDF 职称材料

消除有限容量演算中的强干扰: 3; 作者钟发荣贾 +1 位作者陈建明傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1317-1321,共5页; 为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容... 展开更多; 关键词有限容量进程演算移动灰箱移动资源强干扰; 在线阅读下载PDF 职称材料

进程的归约: 4; 作者宋哲炫傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期47-51,共5页; 给出了进程归约语义的一般方法．并用例子说明归约语义和转换语义的对应关系．; 关键词并行理论归约语义代数性质进程演算; 在线阅读下载PDF 职称材料

一种安全协议的组合分析模型研究被引量：1: 5; 作者谢鸿波吴远成 +1 位作者刘一静周明天《电子学报》 EI CAS CSCD 北大核心 2008年第11期2262-2267,共6页; 在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏... 展开更多; 关键词知识推理进程演算形式化分析安全属性; 在线阅读下载PDF 职称材料

可证明安全性自动化证明方法研究被引量：1: 6; 作者顾纯祥祝跃飞光焱《电子与信息学报》 EI CSCD 北大核心 2009年第12期3001-3005,共5页; 可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定。该文论述了基于游戏(Game based)转换的安全性证明及其自动化实现方法,重点论述了基于进程演算的自动化证明方法,并以该方法研究OAEP+的自动化... 展开更多; 关键词密码协议可证明安全自动化证明进程演算; 在线阅读下载PDF 职称材料

一种计算有限标号转移系统模拟关系的算法被引量：2: 7; 作者蔡烜郑一源《上海交通大学学报》 EI CAS CSCD 北大核心 2009年第11期1784-1787,共4页; 基于一般的有限标号转移系统,研究了进程演算中的模拟关系,提出了一个计算进程演算中模拟关系的算法,其时间复杂度为O(mn).; 关键词进程演算并发系统模拟关系标号转移系统算法; 在线阅读下载PDF 职称材料

题名基于进程演算的公钥密码体制安全性自动化证明系统: 1; 作者光焱顾纯祥黄莉赵双峰; 机构信息工程大学网络空间安全学院信息工程大学科研部沈阳军区指挥自动化工作站; 出处《信息工程大学学报》 2012年第5期513-520,共8页; 基金国家863计划资助项目(2007AA01Z471); 文摘可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。; 关键词公钥密码体制可证安全进程演算基于游戏的证明方法; Keywords public-key cryptosystem provable security process calculus game-based proof; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名有界Petri网的进程演算表达被引量：2: 2; 作者董振华董笑菊; 机构上海交通大学计算机科学与工程系BASICS实验室上海交通大学智能计算与智能系统教育部-微软重点实验室; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2011年第7期980-984,共5页; 基金国家自然科学基金资助项目(60873034) 上海市自然基金资助项目(10ZR1416800); 文摘为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.; 关键词 PETRI网进程演算编码; Keywords Petri nets process calculi encoding; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名消除有限容量演算中的强干扰: 3; 作者钟发荣贾 陈建明傅育熙; 机构浙江师范大学计算机系上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1317-1321,共5页; 基金国家杰出青年科学基金资助项目(60225012) 上海市科委重点项目(025115032); 文摘为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容量演算的类型系统.该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内.; 关键词有限容量进程演算移动灰箱移动资源强干扰; Keywords bounded capacities process calculus mobile ambient mobile resource grave interferences; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名进程的归约: 4; 作者宋哲炫傅育熙; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期47-51,共5页; 基金 "八六三"项目汕头大学计算机学院开放基金; 文摘给出了进程归约语义的一般方法．并用例子说明归约语义和转换语义的对应关系．; 关键词并行理论归约语义代数性质进程演算; Keywords concurrency theory reductional semantics algebraic property; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种安全协议的组合分析模型研究被引量：1: 5; 作者谢鸿波吴远成刘一静周明天; 机构电子科技大学计算机科学与工程学院重庆通信学院三系数据链教研室四川大学计算机学院; 出处《电子学报》 EI CAS CSCD 北大核心 2008年第11期2262-2267,共6页; 基金电子科学基金(No.514500101DZ02) 国家重点基础研究发展规划项目(No.G1999035803); 文摘在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.; 关键词知识推理进程演算形式化分析安全属性; Keywords knowledge derivation process calculus formal analysisi security property; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名可证明安全性自动化证明方法研究被引量：1: 6; 作者顾纯祥祝跃飞光焱; 机构解放军信息工程大学信息工程学院; 出处《电子与信息学报》 EI CSCD 北大核心 2009年第12期3001-3005,共5页; 基金国家863计划项目(2007AA01Z471) 河南省基础与前沿技术研究基金(072300410260)资助课题; 文摘可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定。该文论述了基于游戏(Game based)转换的安全性证明及其自动化实现方法,重点论述了基于进程演算的自动化证明方法,并以该方法研究OAEP+的自动化安全性证明,首次给出了其初始游戏和相关的观察等价式。; 关键词密码协议可证明安全自动化证明进程演算; Keywords Cryptographic protocols Probable security Automatic security proof Process calculus; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种计算有限标号转移系统模拟关系的算法被引量：2: 7; 作者蔡烜郑一源; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2009年第11期1784-1787,共4页; 基金国家自然科学基金资助项目(60573002 60703033) 国家重点基础研究发展计划(973)项目(2003CB317005); 文摘基于一般的有限标号转移系统,研究了进程演算中的模拟关系,提出了一个计算进程演算中模拟关系的算法,其时间复杂度为O(mn).; 关键词进程演算并发系统模拟关系标号转移系统算法; Keywords process calculus concurrent system simulation labeled transition system algorithm; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于进程演算的公钥密码体制安全性自动化证明系统	光焱顾纯祥黄莉赵双峰	《信息工程大学学报》	2012	0	在线阅读下载PDF 职称材料
2	有界Petri网的进程演算表达	董振华董笑菊	《上海交通大学学报》 EI CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
3	消除有限容量演算中的强干扰	钟发荣贾 陈建明傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
4	进程的归约	宋哲炫傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	1996	0	在线阅读下载PDF 职称材料
5	一种安全协议的组合分析模型研究	谢鸿波吴远成刘一静周明天	《电子学报》 EI CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
6	可证明安全性自动化证明方法研究	顾纯祥祝跃飞光焱	《电子与信息学报》 EI CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
7	一种计算有限标号转移系统模拟关系的算法	蔡烜郑一源	《上海交通大学学报》 EI CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料