收藏本站
《贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

制约逻辑与BAN逻辑结合的研究

党继胜  汪学明  
【摘要】:本文在分析研究制约逻辑和BAN逻辑的基础上,就BAN逻辑的公理推证缺乏理论的形式逻辑支持,提出了一个新的观点,即如何把制约逻辑与BAN逻辑结合起来为BAN逻辑的推理证明过程提供充分的理论依据。
【作者单位】:贵州大学信息工程学院 贵州大学信息工程学院
【分类号】:B812.2

【参考文献】
中国期刊全文数据库 前2条
1 温新;数学证明与制约推理[J];安顺师专学报;2000年02期
2 龚启荣;究竟什么逻辑理论是人工智能的合适工具[J];贵阳市委党校学报;1999年02期
【共引文献】
中国期刊全文数据库 前10条
1 杨兴江;智能入侵检测系统的研究[J];阿坝师范高等专科学校学报;2004年02期
2 余彦峰;刘毅;张书杰;段立娟;;一种专用可信网络[J];北京工业大学学报;2006年11期
3 汪学明;;制约逻辑与计算机科学相关问题的探讨[J];毕节学院学报;2007年01期
4 王改香;;基于CPK安全分簇的方案[J];长春师范学院学报;2011年10期
5 金丹;;21世纪信息网络的安全隐患及对策[J];太原城市职业技术学院学报;2008年04期
6 温涛;张永;郭权;李凤坤;;WSN中基于圆锥曲线组合密钥的对等认证[J];东北大学学报(自然科学版);2011年03期
7 李思广;;智能入侵检测技术概述[J];电脑知识与技术;2006年05期
8 孙悦;;基于蜜罐技术的入侵检测系统研究[J];大庆师范学院学报;2009年03期
9 崔福云;范海涛;张宁;;基于PKI的认证鉴别技术的应用[J];计算机安全;2010年10期
10 胡凌琳;许灿;;浅析电子商务中主动式入侵防御系统[J];电子商务;2010年04期
中国重要会议论文全文数据库 前6条
1 林邦瑾;;“说谎者悖论”剖析——思辩逻辑是产生“悖论”的根源[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
2 汪学明;;制约逻辑与计算机科学相关问题的探讨[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
3 邓少锋;邓帆;李益发;;基于CPK的可证安全组群密钥交换协议[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
4 李勃;张卫东;李晓飞;;基于负载语法分析的异常入侵检测技术研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
5 吕慧勤;夏光升;李小标;;PKI认证体系和CPK认证体系之比较[A];全国网络与信息安全技术研讨会'2005论文集(下册)[C];2005年
6 陆浪如;谢尊花;王仲兰;钟旭;;一种基于SPK的IBE加密体制综合性能的评估研究[A];中国优选法统筹法与经济数学研究会第七届全国会员代表大会暨第七届中国管理科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前5条
1 张功萱;基于XML的Web Services安全事务架构研究[D];南京理工大学;2005年
2 张义荣;基于机器学习的入侵检测技术研究[D];国防科学技术大学;2005年
3 王海艳;网格计算环境下的鉴别机制研究[D];苏州大学;2008年
4 李志华;语义属性数据聚类/分类算法及其在异常检测中的应用研究[D];江南大学;2009年
5 李小标;跨域认证关键技术研究[D];北京邮电大学;2011年
中国硕士学位论文全文数据库 前10条
1 马平涛;天津港集装箱公司网络安全方案的设计与实现[D];大连海事大学;2010年
2 文哲;港口网络安全架构的设计与实现[D];大连海事大学;2010年
3 杨坤;高校网络安全管理体系研究[D];大连海事大学;2010年
4 曲晶;全局安全网络的设计与实现[D];大连海事大学;2010年
5 王浩然;地方电子政府信息资源共享问题研究[D];电子科技大学;2010年
6 马宇驰;可信计算环境中基于CPK的若干安全协议的设计与分析[D];解放军信息工程大学;2009年
7 李佳;基于粒子群优化支持向量机的异常入侵检测研究[D];中南林业科技大学;2009年
8 王有维;网络空间对国家安全的影响及我国的对策[D];吉林大学;2011年
9 黄庆明;EPON接入技术与在东莞电信的接入研究[D];北京邮电大学;2011年
10 段智宏;入侵检测系统中单模式匹配算法的研究[D];江西理工大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 汪学明;;制约逻辑与计算机科学相关问题的探讨[J];毕节学院学报;2007年01期
2 李娜;娄永强;;从条件句悖论看信息流理论的哲学基础[J];西南大学学报(社会科学版);2009年01期
3 林邦瑾;侔与制约逻辑语用学1、2、3准则[J];贵阳师范高等专科学校学报(社会科学版);1992年04期
4 盛作国;;论“两独”与“两依”——兼评《制约逻辑元思想剖析》一文[J];贵阳学院学报(社会科学版);2008年01期
5 龚启荣;一项伟大的逻辑成果[J];鞍山师范学院学报;1986年03期
6 诸葛殷同;侔,诡辩和制约逻辑[J];贵阳师范高等专科学校学报(社会科学版);1990年02期
7 石崇森;;逻辑科学定义之新析[J];时代文学(理论学术版);2007年05期
8 张尚水;《制约逻辑》简评——兼评《制约逻辑诞生记》[J];哲学研究;1986年12期
9 ;安顺地区制约逻辑学会举行第二次会员代表大会暨学术年会[J];安顺师范高等专科学校学报;2000年01期
10 胡红;盛作国;;制约逻辑与相干逻辑比较研究[J];毕节学院学报;2008年01期
中国重要会议论文全文数据库 前10条
1 党继胜;汪学明;;制约逻辑与BAN逻辑结合的研究[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
2 汪学明;;制约逻辑与计算机科学相关问题的探讨[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
3 龚启荣;林邦瑾;;制约逻辑是内涵智能机的逻辑理论基础[A];逻辑与认知学术研讨会会议论文集[C];2004年
4 苗启明;;论思维的三重制约关系与辩证思维方式——兼淡辩证逻辑的一些问题[A];中国思维科学研究论文选2011年专辑[C];2012年
5 叶森;;从制约逻辑语用学1、2、3准则到逻辑客体说[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
6 张四化;葛宇宁;;从对集合论悖论的剖析看制约逻辑的客体性[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
7 盛作国;胡红;;情报推理的逻辑理论工具——制约逻辑在情报科学中的应用[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
8 林邦瑾;龚启荣;;充分条件与制约关系[A];贵州省科学技术优秀学术论文集(2004年度)[C];2004年
9 龚启荣;林邦瑾;;侔与制约逻辑语用学1、2、3准则[A];贵州省科学技术优秀学术论文集(2004年度)[C];2004年
10 ;前言[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
中国重要报纸全文数据库 前2条
1 本报记者 周静;贵州制约逻辑学会致力学界发展[N];贵州日报;2009年
2 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
中国博士学位论文全文数据库 前1条
1 娄永强;信息流理论的逻辑研究[D];南开大学;2009年
中国硕士学位论文全文数据库 前1条
1 盛作国;蕴涵理论研究[D];贵州大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026