수리계획법을 이용한 S-box의 부울함수 합성
Synthesizing a Boolean Function of an S-box with Integer Linear Programming
0
조회
0
다운로드
0
인용
0
참고문헌
초록
공개되지 않은 함수에 대한 입력과 그에 따른 출력을 이용하여 그 함수와 같은 입출력을 가지는 부울함수표현을 찾아내는 것이 부울함수 합성문제이다. 전자공학 및 암호학 분야에서는 이 문제가 수리계획법의 한 부류인 0-1 integer programming 문제로 귀결되며, 본 논문에서는 부울함수 합성문제를 해결하는 하나의 예로 DES 의 비공개 논리인 입력 6비트, 출력 4비트의 S-box에 대한 부울함수표현을 찾는다. 이러한 결과는 임의의 함수에 대한 효율적인 하드웨어 구현과 블록암호 알고리즘의 대수적 구조를 이용한 암호분석기법에 이용될 수 있다.
Abstract
Boolean function synthesize problem is to find a boolean expression with in/outputs of original function. This problem can be modeled into a 0-1 integer programming. In this paper, we find a boolean expressions of S-boxes of DES for an example, whose algebraic structure has been unknown for many years. The results of this paper can be used for efficient hardware implementation of a function and cryptanalysis using algebraic structure of a block cipher.
참고문헌 (9)
- "Discrete and combinatorial mathematics an applied introduction" (1989)
- "Interior Point methods for combinatorial opti mization Handbook of combinatorial Optimization" (1998), Kluwer Academic publi shers
- "Solving combinatorial optimization problems using Karmarkar's algorit hm", pp.245~284 (1992)
- "On connections between zero-one integer programming under linear constraints"
- "Interior path methods for heuristic integer programming procedures", pp.1069~1087 (1979)
- "Tsutomu Matumoto Strength Evaluation of the Data Encryption Standard" (1993), Yokohama National University
- "National Bureau of Standards" (1977)
- "AMPL A Mmodeling Language For Mathematical Programm ing" (1993)
- "AMPL A Mmodeling Language For Mathematical Programm ing" (1993)