On the role of formal methods in security

Information Processing Letters

Volumn 77, Issue 2-4, 2001, Pages 209-212

  Rao, Josyula R ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CRYPTOGRAPHY; DATA STRUCTURES; FORMAL LOGIC; NETWORK PROTOCOLS;

BLOCK CIPHER DESIGNS; FORMAL METHODS; PROGRAM CORRECTNESS;

SECURITY OF DATA;

EID: 0035246794     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(00)00216-7     Document Type: Article

References (6)

1. Request for candidate algorithm nominations for AES Federal Register. 62:(177):1997;40851-48058.
2. Data Encryption Standard, Federal Information Processing Standards Publication 46-2. January 1988;National Institute of Standards. See http://www.itl.nist.gov/fipspub/fip46-2.htm.
3. Burrows M., Abadi M., Needham R.M. A logic of authentication. Proc. Roy. Soc. London A 426. 1989;233-271. a preliminary version of this paper appeared as Digital Equipment Corporation Systems Research Center Report No. 39, February 1989.
4. Kocher P., Jaffe J., Jun B. Differential power analysis. Advances in Cryptology - Crypto'99, Santa Barbara. Lecture Notes in Comput. Sci. 1666:1999;388-397 Springer, Berlin.
5. Chari S., Jutla C.S., Rao J.R., Rohatgi P. A cautionary note regarding the evaluation of AES candidates on smart cards. Proc. 2nd AES Conference, Rome, Italy. March 1999.
6. Chari S., Jutla C.S., Rao J.R., Rohatgi P. Towards sound approaches to counteract power analysis attacks. Advances in Cryptology - Crypto'99, Santa Barbara. Lecture Notes in Comput. Sci. 1666:1999;398-412 Springer, Berlin.