-
题名认证协议的形式逻辑分析方法——BAN类逻辑综述
被引量：2
- 1
-
-
作者
束妮娜
王亚弟
-
机构
中国人民解放军信息工程大学电子技术学院
-
出处
《计算机应用研究》
CSCD
北大核心
2002年第9期17-20,共4页
-
文摘
介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。
-
关键词
认证协议
形式逻辑分析方法
BAN类逻辑
信仰逻辑
密码
推理规则
-
Keywords
Authentication Protocols
BAN Logic
Extended BAN Logic
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名弘扬毛泽东哲学方法论——纪念毛泽东诞辰一百周年
- 2
-
-
作者
晨光
-
出处
《浙江工商大学学报》
1993年第4期3-7,14,共6页
-
文摘
历史选择了毛泽东,造就了毛泽东的哲学、业绩和风格。中国的今天和明天仍然需要毛泽东,尤其需要他的哲学方法论,在其指导下,把第“二次革命”引向深入。在纪念毛泽东诞辰一百周年的今天,学习和研究毛泽东哲学方法论,在理论上利实践上均具有重要意义。 一、毛泽东对哲学方法论一贯重视 毛泽东哲学的方法论就是指毛泽东常讲的“思想方法论”或“认识问题的方法论”。对此,毛泽东一贯非常重视。 1920年,当毛泽东的马克思主义哲学观正在形成的时候,他就把科学世界观看成是认识问题的方法论。他在致蔡和森的信中专门讲了个“方法问题”。其中讲到:“
-
关键词
哲学方法论
《毛泽东选集》
历史选择
“二次革命”
矛盾论
形式逻辑方法
领导方法
矛盾学说
思想方法论
上利
-
分类号
G64
[文化科学—高等教育学]
-
-
题名第一讲 学习《数学手稿》引言
- 3
-
-
作者
薛舒
-
出处
《北京师范大学学报（自然科学版）》
CAS
1976年第Z1期26-36,共11页
-
文摘
马克思的《数学手稿》是运用唯物辩证法改造微积分学的光辉典范。认真学习《手稿》,对于用马列主义、毛泽东思想指导数学的教学改革,指导数学的历史、理论和现状的研究,从而牢固地占领自然科学阵地,具有十分重要的意义。为此,本刊开辟了“《数学手稿》讲座”专栏。请薛舒同志将他们在我校数学系所作的学习《数学手稿》的辅导报告整理出来,从本期起陆续发表。欢迎广大读者提出批评和指正。
-
关键词
《反杜林论》
《自然辩证法》
资产阶级社会
马恩
形式逻辑方法
唯物主义世界观
无穷小量
微积分理论
马克思墓
商品的二重性
-
分类号
G6
[文化科学—教育学]
-
