期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于括号表示法的一阶逻辑系统
被引量：
6
1
作者
杜国平
《安徽大学学报（哲学社会科学版）》
CSSCI
北大核心
2019年第3期35-41,共7页
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中...
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。
展开更多
关键词
括号表示法
逻辑
常项
唯一性
公式长度
一阶逻辑系统
推理结构
在线阅读
下载PDF
职称材料
改进的安全协议逻辑系统及评估技术
2
作者
张超
韩继红
+1 位作者
王亚弟
朱玉娜
《计算机工程与设计》
CSCD
北大核心
2008年第21期5415-5419,共5页
改进了Blanchet安全协议一阶逻辑系统并建立了用于评估攻击者攻击耗费的攻击树模型,明确了系统和模型中涉及的一些关键性概念和命题。改进的系统能够将逻辑推导转换成易于理解的攻击过程。建立的攻击树模型具有以下特点:能够形象直观地...
改进了Blanchet安全协议一阶逻辑系统并建立了用于评估攻击者攻击耗费的攻击树模型,明确了系统和模型中涉及的一些关键性概念和命题。改进的系统能够将逻辑推导转换成易于理解的攻击过程。建立的攻击树模型具有以下特点:能够形象直观地描述攻击者对一个协议进行攻击的行为;能够对不同方法所耗费的资源进行相对比较;基于树状结构,便于计算机实现搜索、存储。
展开更多
关键词
安全协议
形式化分析
一阶逻辑系统
攻击序列重构
攻击树模型
在线阅读
下载PDF
职称材料
题名
基于括号表示法的一阶逻辑系统
被引量：
6
1
作者
杜国平
机构
中国社会科学院哲学研究所
出处
《安徽大学学报（哲学社会科学版）》
CSSCI
北大核心
2019年第3期35-41,共7页
基金
国家社会科学基金重点项目(13AZX019)
国家社会科学基金重大招标项目(14ZDB014)
文摘
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。
关键词
括号表示法
逻辑
常项
唯一性
公式长度
一阶逻辑系统
推理结构
分类号
B81 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
改进的安全协议逻辑系统及评估技术
2
作者
张超
韩继红
王亚弟
朱玉娜
机构
解放军信息工程大学电子技术学院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第21期5415-5419,共5页
文摘
改进了Blanchet安全协议一阶逻辑系统并建立了用于评估攻击者攻击耗费的攻击树模型,明确了系统和模型中涉及的一些关键性概念和命题。改进的系统能够将逻辑推导转换成易于理解的攻击过程。建立的攻击树模型具有以下特点:能够形象直观地描述攻击者对一个协议进行攻击的行为;能够对不同方法所耗费的资源进行相对比较;基于树状结构,便于计算机实现搜索、存储。
关键词
安全协议
形式化分析
一阶逻辑系统
攻击序列重构
攻击树模型
Keywords
security protocol
formal analysis
first-order logic system
reconstruction of attack sequence
attack tree model
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于括号表示法的一阶逻辑系统
杜国平
《安徽大学学报（哲学社会科学版）》
CSSCI
北大核心
2019
6
在线阅读
下载PDF
职称材料
2
改进的安全协议逻辑系统及评估技术
张超
韩继红
王亚弟
朱玉娜
《计算机工程与设计》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
