收稿日期: 2002-06-06
网络出版日期: 2002-05-18
基金资助
国家自然科学基金;国家863计划基金资助
Brief Commentary on AES Modes of Operation
Received date: 2002-06-06
Online published: 2002-05-18
随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复杂,这使得密码协议的安全性描述和分析变得非常复杂.引入了一个新的代数系统刻画具有多种密码运算的消息代数,并提出了一个新的密码协议模型,描述了无边界网络中的攻击模式,通过建立形式语言规范了无边界网络环境下密码协议的运行环境和安全性质 该协议模型描述了一种“协同攻击”模式,并讨论了密码协议的安全性分析约简技术,给出一个新的安全自动分析过程的简要描述.
李先贤 , 怀进鹏 . 分布式网络环境下密码协议形式模型和安全性[J]. 中国科学院大学学报, 2002 , 19(3) : 311 -323 . DOI: 10.7523/j.issn.2095-6134.2002.3.014
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.
Key words： AES; modes of operation; encryption; authentication
1. D Dolev, A Yao. On the security of public-key protocols. IEEE Transactions on Information Theory, 1983, 29(2):198 ^ 208
2. Steve Schneider. Verifying Authentication Protocols in CSP. IEEE Transactions on Software Engineering, 1998,24(9):741一758
3. C Meadows. A Model of Computation for the NRI. Protocol Analyzer. In: Proceedings of the 1994 Computer Security Foundations Workshop. Franconia, NH, USA, 1994, 84一89
4. I. C Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 1998(6):85-v 128
5. F Javier Thayer F, abrega, Jonathan C Herzog, Joshua D Gunman. Strand Spaces: Proving Security Protocols Correct. Journal of Computer Security, 1999, 191-V230
6. F Javier Thayer F, abrega, Jonathan C Herzog, Joshua D Gunman. Strand Spaces: Why is a Security Protocol Correct'? In: Proceed-ings of the 1998 IEEE Symposium on Security and Privacy. IEEE Computer Press, 1998, 160一171
7. Dawn Song, Sergey Beresin, Adrian Perrig. Athena: a Novel Approach to Efficient Automatic Security Protocol Analysis, 2001
8. Gavin Lowe. Towards a Completeness Result for Model Checking of Security Protocols, In: Proceedings of 11'h IEEE Computer Se-curity Foundation Workshop (CSFW'98).Rockport Massachusetts USA, 1998
9. 5 Burris, H P Sankappanavar. A Course in Universal Algebra. New York: Springer-Vcrlag, 1981
10. J Baeten, W P Weijland. Process Algebra UK: Cambridge University Press, 1990
11. N A Durgin, P D Lincoln, J C Mitchell, A Scedrov. Undecidability of Bounded Security Protocols. In: Electronic Proceedings of the Workshop on Formal Methods and Security Protocols, 1999;http: //www. cs. bell-labs. com/who/nch/fmsp99/program. html
/
| 〈 |
|
〉 |
