-
题名Otway-Rees协议并行攻击的SG逻辑分析
被引量：1
- 1
-
-
作者
王小锐
陈连俊
季庆光
曹正君
-
机构
解放军信息工程大学电子技术学院
总参
中国科学院软件研究所信息安全国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第6期126-128,共3页
-
文摘
网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见。该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法——SG逻辑,应用它对改进版的Otway-Rees协议进行了分析,找出了BAN类逻辑所不能分析出来的缺陷,针对该缺陷给出了协议的进一步改进,并推证了改进后的协议对SG逻辑的分析是安全的。
-
关键词
sg逻辑
并行攻击
Otway—Rees协议
安全性分析
-
Keywords
sg logic
Interleaving attack
Otway-Rees protocol
Security analysis
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
-
题名低频长脉宽高压脉冲电源设计
- 2
-
-
作者
毛振宇
蒲世豪
陈东来
陈稳
-
机构
核工业西南物理研究院
-
出处
《真空》
CAS
2014年第5期22-24,共3页
-
文摘
本文针对离子注入工艺的特定要求,采用buck拓扑结构,以IGBT为斩波器件,并结合单片机与CPLD技术,研制了一种低频长脉宽的高压脉冲数字电源。通过离子注入试验并结合工艺研究验证了该电源的实用性和稳定性。
-
关键词
buck拓扑
单片机
CPLD
sg3525
脉冲变压器
-
Keywords
long pulse
buck topology
complex programmable logic device
sg3525
pulse transformer
-
分类号
TN86
[电子电信—信息与通信工程]
-
