期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析
被引量：
5
1
作者
肖美华
李娅楠
+3 位作者
宋佳雯
王西忠
李伟
钟小妹
《计算机研究与发展》
EI
CSCD
北大核心
2019年第6期1275-1289,共15页
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换...
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤,阐述事件逻辑理论证明协议安全属性过程,比较分析事件逻辑理论与其他逻辑推理方法,表明事件逻辑理论具有通用性.
展开更多
关键词
事件类
事件逻辑理论
置换规则
强认证性质
WMN客户端与LTCA认证协议
通用性
在线阅读
下载PDF
职称材料
基于对换门库的可逆逻辑电路综合算法
2
作者
李志钢
陈汉武
+2 位作者
李志强
朱皖宁
刘志昊
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2012年第5期832-836,共5页
为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该...
为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该序列进行优化处理,获得相似度最高的对换序列;然后,逆序排列该对换序列,并基于对换门库生成可逆函数的初始电路;最后,应用电路门优化规则,对初始电路进行优化,得到最终的可逆逻辑电路.相比于其他算法,所提算法明显提高了可逆逻辑综合效率,其思想的简洁性使得算法更易于理解和实现.
展开更多
关键词
量子可逆逻辑综合
置换
群
规则
对换门库
优化
规则
在线阅读
下载PDF
职称材料
题名
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析
被引量：
5
1
作者
肖美华
李娅楠
宋佳雯
王西忠
李伟
钟小妹
机构
华东交通大学软件学院
中国铁建重工集团有限公司
出处
《计算机研究与发展》
EI
CSCD
北大核心
2019年第6期1275-1289,共15页
基金
国家自然科学基金项目(61163005,61562026)
江西省自然科学基金项目(20161BAB202063)
江西省主要学科学术和技术带头人资助计划项目(20172BCB22015)~~
文摘
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤,阐述事件逻辑理论证明协议安全属性过程,比较分析事件逻辑理论与其他逻辑推理方法,表明事件逻辑理论具有通用性.
关键词
事件类
事件逻辑理论
置换规则
强认证性质
WMN客户端与LTCA认证协议
通用性
Keywords
event classes
logic of events theory
substitution rule
strong authentication property
WMN client and LTCA authentication protocol
universal applicability
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
TN925.93 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
基于对换门库的可逆逻辑电路综合算法
2
作者
李志钢
陈汉武
李志强
朱皖宁
刘志昊
机构
东南大学计算机科学与工程学院
东南大学计算机网络和信息集成教育部重点实验室
扬州大学信息工程学院
出处
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2012年第5期832-836,共5页
基金
国家自然科学基金资助项目(60873101
61070240
+1 种基金
61170321)
高等学校博士学科点专项科研基金资助项目(20110092110024)
文摘
为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该序列进行优化处理,获得相似度最高的对换序列;然后,逆序排列该对换序列,并基于对换门库生成可逆函数的初始电路;最后,应用电路门优化规则,对初始电路进行优化,得到最终的可逆逻辑电路.相比于其他算法,所提算法明显提高了可逆逻辑综合效率,其思想的简洁性使得算法更易于理解和实现.
关键词
量子可逆逻辑综合
置换
群
规则
对换门库
优化
规则
Keywords
quantum reversible logic circuits synthesis
permutation group rules
transposition gate library
optimization rules
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于事件逻辑的WMN客户端与LTCA认证协议安全性分析
肖美华
李娅楠
宋佳雯
王西忠
李伟
钟小妹
《计算机研究与发展》
EI
CSCD
北大核心
2019
5
在线阅读
下载PDF
职称材料
2
基于对换门库的可逆逻辑电路综合算法
李志钢
陈汉武
李志强
朱皖宁
刘志昊
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
