说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> Dolev-Yao攻击者模型
1)  Dolev-Yao intruder model
Dolev-Yao攻击者模型
1.
Dolev-Yao intruder model are assumed, and based on state transition system, message and event are semantically encoded, protocol rule are defined by rewrite relation, and security properties are descripted by event set.
提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。
2)  Dolev-Yao model
Dolev-Yao模型
3)  The Attacker Model
攻击者模型
4)  Dolev-Yao non-malleability
Dolev-Yao刚性
5)  penetrator knowledge model
攻击者知识模型
1.
Via the study of this model,a penetrator knowledge model is built and an technique based on Strand Space is put forward.
通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。
6)  Dolev-Yao emulation
Dolev-Yao相似性
1.
In this paper the authors propose a novel theoretical framework to analyze cryptographic protocols covering almost all real-world non-free message algebras and against non-adaptive malicious adversaries,based-upon two novel concepts of "Dolev-Yao nonmalleability" and "Dolev-Yao emulation",techniques of symbolic extraction and semantic assignment.
文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性入侵能力之外的任何主动攻击者和大部分有实际意义的非自由消息代数的理论分析框架。
补充资料:掠夺者攻击机

布莱克本“掠夺者”(buccaneer)是 20 世纪 50年代中期设计的一种舰载低空海上攻击机。几十年间,它不仅在英国皇家海军航空兵(fleet air arm,faa)服役,而且还被皇家空军和南非空军采用,其服役生涯之长甚至超过了设计者原先的期望值。

1960 年 8 月 20 日,新飞机被赋予了正式名称:“掠夺者”,最早的型号被编号为“s mark1”(s.1),其中“s”(strike)代表这是一种攻击机。由于“掠夺者”项目是在极端机密的情况下进行的,因此早期它被隐讳地称为“bna”或者“bana”,代表“布莱克本海军飞机”(blackburn naval aircraft)或者“布莱克本先进海军飞机”(blackburn advanced naval aircraft),这个缩略语后来演变成“香蕉”(banana),“掠夺者”也就从此获得了“香蕉喷气机”的绰号。

全部 20 架预生产型飞机到 1961 年底之前都已经完成了首飞,但也蒙受了更多损失。1960 年 10 月,一架原型机在飞行过程中因为设备故障而坠毁,两名机组成员安全地弹射逃生。1961 年 8 月,另一架原型机在进行舰上试验时,在起飞过程中坠毁,两名机组成员因未能及时逃离飞机而溺水身亡。不过试飞项目总的来说进展顺利。第一架“掠夺者”于 1961 年 8 月交付给皇家海军。

主要型号:

“掠夺者”s.1: 最明显的特征是它特有的面积很小的圆形进气口。早期的原型机上安装有可收放的空中受油管,但在实际使用过程中情况并不理想,因此很快原来的位置上就被可拆卸的固定式受油管取而代之。

“掠夺者”s.2:早在“掠夺者”s.1 服役之前的 1959 年末,皇家海军就开始研究为“掠夺者”换装更好的发动机,新型号被称为“掠夺者”s.2。

“掠夺者”s.50:“掠夺者”出口南非的型号,南非的“掠夺者”编号为 s.50,它们与 s.2 基本相同,只做了一些小的改动。一些为舰上服役而安装的设备被拆除,包括自动折叠机翼用的液压装置,不过机翼仍然可以手动折叠。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条