Skip to main content
placeholder image

Metamorphic testing for block ciphers

Conference Paper


Abstract


  • Information is indispensable in modern society. People���s daily communication and work depend on information transmission. Unsafe storage or transmission of data may result in privacy and security problems. One way to attempt to prevent such issues is to use encryption algorithms to transform information into encrypted forms. Because the encryption steps of most encryption algorithms are complex, deciding the correctness of the encrypted output may take a long time in practice. This kind of problem is called the Test Oracle problem. In contrast to traditional software testing, Metamorphic Testing (MT) does not focus on the correctness of each individual output, but examines whether the inputs and outputs of multiple executions of a Program Under Test (PUT) satisfy necessary relations of the PUT, called metamorphic relations. This paper reports on an experience of applying MT to test three encryption algorithms ��� Data Encryption Standard (DES), Triple Data Encryption Standard (3DES), and Advanced Encryption Standard (AES).

Publication Date


  • 2021

Citation


  • Zhang, M., Towey, D., Chen, T. Y., & Zhou, Z. Q. (2021). Metamorphic testing for block ciphers. In Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021 (pp. 1315-1320). doi:10.1109/COMPSAC51774.2021.00184

Scopus Eid


  • 2-s2.0-85115831910

Start Page


  • 1315

End Page


  • 1320

Volume


Issue


Place Of Publication


Abstract


  • Information is indispensable in modern society. People���s daily communication and work depend on information transmission. Unsafe storage or transmission of data may result in privacy and security problems. One way to attempt to prevent such issues is to use encryption algorithms to transform information into encrypted forms. Because the encryption steps of most encryption algorithms are complex, deciding the correctness of the encrypted output may take a long time in practice. This kind of problem is called the Test Oracle problem. In contrast to traditional software testing, Metamorphic Testing (MT) does not focus on the correctness of each individual output, but examines whether the inputs and outputs of multiple executions of a Program Under Test (PUT) satisfy necessary relations of the PUT, called metamorphic relations. This paper reports on an experience of applying MT to test three encryption algorithms ��� Data Encryption Standard (DES), Triple Data Encryption Standard (3DES), and Advanced Encryption Standard (AES).

Publication Date


  • 2021

Citation


  • Zhang, M., Towey, D., Chen, T. Y., & Zhou, Z. Q. (2021). Metamorphic testing for block ciphers. In Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021 (pp. 1315-1320). doi:10.1109/COMPSAC51774.2021.00184

Scopus Eid


  • 2-s2.0-85115831910

Start Page


  • 1315

End Page


  • 1320

Volume


Issue


Place Of Publication