• 충청수학회지
• /
• 제17권1호
• /
• pp.47-56
• /
• 2004

The nonlinearity of a Boolean function f on $GF(2)^n$ is the minimum hamming distance between f and all affine functions on $GF(2)^n$ and it measures the ability of a cryptographic system using the functions to resist against being expressed as a set of linear equations. Finding out the exact value of the nonlinearity of given Boolean functions is not an easy problem therefore one wants to estimate the nonlinearity using extra information on given functions, or wants to find a lower bound or an upper bound on the nonlinearity. In this paper we extend the notion of auto-correlations of Boolean functions to vector Boolean functions and obtain upper bounds and a lower bound on the nonlinearity of vector Boolean functions in the context of their auto-correlations. Also we can describe avalanche characteristics of vector Boolean functions by examining the extended notion of auto-correlations.

• 대한수학회지
• /
• 제33권2호
• /
• pp.259-268
• /
• 1996

The Data Encryption Standard(DES) [3, 8, 9] was developed by an IBM team aroung 1974 and adopted as a national standard in 1977.

• 융합신호처리학회논문지
• /
• 제13권4호
• /
• pp.194-200
• /
• 2012

본 논문에서는 S.Bostas와 V.Kumar[7]에 의하여 제안되고 $GF(2^n)$에서 정의되는 부호계열 발생알고리즘을 분석하고, 길이 n인 이진벡터로 이루어지는 벡터공간 $F_2$으로부터, 두 원소로 정의되는 공간 $F_2$로 사상할 수 있는 부울함수를 이용하여 발생기 구성 함수를 도출하였다. 차수 n=5와 n=7인 두 종류의 최소 다항식을 이용한 피드벡 쉬프트레지스터를 기반으로 Trace 함수로부터 부호계열 발생기 구성 부울함수를 도출하고 발생기를 설계 구성하였으며 이를 이용하여 두 종류의 부호계열 군을 발생하였다. 발생된 부호계열의 주기는 각각 31과 127로서 주기 $L=2^n-1$을 만족하고 ${\tau}=0$을 제외한 자기상관함수 값과 상호상관함수 값이 각각 {-9, -1, 7}과 {-17, -1, 15}로서 상관함수 값 $R_{i,j}({\tau})=\{-2^{(n+1)/2}-1,-1,2^{(n+1)/2}-1\}$의 특성을 만족하였다. 이 결과로부터 부울함수를 이용한 부호계열 발생기 설계와 구성이 타당함을 확인하였다.

• 정보보호학회논문지
• /
• 제5권1호
• /
• pp.3-16
• /
• 1995

본 논문에서는 저차의 부울 함수를 연접시켜 고차의 부울 함수를 생성하는 방법을 소개하고, 이러한 방법으로 생성된 함수의 균등성, 비선형성, 무상관도 등의 제반 성질을 새롭게 규명한다. 또한, 두 함수 사이의 'uncorrelated'개념을 확장하여 Differential Cryptanalysis에 강한 S-box가 가져야 할 필요 조건으로 Strict Uncorrelated Criterion(SUC) 개념을 정의하고, 이를 만족하는 부울 함수를 제시하여 그 존재성을 밝히고 특히, 특수한 형태의 연접으로 생성한 함수가 이를 유지함을 보인다. 그리고, Walsh-Hadamard 변환을 이용하여 부울 함수의 상관관계 특성을 조사하여 이를 연접 방식으로 확장 재생성한 부울 함수에 적용, 이들 함수의 상관관계 특성을 조사하여 이를 연접 방식으로 확장 재생성한 부울 함수에 적용, 이들 함수의 상관관계 특성을 규명한다. 더불어 bent 함수들의 연접으로 홀수차 벡터공간 위에서 semi-bent 함수를 정의하고 이 함수에 대한 상관관계 특성과 비선형치를 규명함과 동시에 SUC을 만족함을 증명하며 연접 방식에 의해서 확장 재생성된 다른 형태의 부울 함수와 비교하여 semi-bent 함수의 암호학적 우수성을 입증한다.

• 정보보호학회논문지
• /
• 제15권6호
• /
• pp.105-110
• /
• 2005

유한체에서 정의된 선형 다항식의 역원은 함수 거 일반화로 볼 수 있으므로, 암호학적 응용에서 유용한 부울 하수를 설계하는 데 좋은 후보가 될 수 있다 특히, Crypto 2001에서는 선형 다항식 및 선형 부호를 이용하여 큰 대수적 차수를 가지는 resilient 함수를 설계하는 방법이 제안되었다. 그러나 Crypto 2001에서 대수적 차수를 분석한 결과에 오류가 있었으며, 본 논문에서 정확한 대수적 차수를 제시한다.

• 대한전자공학회논문지
• /
• 제23권2호
• /
• pp.197-205
• /
• 1986

In this paper, we present an efficient test algorithm for data processing function of MC68000 \ulcorner. The test vector for functional testing is determined by stuck-at, coupling and transition fault for data storage and transfer. But for data manipulation it is determined by a boolean function of micro-operation. This test algorithm is composed of 3 parts, choosing optimum test instructions for maximizing fault coverage and minimizing test process time, deciding the test order for minimizing test ambiguity, and processing the actual test.

• 한국융합학회논문지
• /
• 제10권12호
• /
• pp.29-34
• /
• 2019

유전 알고리즘에서 해의 적합도를 계산하는 시간이 오래 걸린다면 메타모델을 만드는 것은 필수적이다. 이에 메타모델의 성능을 높여 유전 알고리즘이 더 좋을 해를 찾게 하기 위한 연구가 진행되어 왔다. 본 연구에서 우리는 이산적인 도메인에서 이산 월시 변환을 사용해 메타모텔의 성능을 높이고자 하였다. 이산 월시 변환을 통해 해의 기저를 변환했고 변환된 해를 사용해 메타모델을 만들었다. 의사-불리언 함수의 대표적인 함수인 NK 모형을 대상으로 실험했고 제안된 모델의 성능에 대한 실증적인 증거를 제공했다. 제안된 모델을 사용해 유전 알고리즘을 수행했을 때, 유전알고리즘이 더 좋은 해를 찾음을 확인했다. 특히, 선행 연구인 유사도 함수를 이산적인 도메인에 적합하게 수정한 방사기저 함수 네트워크보다 좋은 성능을 보였다.