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

基于VB的Mapinfo地理信息系统集成被引量：10: 1; 作者周权肖德琴章晓华《计算机工程》 CAS CSCD 北大核心 2002年第2期257-259,共3页; 介绍了利用技术将应用程序和桌面地理信息系统集成的技术和方法,重点讨论了在集成开发中的一些关键性技术和具 OLEVBMapinfo体实现方法。从而实现了将集成到应用系统中,达到高效开发应用型软件目的。; 关键词地理信息系统 OLE MAPINFO 集成 VB语言; 在线阅读下载PDF 职称材料

基于时序逻辑的加密协议分析被引量：15: 2; 作者肖德琴周权 +1 位作者张焕国刘才兴《计算机学报》 EI CSCD 北大核心 2002年第10期1083-1089,共7页; 形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,... 展开更多; 关键词时序逻辑加密协议分析形式化方法密码学单钥加密系统; 在线阅读下载PDF 职称材料

防火墙的安全实施控制被引量：5: 3; 作者谢洁锐刘财兴 +1 位作者黄忠民赵毅《计算机工程与设计》 CSCD 2004年第10期1802-1804,共3页; 防火墙技术在不断提高,却无法避免管理带来的风险。从管理员和防火墙的角度考虑网络的安全,提出了一种用于控制防火墙安全实施的方法——管道控制,并在一个实际应用中,利用此方法进行安全实施,以证明该方法的可行性。; 关键词防火墙技术安全管理员网络角度实施控制风险可行性实际; 在线阅读下载PDF 职称材料

基于Visual Basic的Mapinfo集成GIS技术研究被引量：2: 4; 作者肖德琴刘才兴 +1 位作者周权胡月明《华南农业大学学报》 CAS CSCD 北大核心 2002年第4期93-94,共2页; 关键词 VISUAL Basic MAPINFO GIS技术地理信息系统集成; 在线阅读下载PDF 职称材料

应用时序逻辑分析密钥分配协议被引量：1: 5; 作者肖德琴林丕源 +1 位作者周权张焕国《小型微型计算机系统》 CSCD 北大核心 2002年第11期1340-1343,共4页; 文中 ,在密码系统状态间的关联性和时序逻辑的可达性间建立联系 ,探讨了一种基于时序逻辑的密钥分配协议的描述办法 .该途径从形式上规定密码设备的构成成分以及有关的密码操作 ,使用了时序逻辑的常量和状态不变量来表达这些构成成分 .... 展开更多; 关键词时序逻辑密钥分配协议协议分析密码系统; 在线阅读下载PDF 职称材料

面向实现的协议形式化描述语言: 6; 作者刘才兴肖德琴谢洁锐《计算机工程与应用》 CSCD 北大核心 2003年第19期81-83,145,共4页; 该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件... 展开更多; 关键词协议工程协议描述语言面向实现; 在线阅读下载PDF 职称材料

题名基于VB的Mapinfo地理信息系统集成被引量：10: 1; 作者周权肖德琴章晓华; 机构广州大学理学院数学系华南农业大学理学院计算机系; 出处《计算机工程》 CAS CSCD 北大核心 2002年第2期257-259,共3页; 基金广东省自然科学基金资助项目(990336); 文摘介绍了利用技术将应用程序和桌面地理信息系统集成的技术和方法,重点讨论了在集成开发中的一些关键性技术和具 OLEVBMapinfo体实现方法。从而实现了将集成到应用系统中,达到高效开发应用型软件目的。; 关键词地理信息系统 OLE MAPINFO 集成 VB语言; Keywords GIS OLE Mapinfo Integrate; 分类号 P208 [天文地球—地图制图学与地理信息工程]; 在线阅读下载PDF 职称材料

题名基于时序逻辑的加密协议分析被引量：15: 2; 作者肖德琴周权张焕国刘才兴; 机构中国科学院研究生院信息安全国家重点实验室广州大学理学院数学系信息安全研究所武汉大学计算机学院软件工程国家重点实验室华南农业大学理学院计算机系; 出处《计算机学报》 EI CSCD 北大核心 2002年第10期1083-1089,共7页; 基金国家自然科学基金 ( 199310 10 6 6 9730 34) 中国科学院研究生院信息安全国家重点实验室课题资助; 文摘形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,提出了一种基于时序逻辑的加密协议描述方法 ,在该模型下 ,对协议行为、入侵者行为、安全需求等特性的描述均用时序逻辑公式表达 ,从而利用现有的统一的时序逻辑框架分析密码协议的性质 .特别地 ,作者描述和检测了一个系统入侵者不能用任何代数和逻辑的办法获得消息的实例 .通过对比 ,作者认为该方法具有形式化程度较高的特点 .; 关键词时序逻辑加密协议分析形式化方法密码学单钥加密系统; Keywords encryption protocols, formal method, temporal logic; 分类号 TN918.1 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名防火墙的安全实施控制被引量：5: 3; 作者谢洁锐刘财兴黄忠民赵毅; 机构华南农业大学理学院计算机系; 出处《计算机工程与设计》 CSCD 2004年第10期1802-1804,共3页; 文摘防火墙技术在不断提高,却无法避免管理带来的风险。从管理员和防火墙的角度考虑网络的安全,提出了一种用于控制防火墙安全实施的方法——管道控制,并在一个实际应用中,利用此方法进行安全实施,以证明该方法的可行性。; 关键词防火墙技术安全管理员网络角度实施控制风险可行性实际; Keywords firewall secure implementation pipe control pipe control chart pipe control table; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术] F407.67 [经济管理—产业经济]; 在线阅读下载PDF 职称材料

题名基于Visual Basic的Mapinfo集成GIS技术研究被引量：2: 4; 作者肖德琴刘才兴周权胡月明; 机构华南农业大学理学院计算机系重庆师范学院计算机中心华南农业大学资源环境学院; 出处《华南农业大学学报》 CAS CSCD 北大核心 2002年第4期93-94,共2页; 基金华南农业大学校长基金资助项目 (490 0 -K0 2 0 14 ); 关键词 VISUAL Basic MAPINFO GIS技术地理信息系统集成; Keywords geography information system(GIS) OLE Mapinfo object integrating; 分类号 P208 [天文地球—地图制图学与地理信息工程] TP399 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名应用时序逻辑分析密钥分配协议被引量：1: 5; 作者肖德琴林丕源周权张焕国; 机构华南农业大学理学院计算机系广州大学理学院数学系信息安全研究所武汉大学数学与计算机科学学院; 出处《小型微型计算机系统》 CSCD 北大核心 2002年第11期1340-1343,共4页; 基金国家自然科学基金 (编号 199310 10和 6 6 9730 34)资助; 文摘文中 ,在密码系统状态间的关联性和时序逻辑的可达性间建立联系 ,探讨了一种基于时序逻辑的密钥分配协议的描述办法 .该途径从形式上规定密码设备的构成成分以及有关的密码操作 ,使用了时序逻辑的常量和状态不变量来表达这些构成成分 .有关的密码操作表达为状态转换 ,加密协议应保留的必要特性表达为临界不变性表达式 ,然后验证这些不变性表达式 .本方法的优点在于可以隐式地刻画攻击者的行为 ,具有形式化程度高等特点 .我们希望能为研究规范化、简洁化的形式化分析工具提供一些借鉴 .; 关键词时序逻辑密钥分配协议协议分析密码系统; Keywords distribution protocols protocol analysis temporal logic; 分类号 TN918.2 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名面向实现的协议形式化描述语言: 6; 作者刘才兴肖德琴谢洁锐; 机构华南农业大学理学院计算机系中国科学院研究生院信息安全国家重点实验室; 出处《计算机工程与应用》 CSCD 北大核心 2003年第19期81-83,145,共4页; 基金国家自然科学基金重点项目(编号:19931010) 中国科学院研究生院信息安全国家重点实验室开放课题支持; 文摘该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。; 关键词协议工程协议描述语言面向实现; Keywords Protocol Engineering,Formal Description Language,Realization-Oriented; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于VB的Mapinfo地理信息系统集成	周权肖德琴章晓华	《计算机工程》 CAS CSCD 北大核心	2002	10	在线阅读下载PDF 职称材料
2	基于时序逻辑的加密协议分析	肖德琴周权张焕国刘才兴	《计算机学报》 EI CSCD 北大核心	2002	15	在线阅读下载PDF 职称材料
3	防火墙的安全实施控制	谢洁锐刘财兴黄忠民赵毅	《计算机工程与设计》 CSCD	2004	5	在线阅读下载PDF 职称材料
4	基于Visual Basic的Mapinfo集成GIS技术研究	肖德琴刘才兴周权胡月明	《华南农业大学学报》 CAS CSCD 北大核心	2002	2	在线阅读下载PDF 职称材料
5	应用时序逻辑分析密钥分配协议	肖德琴林丕源周权张焕国	《小型微型计算机系统》 CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
6	面向实现的协议形式化描述语言	刘才兴肖德琴谢洁锐	《计算机工程与应用》 CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料