Journal of University of Chinese Academy of Sciences >
Brief Commentary on AES Modes of Operation
Received date: 2002-06-06
Online published: 2002-05-18
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
LI Xian-Xian , HUAI Jin-Peng . Brief Commentary on AES Modes of Operation[J]. Journal of University of Chinese Academy of Sciences, 2002 , 19(3) : 311 -323 . DOI: 10.7523/j.issn.2095-6134.2002.3.014
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
/
| 〈 |
|
〉 |