| 分布式网络环境下密码协议形式模型和安全性 |
| |
| 引用本文： | 李先贤,怀进鹏. 分布式网络环境下密码协议形式模型和安全性[J]. 中国科学院大学学报, 2002, 19(3): 311-323. DOI: 10.7523/j.issn.2095-6134.2002.3.014 |
| |
| 作者姓名： | 李先贤 怀进鹏 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系, 北京 100083 |
| |
| 基金项目： | 国家自然科学基金;国家863计划基金资助 |
| |
| 摘 要： | 随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复杂,这使得密码协议的安全性描述和分析变得非常复杂.引入了一个新的代数系统刻画具有多种密码运算的消息代数,并提出了一个新的密码协议模型,描述了无边界网络中的攻击模式,通过建立形式语言规范了无边界网络环境下密码协议的运行环境和安全性质 该协议模型描述了一种“协同攻击”模式,并讨论了密码协议的安全性分析约简技术,给出一个新的安全自动分析过程的简要描述.
|
| 关 键 词： | 密码协议 形式化方法 信息安全 代数系统 |
| 收稿时间： | 2002-06-06 |
Brief Commentary on AES Modes of Operation |
| |
| LI Xian-Xian,HUAI Jin-Peng. Brief Commentary on AES Modes of Operation[J]. , 2002, 19(3): 311-323. DOI: 10.7523/j.issn.2095-6134.2002.3.014 |
| |
| Authors: | LI Xian-Xian HUAI Jin-Peng |
| |
| Affiliation: | Department of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083 |
| |
| Abstract: | A mode of operation is an algorithm that features the use of a block cipher to provide an information security service. In the process of calling modes for AES, NIST received 15 candidates. Author introduces the 15 Modes of Operation for AES and their design ideas and characteristics. |
| |
| Keywords: | AES modes of operation encryption authentication |
|
| 点击此处可从《中国科学院大学学报》浏览原始摘要信息 |
|
点击此处可从《中国科学院大学学报》下载全文 |
|
