期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
37
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
信息恐怖主义解析
被引量:
1
1
作者
杨世松
韩东
《国际论坛》
CSSCI
2004年第3期9-13,共5页
信息技术的发展为恐怖分子提供了新的活动工具与平台 ,恐怖主义活动正由物理空间向信息空间延伸 ,信息恐怖主义在这种背景下逐渐形成 ,信息领域反恐成为世界各国人民面临的重要任务。本文以信息恐怖主义的定义为逻辑起点 ,对信息恐怖主...
信息技术的发展为恐怖分子提供了新的活动工具与平台 ,恐怖主义活动正由物理空间向信息空间延伸 ,信息恐怖主义在这种背景下逐渐形成 ,信息领域反恐成为世界各国人民面临的重要任务。本文以信息恐怖主义的定义为逻辑起点 ,对信息恐怖主义的出现及前提条件、活动特征及表现、发展趋势及各国应对措施作了深入的分析与论述。
展开更多
关键词
信息空间
恐怖主义
解析
在线阅读
下载PDF
职称材料
移动代理的安全解决方案
被引量:
7
2
作者
王惠芳
郭中
+1 位作者
黄永忠
郭金庚
《计算机工程》
CAS
CSCD
北大核心
2002年第1期153-155,共3页
移动计算模式必将成为未来的主流分布计算模式。但由于伴随它的诸多安全问题,其优势还未得到应用。文章给出了移动Agent的主要安全问题,并提出了解决方案。
关键词
移动代理
移动AGENT
网络安全
计算机网络
在线阅读
下载PDF
职称材料
虚拟专用网的设计及安全性分析
被引量:
7
3
作者
王惠芳
周保群
熊选东
《计算机工程》
CAS
CSCD
北大核心
2001年第6期88-90,共3页
安全虚拟专用网是一种有着广泛应用前景的技术。着重介绍了一种虚拟专用网的实现方案,详细分析了此系统的各个组成部分,并对整个系统的安全性进行了分析。
关键词
虚拟专用网
安全策略
安全性分析
路由器
局域网
计算机
在线阅读
下载PDF
职称材料
可定制的安全操作系统内核
被引量:
4
4
作者
施军
朱鲁华
+1 位作者
尤晋元
沈昌祥
《计算机工程》
CAS
CSCD
北大核心
2001年第8期66-68,142,共4页
随着因特网的高速发展,安全问题显得日益严重。而计算机操作系统是信息系统的安全基础,但传统的操作系统安全机制已缺乏足够的灵活性,不能提供可根据具体应用系统配置特定安全策略的机制。提出了一种可定制的安全操作系统内核机制,...
随着因特网的高速发展,安全问题显得日益严重。而计算机操作系统是信息系统的安全基础,但传统的操作系统安全机制已缺乏足够的灵活性,不能提供可根据具体应用系统配置特定安全策略的机制。提出了一种可定制的安全操作系统内核机制,用户可使用基于规则,面向事件的高层定义语言来描述安全策略而无需关心底层细节。系统具有良好的适应能力,可支持广泛的安全策略的实现。
展开更多
关键词
操作系统
安全内核
事件管理器
计算机
信息安全
在线阅读
下载PDF
职称材料
Modem与局域网安全研究
被引量:
3
5
作者
寇晓蕤
颜学雄
王清贤
《计算机工程与应用》
CSCD
北大核心
2003年第3期161-164,共4页
该文讨论了与Modem有关的局域网安全问题。局域网内的用户如果通过Modem拨号连入Internet,将是黑客打开入侵网络的另外一条通道。该文深入分析了这个安全隐患的实质、起因、危害,给出了预防该隐患的安全措施,并针对该隐患介绍了笔者研...
该文讨论了与Modem有关的局域网安全问题。局域网内的用户如果通过Modem拨号连入Internet,将是黑客打开入侵网络的另外一条通道。该文深入分析了这个安全隐患的实质、起因、危害,给出了预防该隐患的安全措施,并针对该隐患介绍了笔者研发的一个安全软件C-Cat。最后,文章就网络安全的实质提出了自己的一些观点。
展开更多
关键词
局域网
调制解调器
网络安全
网络攻击
最薄弱环节公理
在线阅读
下载PDF
职称材料
安全多播环境的研究与构造
6
作者
蔡延荣
周伟
+1 位作者
尹青
王清贤
《计算机工程与应用》
CSCD
北大核心
2002年第14期155-157,共3页
文章简介多播的安全问题及其研究现状,分析决定多播安全机制的因素,提出安全多播参考框架及其实现模型与机制,保障类似于视频会议的大型多播组的安全。
关键词
多播安全
参考框架
安全机制
INTERNET
密钥
在线阅读
下载PDF
职称材料
基于LKH树的安全多播密钥管理
7
作者
王育勤
谢余强
蔡延荣
《计算机工程与应用》
CSCD
北大核心
2002年第9期131-132,179,共3页
简要介绍安全多播中的密钥管理问题,重点描述基于LKH树的安全多播密钥管理机制及其实现。
关键词
多播安全
密钥管理
逻辑密钥树
LKH树
网络安全
计算机网络
在线阅读
下载PDF
职称材料
安全多播系统中的密码API
8
作者
康绯
蔡延荣
周伟
《计算机工程与应用》
CSCD
北大核心
2002年第11期181-183,共3页
密码技术的应用领域不断扩大。如何为非密码专业的编程人员提供清晰、简单而通用的密码API,是密码技术得以在信息安全系统中推广应用的关键因素。文章描述了安全多播系统中的密码API的设计与实现,并讨论了密码算法实现中的优化问题。
关键词
信息安全
公钥密码算法
安全多播系统
密码
API
在线阅读
下载PDF
职称材料
无条件安全的动态会议认证系统及构造
9
作者
杜庆灵
张利民
《计算机工程与应用》
CSCD
北大核心
2003年第8期177-179,共3页
文章研究了网络安全中重要的两类认证系统:动态会议认证系统,以及网络拓扑结构不是完全图的认证系统———通信图认证系统。说明了他们在某一安全水平下用户密钥空间的大小,并给出了前一类认证系统的具体构造。
关键词
认证码
动态会议
通信图
在线阅读
下载PDF
职称材料
具有双向身份认证的量子密钥分发协议
被引量:
14
10
作者
江英华
张仕斌
+2 位作者
昌燕
杨帆
杨敏
《量子电子学报》
CAS
CSCD
北大核心
2018年第1期49-53,共5页
基于Bell态的纠缠特性,提出了一种可以进行双向身份认证的量子密钥分发协议。与传统量子密钥分发协议相比,该协议有零知识性,能进行双向身份认证,进行一次量子序列传输就能同时完成身份认证与密钥分发。结果表明所提出的量子密钥分发协...
基于Bell态的纠缠特性,提出了一种可以进行双向身份认证的量子密钥分发协议。与传统量子密钥分发协议相比,该协议有零知识性,能进行双向身份认证,进行一次量子序列传输就能同时完成身份认证与密钥分发。结果表明所提出的量子密钥分发协议能抵御截获/重发攻击及中间人攻击等一系列攻击。
展开更多
关键词
量子光学
双向身份认证
零知识证明
BELL态
密钥分发
在线阅读
下载PDF
职称材料
SYN_Flooding攻击原理及预防方法
被引量:
24
11
作者
颜学雄
王清贤
李梅林
《计算机应用》
CSCD
2000年第8期41-43,共3页
:SYN—Flooding攻击是一种拒绝服务攻击。文中分析了SYN—Flooding攻击的原理 ,探讨了一些解决办法 ,重点论述了基于监控方式的预防方法。该方法给数据的源地址赋予不同的状态 ,根据源地址的状态来处理不同的数据包。
关键词
SYN-Flooding攻击
监控
预防
防火墙
在线阅读
下载PDF
职称材料
Linux下IPsec协议的实现
被引量:
7
12
作者
汤隽
赵荣彩
李超
《计算机应用》
CSCD
北大核心
2002年第6期69-71,共3页
IPsec协议广泛地应用于防火墙和安全网关中 ,IPsec协议的处理将会大大增加网关的负载。因此 ,IPsec的实现要特别注意效率问题。文中首先简述IPsec协议规范 ,然后提出在Linux操作系统下如何实现IPsec协议 。
关键词
安全标准
操作系统
通信协议
网络协议
INTERNET
在线阅读
下载PDF
职称材料
离散广义系统的静态输出反馈H_(∞)控制
被引量:
7
13
作者
董心壮
张庆灵
郭凯
《东北大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2002年第11期1037-1039,共3页
考虑离散广义系统的静态输出反馈H∞控制问题·利用线性矩阵不等式和广义Riccati不等式给出离散广义系统存在静态输出反馈H∞控制器,使得闭环系统是容许的并且其传递函数矩阵满足H∞范数约束条件的充分必要条件·在适当的假设...
考虑离散广义系统的静态输出反馈H∞控制问题·利用线性矩阵不等式和广义Riccati不等式给出离散广义系统存在静态输出反馈H∞控制器,使得闭环系统是容许的并且其传递函数矩阵满足H∞范数约束条件的充分必要条件·在适当的假设下给出静态输出反馈H∞控制器存在的必要条件,并在一定条件下得到静态输出反馈H∞控制器存在的充分条件,同时给出相应的控制器构造·
展开更多
关键词
离散广义系统
H_(∞)范数
线性矩阵不等式
广义Riccati不等式
静态输出反馈
在线阅读
下载PDF
职称材料
离散广义系统基于动态输出反馈的H_∞控制
被引量:
8
14
作者
董心壮
张庆灵
郭凯
《系统工程与电子技术》
EI
CSCD
北大核心
2003年第8期977-979,1036,共4页
考虑离散广义系统的动态输出反馈H∞ 控制问题。利用广义代数Riccati不等式 (GARI) ,给出离散广义系统存在正常动态输出反馈H∞ 控制器、使得闭环系统是容许的 ,且其从外界干扰输入到受控输出的传递函数矩阵具有H∞ 范数约束的充分必要...
考虑离散广义系统的动态输出反馈H∞ 控制问题。利用广义代数Riccati不等式 (GARI) ,给出离散广义系统存在正常动态输出反馈H∞ 控制器、使得闭环系统是容许的 ,且其从外界干扰输入到受控输出的传递函数矩阵具有H∞ 范数约束的充分必要条件。在适当的假设下 ,得到了正常动态输出反馈H∞ 控制器存在的必要条件以及一个充分条件 ,同时给出了相应的控制器构造 。
展开更多
关键词
离散广义系统
H∞范数
广义Riccati不等式
动态输出反馈
在线阅读
下载PDF
职称材料
“停走”生成器输出序列的马氏性与平稳性
被引量:
7
15
作者
黄晓英
李世取
《工程数学学报》
CSCD
北大核心
2001年第2期102-106,共5页
本文首先建立了“停走”生成器输出序列的概率模型 ,讨论了由这类序列构成的随机变量序列的概率分布、独立性和相关性等概率性质。通过求得两种随机变量的联合分布的表达式 ,证明了此类随机变量序列是强平稳的齐次马尔科夫链。
关键词
“停走”生成器
随机变量
联合分布
马尔科夫链
概率模型
平衡性
钟控序列
在线阅读
下载PDF
职称材料
不确定组合大系统的自适应分散镇定控制
被引量:
4
16
作者
刘粉林
吴灏
+1 位作者
刘媛
张嗣瀛
《自动化学报》
EI
CSCD
北大核心
2002年第3期435-440,共6页
考虑具有非线性关联作用的不确定时变线性组合大系统的自适应分散镇定问题 .针对系统不确定界完全未知的情形 ,首先从理论上证明了可设计自适应鲁棒分散控制器确保受控系统渐近稳定 ;进而从工程实际应用的角度 ,给出了确保受控系统实用...
考虑具有非线性关联作用的不确定时变线性组合大系统的自适应分散镇定问题 .针对系统不确定界完全未知的情形 ,首先从理论上证明了可设计自适应鲁棒分散控制器确保受控系统渐近稳定 ;进而从工程实际应用的角度 ,给出了确保受控系统实用稳定的自适应鲁棒分散控制器的设计方案 .
展开更多
关键词
不确定组合大系统
自适应分散镇定控制
渐近稳定
实用稳定
在线阅读
下载PDF
职称材料
基于状态观测器的非理想输入不确定组合大系统的输出反馈分散镇定
被引量:
3
17
作者
刘粉林
刘媛
+1 位作者
王银河
张嗣瀛
《控制理论与应用》
EI
CAS
CSCD
北大核心
2001年第1期21-25,30,共6页
基于状态观测器 ,讨论了不确定相似组合系统的鲁棒分散输出反馈镇定问题 ,系统的输入是非理想的 ,不确定项存在于系统内部和各子系统的关联项中 ,它们可能是非线性或时变的 ,且满足通常的匹配条件 .使用变结构原理设计控制器 ,所设计的...
基于状态观测器 ,讨论了不确定相似组合系统的鲁棒分散输出反馈镇定问题 ,系统的输入是非理想的 ,不确定项存在于系统内部和各子系统的关联项中 ,它们可能是非线性或时变的 ,且满足通常的匹配条件 .使用变结构原理设计控制器 ,所设计的控制器保证系统渐近稳定 .研究结果表明 ,系统的相似性有助于简化对系统的分析和设计 ;仿真结果表明 。
展开更多
关键词
输出反馈
状态观测器
不确定组合大系统
镇定
在线阅读
下载PDF
职称材料
用BAN逻辑方法分析SSL 3.0协议
被引量:
6
18
作者
王惠芳
郭金庚
《计算机工程》
CAS
CSCD
北大核心
2001年第11期147-149,共3页
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞。BAN逻辑是目前使用最广泛的。文章介绍了BAN逻辑和SSL3.0协议,并给出了用BAN逻辑分析SSL3.0协议的详细过程。
关键词
形式化分析
密码协议
BAN逻辑
SSL3.0协议
在线阅读
下载PDF
职称材料
广义部分Bent函数和广义Bent函数的关系
被引量:
5
19
作者
赵亚群
李世取
《高校应用数学学报(A辑)》
CSCD
北大核心
2001年第2期243-247,共5页
Bent函数是一类特殊的布尔函数 ,因其非线性性和稳定性在密码学和通信等领域有很重要的应用 .但它们数量少、不平衡且无相关免疫性 .为了弥补Bent函数的不足 ,Claud Carlet提出了部分 Bent函数的概念 ,部分 Bent函数是包含 Bent函数的...
Bent函数是一类特殊的布尔函数 ,因其非线性性和稳定性在密码学和通信等领域有很重要的应用 .但它们数量少、不平衡且无相关免疫性 .为了弥补Bent函数的不足 ,Claud Carlet提出了部分 Bent函数的概念 ,部分 Bent函数是包含 Bent函数的更大的函数类 .后来 ,人们又将这两种函数概念先后都拓广到了环znm(m为正整数 )上 ,分别被称为 znm 上的广义 Bent函数和广义部分 Bent函数 .本文利用 znp(p为素数 )上广义部分 Bent函数的 Chrestenson循环谱特征讨论了 znp上的广义部分 Bent函数和广义 Bent函数之间的关系 。
展开更多
关键词
p-值逻辑函数
广义BENT函数
Chrestenson循环谱
谱特征
广义部分Bent函数
布尔函数
在线阅读
下载PDF
职称材料
具滞后的离散广义系统的无源控制
被引量:
3
20
作者
董心壮
张庆灵
郭凯
《电机与控制学报》
EI
CSCD
北大核心
2003年第3期232-234,247,共4页
将无源的概念引入到滞后离散广义系统中,进而研究具滞后的离散广义系统在有界能量外部输入作用下的无源控制问题。基于广义Lyapunov函数,利用线性矩阵不等式和广义代数Riccati不等式,首先给出具滞后的离散广义系统E-渐进稳定且具有无源...
将无源的概念引入到滞后离散广义系统中,进而研究具滞后的离散广义系统在有界能量外部输入作用下的无源控制问题。基于广义Lyapunov函数,利用线性矩阵不等式和广义代数Riccati不等式,首先给出具滞后的离散广义系统E-渐进稳定且具有无源性的充分条件,然后在此基础上,得到存在状态反馈控制器,使得闭环系统E-渐近稳定且具有无源性的充分条件,并且由矩阵不等式的解给出相应的控制器构造方法。最后的数值算例说明了文中结论的有效性。
展开更多
关键词
离散广义系统
无源控制
鲁棒控制
非线性控制
在线阅读
下载PDF
职称材料
题名
信息恐怖主义解析
被引量:
1
1
作者
杨世松
韩东
机构
解放军
信息工程大学信息安全学院
指挥管理教研室
解放军
信息工程大学信息安全学院
出处
《国际论坛》
CSSCI
2004年第3期9-13,共5页
文摘
信息技术的发展为恐怖分子提供了新的活动工具与平台 ,恐怖主义活动正由物理空间向信息空间延伸 ,信息恐怖主义在这种背景下逐渐形成 ,信息领域反恐成为世界各国人民面临的重要任务。本文以信息恐怖主义的定义为逻辑起点 ,对信息恐怖主义的出现及前提条件、活动特征及表现、发展趋势及各国应对措施作了深入的分析与论述。
关键词
信息空间
恐怖主义
解析
分类号
D51 [政治法律—国际政治]
在线阅读
下载PDF
职称材料
题名
移动代理的安全解决方案
被引量:
7
2
作者
王惠芳
郭中
黄永忠
郭金庚
机构
信息工程大学信息安全学院
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第1期153-155,共3页
基金
解放军三部攀登工程项目
文摘
移动计算模式必将成为未来的主流分布计算模式。但由于伴随它的诸多安全问题,其优势还未得到应用。文章给出了移动Agent的主要安全问题,并提出了解决方案。
关键词
移动代理
移动AGENT
网络安全
计算机网络
Keywords
Distributed systemMobile agentSecurity
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
虚拟专用网的设计及安全性分析
被引量:
7
3
作者
王惠芳
周保群
熊选东
机构
信息工程大学信息安全学院
信息
工程
大学
电子技术
学院
研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第6期88-90,共3页
文摘
安全虚拟专用网是一种有着广泛应用前景的技术。着重介绍了一种虚拟专用网的实现方案,详细分析了此系统的各个组成部分,并对整个系统的安全性进行了分析。
关键词
虚拟专用网
安全策略
安全性分析
路由器
局域网
计算机
Keywords
Visual private network (VPN)
IP-pack crypto-machine
Secure policy
Identity verification protocol
Replay attack
Pseudo attack
分类号
TP393.1 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
可定制的安全操作系统内核
被引量:
4
4
作者
施军
朱鲁华
尤晋元
沈昌祥
机构
上海交通
大学
计算机科学与
工程
系
解放军
信息工程大学信息安全学院
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第8期66-68,142,共4页
基金
973课题"信息与网络安全体系结构研究"(G1999035801)
文摘
随着因特网的高速发展,安全问题显得日益严重。而计算机操作系统是信息系统的安全基础,但传统的操作系统安全机制已缺乏足够的灵活性,不能提供可根据具体应用系统配置特定安全策略的机制。提出了一种可定制的安全操作系统内核机制,用户可使用基于规则,面向事件的高层定义语言来描述安全策略而无需关心底层细节。系统具有良好的适应能力,可支持广泛的安全策略的实现。
关键词
操作系统
安全内核
事件管理器
计算机
信息安全
Keywords
Operating system
Secure kernel
Rules
Event
Customization
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
Modem与局域网安全研究
被引量:
3
5
作者
寇晓蕤
颜学雄
王清贤
机构
信息工程大学信息安全学院
网络
工程
系
出处
《计算机工程与应用》
CSCD
北大核心
2003年第3期161-164,共4页
文摘
该文讨论了与Modem有关的局域网安全问题。局域网内的用户如果通过Modem拨号连入Internet,将是黑客打开入侵网络的另外一条通道。该文深入分析了这个安全隐患的实质、起因、危害,给出了预防该隐患的安全措施,并针对该隐患介绍了笔者研发的一个安全软件C-Cat。最后,文章就网络安全的实质提出了自己的一些观点。
关键词
局域网
调制解调器
网络安全
网络攻击
最薄弱环节公理
Keywords
Network Security,Local Network Security,Network Attack,Weakest Link Axiom,Modem
分类号
TN915.05 [电子电信—通信与信息系统]
TP393.1 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
安全多播环境的研究与构造
6
作者
蔡延荣
周伟
尹青
王清贤
机构
信息工程大学信息安全学院
网络
工程
系
出处
《计算机工程与应用》
CSCD
北大核心
2002年第14期155-157,共3页
基金
国家重点基础研究发展规划项目(编号:G1999032700)资助
文摘
文章简介多播的安全问题及其研究现状,分析决定多播安全机制的因素,提出安全多播参考框架及其实现模型与机制,保障类似于视频会议的大型多播组的安全。
关键词
多播安全
参考框架
安全机制
INTERNET
密钥
Keywords
Multicast Security,Reference Framework,Security Mechanism
分类号
TP393.4 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于LKH树的安全多播密钥管理
7
作者
王育勤
谢余强
蔡延荣
机构
信息工程大学信息安全学院
出处
《计算机工程与应用》
CSCD
北大核心
2002年第9期131-132,179,共3页
基金
国家重点基础研究发展规划项目"网络环境下海量信息组织与处理的理论与方法研究"(编号:G199032700)
文摘
简要介绍安全多播中的密钥管理问题,重点描述基于LKH树的安全多播密钥管理机制及其实现。
关键词
多播安全
密钥管理
逻辑密钥树
LKH树
网络安全
计算机网络
Keywords
Multicast Security,Key Management ,Logical Key Hierarchy
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
安全多播系统中的密码API
8
作者
康绯
蔡延荣
周伟
机构
信息工程大学信息安全学院
出处
《计算机工程与应用》
CSCD
北大核心
2002年第11期181-183,共3页
基金
国家973重点基础研究发展规划项目(项目编号:G1999032700
课题编号:G1999032710)
文摘
密码技术的应用领域不断扩大。如何为非密码专业的编程人员提供清晰、简单而通用的密码API,是密码技术得以在信息安全系统中推广应用的关键因素。文章描述了安全多播系统中的密码API的设计与实现,并讨论了密码算法实现中的优化问题。
关键词
信息安全
公钥密码算法
安全多播系统
密码
API
Keywords
Secure Multica st System,Cryptographic Technology,Cryptographic API
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
无条件安全的动态会议认证系统及构造
9
作者
杜庆灵
张利民
机构
中国人民解放军
信息工程大学信息安全学院
出处
《计算机工程与应用》
CSCD
北大核心
2003年第8期177-179,共3页
基金
国家"九五"密码发展基金资助课题
文摘
文章研究了网络安全中重要的两类认证系统:动态会议认证系统,以及网络拓扑结构不是完全图的认证系统———通信图认证系统。说明了他们在某一安全水平下用户密钥空间的大小,并给出了前一类认证系统的具体构造。
关键词
认证码
动态会议
通信图
Keywords
Authentication code,Dynamic conference,Communication graph
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
具有双向身份认证的量子密钥分发协议
被引量:
14
10
作者
江英华
张仕斌
昌燕
杨帆
杨敏
机构
成都
信息工程大学信息安全学院
出处
《量子电子学报》
CAS
CSCD
北大核心
2018年第1期49-53,共5页
基金
国家自然科学基金
61572086
61402058~~
文摘
基于Bell态的纠缠特性,提出了一种可以进行双向身份认证的量子密钥分发协议。与传统量子密钥分发协议相比,该协议有零知识性,能进行双向身份认证,进行一次量子序列传输就能同时完成身份认证与密钥分发。结果表明所提出的量子密钥分发协议能抵御截获/重发攻击及中间人攻击等一系列攻击。
关键词
量子光学
双向身份认证
零知识证明
BELL态
密钥分发
Keywords
quantum optics
two-way identity authentication
zero-knowledge proof
Bell state
key distribution
分类号
O431.2 [机械工程—光学工程]
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
SYN_Flooding攻击原理及预防方法
被引量:
24
11
作者
颜学雄
王清贤
李梅林
机构
信息工程大学信息安全学院
出处
《计算机应用》
CSCD
2000年第8期41-43,共3页
文摘
:SYN—Flooding攻击是一种拒绝服务攻击。文中分析了SYN—Flooding攻击的原理 ,探讨了一些解决办法 ,重点论述了基于监控方式的预防方法。该方法给数据的源地址赋予不同的状态 ,根据源地址的状态来处理不同的数据包。
关键词
SYN-Flooding攻击
监控
预防
防火墙
Keywords
SYN_Flooding
monitoring and controlling
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
Linux下IPsec协议的实现
被引量:
7
12
作者
汤隽
赵荣彩
李超
机构
信息工程大学信息安全学院
出处
《计算机应用》
CSCD
北大核心
2002年第6期69-71,共3页
文摘
IPsec协议广泛地应用于防火墙和安全网关中 ,IPsec协议的处理将会大大增加网关的负载。因此 ,IPsec的实现要特别注意效率问题。文中首先简述IPsec协议规范 ,然后提出在Linux操作系统下如何实现IPsec协议 。
关键词
安全标准
操作系统
通信协议
网络协议
INTERNET
分类号
TN915.04 [电子电信—通信与信息系统]
TP393.4 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
离散广义系统的静态输出反馈H_(∞)控制
被引量:
7
13
作者
董心壮
张庆灵
郭凯
机构
东北
大学
理
学院
解放军
信息工程大学信息安全学院
出处
《东北大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2002年第11期1037-1039,共3页
基金
教育部骨干教师基金资助项目
文摘
考虑离散广义系统的静态输出反馈H∞控制问题·利用线性矩阵不等式和广义Riccati不等式给出离散广义系统存在静态输出反馈H∞控制器,使得闭环系统是容许的并且其传递函数矩阵满足H∞范数约束条件的充分必要条件·在适当的假设下给出静态输出反馈H∞控制器存在的必要条件,并在一定条件下得到静态输出反馈H∞控制器存在的充分条件,同时给出相应的控制器构造·
关键词
离散广义系统
H_(∞)范数
线性矩阵不等式
广义Riccati不等式
静态输出反馈
Keywords
discrete singular system
H_(∞) norm
linear matrix inequality
generalized algebraic Riccati inequality
static output feedback
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
O231 [理学—运筹学与控制论]
在线阅读
下载PDF
职称材料
题名
离散广义系统基于动态输出反馈的H_∞控制
被引量:
8
14
作者
董心壮
张庆灵
郭凯
机构
东北
大学
理
学院
解放军
信息工程大学信息安全学院
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2003年第8期977-979,1036,共4页
基金
教育部博士点基金
辽宁省科技厅基金资助课题
文摘
考虑离散广义系统的动态输出反馈H∞ 控制问题。利用广义代数Riccati不等式 (GARI) ,给出离散广义系统存在正常动态输出反馈H∞ 控制器、使得闭环系统是容许的 ,且其从外界干扰输入到受控输出的传递函数矩阵具有H∞ 范数约束的充分必要条件。在适当的假设下 ,得到了正常动态输出反馈H∞ 控制器存在的必要条件以及一个充分条件 ,同时给出了相应的控制器构造 。
关键词
离散广义系统
H∞范数
广义Riccati不等式
动态输出反馈
Keywords
Discrete singular system
H-∞ norm
Generalized algebraic Riccati inequality
Dynamic output feedback
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
O231 [理学—运筹学与控制论]
在线阅读
下载PDF
职称材料
题名
“停走”生成器输出序列的马氏性与平稳性
被引量:
7
15
作者
黄晓英
李世取
机构
信息工程大学信息安全学院
信息
研究系
出处
《工程数学学报》
CSCD
北大核心
2001年第2期102-106,共5页
文摘
本文首先建立了“停走”生成器输出序列的概率模型 ,讨论了由这类序列构成的随机变量序列的概率分布、独立性和相关性等概率性质。通过求得两种随机变量的联合分布的表达式 ,证明了此类随机变量序列是强平稳的齐次马尔科夫链。
关键词
“停走”生成器
随机变量
联合分布
马尔科夫链
概率模型
平衡性
钟控序列
分类号
O211.62 [理学—概率论与数理统计]
在线阅读
下载PDF
职称材料
题名
不确定组合大系统的自适应分散镇定控制
被引量:
4
16
作者
刘粉林
吴灏
刘媛
张嗣瀛
机构
解放军
信息工程大学信息安全学院
东北
大学
信息
科学与
工程
学院
出处
《自动化学报》
EI
CSCD
北大核心
2002年第3期435-440,共6页
基金
国家自然科学基金 ( 970 1 4 5 0 8)
教育部博士点基金
+3 种基金
国家攀登计划
河南省高校杰出科研人材创新工程项目( 2 0 0 1 KYCX0 0 7)
河南省自然科学基金 ( 0 1 1 1 0 6 0 1 0 0 )
河南省软科学项目 ( 0 1 1 30 1 1 80 0 )资助
文摘
考虑具有非线性关联作用的不确定时变线性组合大系统的自适应分散镇定问题 .针对系统不确定界完全未知的情形 ,首先从理论上证明了可设计自适应鲁棒分散控制器确保受控系统渐近稳定 ;进而从工程实际应用的角度 ,给出了确保受控系统实用稳定的自适应鲁棒分散控制器的设计方案 .
关键词
不确定组合大系统
自适应分散镇定控制
渐近稳定
实用稳定
Keywords
Large-scale composite systems, unknown bounds of uncertainties, adaptive control, asymptotically stable, practically stable
分类号
TP273.22 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
基于状态观测器的非理想输入不确定组合大系统的输出反馈分散镇定
被引量:
3
17
作者
刘粉林
刘媛
王银河
张嗣瀛
机构
解放军
信息工程大学信息安全学院
东北
大学
自动控制系
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2001年第1期21-25,30,共6页
基金
国家自然科学基金! (6 97740 0 5 )
国家教委博士点基金! (970 14 5 0 8)
国家攀登计划资助项目
文摘
基于状态观测器 ,讨论了不确定相似组合系统的鲁棒分散输出反馈镇定问题 ,系统的输入是非理想的 ,不确定项存在于系统内部和各子系统的关联项中 ,它们可能是非线性或时变的 ,且满足通常的匹配条件 .使用变结构原理设计控制器 ,所设计的控制器保证系统渐近稳定 .研究结果表明 ,系统的相似性有助于简化对系统的分析和设计 ;仿真结果表明 。
关键词
输出反馈
状态观测器
不确定组合大系统
镇定
Keywords
imperfect inputs
similar composite system
decentralized variable structure control
output feedback
state observer
分类号
TP11 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
用BAN逻辑方法分析SSL 3.0协议
被引量:
6
18
作者
王惠芳
郭金庚
机构
信息工程大学信息安全学院
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第11期147-149,共3页
文摘
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞。BAN逻辑是目前使用最广泛的。文章介绍了BAN逻辑和SSL3.0协议,并给出了用BAN逻辑分析SSL3.0协议的详细过程。
关键词
形式化分析
密码协议
BAN逻辑
SSL3.0协议
Keywords
Formal analysis of cryptographic protocol
BAN logic
SSL3.0 protocol
分类号
TN918.2 [电子电信—通信与信息系统]
TN915.04 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
广义部分Bent函数和广义Bent函数的关系
被引量:
5
19
作者
赵亚群
李世取
机构
郑州
信息工程大学信息安全学院
应用数学系
出处
《高校应用数学学报(A辑)》
CSCD
北大核心
2001年第2期243-247,共5页
文摘
Bent函数是一类特殊的布尔函数 ,因其非线性性和稳定性在密码学和通信等领域有很重要的应用 .但它们数量少、不平衡且无相关免疫性 .为了弥补Bent函数的不足 ,Claud Carlet提出了部分 Bent函数的概念 ,部分 Bent函数是包含 Bent函数的更大的函数类 .后来 ,人们又将这两种函数概念先后都拓广到了环znm(m为正整数 )上 ,分别被称为 znm 上的广义 Bent函数和广义部分 Bent函数 .本文利用 znp(p为素数 )上广义部分 Bent函数的 Chrestenson循环谱特征讨论了 znp上的广义部分 Bent函数和广义 Bent函数之间的关系 。
关键词
p-值逻辑函数
广义BENT函数
Chrestenson循环谱
谱特征
广义部分Bent函数
布尔函数
Keywords
p-valued Logical Function
Generalized Bent Function
Chrestenson Cyclic Spectrum
Spectral Characteristic
Generalized Partially Bent Function
分类号
O153.2 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
具滞后的离散广义系统的无源控制
被引量:
3
20
作者
董心壮
张庆灵
郭凯
机构
东北
大学
理
学院
解放军
信息工程大学信息安全学院
出处
《电机与控制学报》
EI
CSCD
北大核心
2003年第3期232-234,247,共4页
基金
教育部骨干教师基金
文摘
将无源的概念引入到滞后离散广义系统中,进而研究具滞后的离散广义系统在有界能量外部输入作用下的无源控制问题。基于广义Lyapunov函数,利用线性矩阵不等式和广义代数Riccati不等式,首先给出具滞后的离散广义系统E-渐进稳定且具有无源性的充分条件,然后在此基础上,得到存在状态反馈控制器,使得闭环系统E-渐近稳定且具有无源性的充分条件,并且由矩阵不等式的解给出相应的控制器构造方法。最后的数值算例说明了文中结论的有效性。
关键词
离散广义系统
无源控制
鲁棒控制
非线性控制
Keywords
passive control
discrete singular systems with time-delay
E-asymptotical stability
state feedback
分类号
TP271.8 [自动化与计算机技术—检测技术与自动化装置]
O231 [理学—运筹学与控制论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
信息恐怖主义解析
杨世松
韩东
《国际论坛》
CSSCI
2004
1
在线阅读
下载PDF
职称材料
2
移动代理的安全解决方案
王惠芳
郭中
黄永忠
郭金庚
《计算机工程》
CAS
CSCD
北大核心
2002
7
在线阅读
下载PDF
职称材料
3
虚拟专用网的设计及安全性分析
王惠芳
周保群
熊选东
《计算机工程》
CAS
CSCD
北大核心
2001
7
在线阅读
下载PDF
职称材料
4
可定制的安全操作系统内核
施军
朱鲁华
尤晋元
沈昌祥
《计算机工程》
CAS
CSCD
北大核心
2001
4
在线阅读
下载PDF
职称材料
5
Modem与局域网安全研究
寇晓蕤
颜学雄
王清贤
《计算机工程与应用》
CSCD
北大核心
2003
3
在线阅读
下载PDF
职称材料
6
安全多播环境的研究与构造
蔡延荣
周伟
尹青
王清贤
《计算机工程与应用》
CSCD
北大核心
2002
0
在线阅读
下载PDF
职称材料
7
基于LKH树的安全多播密钥管理
王育勤
谢余强
蔡延荣
《计算机工程与应用》
CSCD
北大核心
2002
0
在线阅读
下载PDF
职称材料
8
安全多播系统中的密码API
康绯
蔡延荣
周伟
《计算机工程与应用》
CSCD
北大核心
2002
0
在线阅读
下载PDF
职称材料
9
无条件安全的动态会议认证系统及构造
杜庆灵
张利民
《计算机工程与应用》
CSCD
北大核心
2003
0
在线阅读
下载PDF
职称材料
10
具有双向身份认证的量子密钥分发协议
江英华
张仕斌
昌燕
杨帆
杨敏
《量子电子学报》
CAS
CSCD
北大核心
2018
14
在线阅读
下载PDF
职称材料
11
SYN_Flooding攻击原理及预防方法
颜学雄
王清贤
李梅林
《计算机应用》
CSCD
2000
24
在线阅读
下载PDF
职称材料
12
Linux下IPsec协议的实现
汤隽
赵荣彩
李超
《计算机应用》
CSCD
北大核心
2002
7
在线阅读
下载PDF
职称材料
13
离散广义系统的静态输出反馈H_(∞)控制
董心壮
张庆灵
郭凯
《东北大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2002
7
在线阅读
下载PDF
职称材料
14
离散广义系统基于动态输出反馈的H_∞控制
董心壮
张庆灵
郭凯
《系统工程与电子技术》
EI
CSCD
北大核心
2003
8
在线阅读
下载PDF
职称材料
15
“停走”生成器输出序列的马氏性与平稳性
黄晓英
李世取
《工程数学学报》
CSCD
北大核心
2001
7
在线阅读
下载PDF
职称材料
16
不确定组合大系统的自适应分散镇定控制
刘粉林
吴灏
刘媛
张嗣瀛
《自动化学报》
EI
CSCD
北大核心
2002
4
在线阅读
下载PDF
职称材料
17
基于状态观测器的非理想输入不确定组合大系统的输出反馈分散镇定
刘粉林
刘媛
王银河
张嗣瀛
《控制理论与应用》
EI
CAS
CSCD
北大核心
2001
3
在线阅读
下载PDF
职称材料
18
用BAN逻辑方法分析SSL 3.0协议
王惠芳
郭金庚
《计算机工程》
CAS
CSCD
北大核心
2001
6
在线阅读
下载PDF
职称材料
19
广义部分Bent函数和广义Bent函数的关系
赵亚群
李世取
《高校应用数学学报(A辑)》
CSCD
北大核心
2001
5
在线阅读
下载PDF
职称材料
20
具滞后的离散广义系统的无源控制
董心壮
张庆灵
郭凯
《电机与控制学报》
EI
CSCD
北大核心
2003
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部