1. Implementation of Cryptographic Modes In Alloy (Online Material),
http://www.icsd.aegean.gr/postgraduates/icsdm10002/
2. Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the ”small scope hypothesis”. Tech. Rep., POPL 2002: Proceedings of the 29th ACM Symposium on the Principles of Programming Languages (2002)
3. Biham, E.: Cryptanalysis of multiple modes of operation. Journal of Cryptology 11, 45–58 (1998)
4. Biham, E.: Cryptanalysis of triple modes of operation. Journal of Cryptology 12, 161–184 (1999)
5. Lecture Notes in Computer Science;D. Hong,2001