• Title/Summary/Keyword: 부울

Search Result 111, Processing Time 0.028 seconds

Logic Optimization Using Boolean Resubstitution (부울 대입에 의한 논리식 최적화)

  • Kwon, Oh-Hyeong
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.10 no.11
    • /
    • pp.3227-3233
    • /
    • 2009
  • A method for performing Boolean resubstitution is proposed. This method is efficiently implemented using division matrix. It begins by creating an algebraic division matrix from given two logic expressions. By introducing Boolean properties and adding literals into the algebraic division matrix, we make the Boolean division matrix. Using this extended division matrix, Boolean substituted expressions are found. Experimental results show the improvements in the literal counts over well-known logic synthesis tools for some benchmark circuits.

The Study and Improvement of Boolean Function Property of MD5 Hash Function (MD5 해쉬함수의 부울함수 특성 고찰 및 개선)

  • 이원준;이국희;문상재
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 1995.11a
    • /
    • pp.185-194
    • /
    • 1995
  • 일방성 해쉬함수는 임의 길이의 입력메세지를 일정한 길이의 출력메세지로 축약하는 함수로서, 디지탈서명에서 서명을 생성하는 시간을 단축하고 메세지 인증을 위한 암호학적 도구로 사용되고있다. 본 논문에서는 부울함수를 기초로 하는 해쉬함수 중에서 MD5의 부울함수를 정보이론의 관점에서 분석하여 암호학적으로 강하고 기존의 MD5에서 사용된 부울함수의 성질을 이용한 공격을 막을 수 있는 새로운 부울함수를 제안한다.

  • PDF

Constructing Balanced Boolean Functions with Good GAC (대역확산특성이 우수한 균형인 부울함수 설계)

  • 지성택
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.8 no.3
    • /
    • pp.39-48
    • /
    • 1998
  • GAC(GloabvalAvalanche Characteristics)은 부울함수가 전파특성 관점에서 얼마나 우수한지를 전체적인 관점에서 나타내는 특성으로 Zhang-Zheng(1995)에 의해서 제안되었다. GAC을 측정하는 기준으로는 와 가 있으며, 두 기준값이 작을수록 부울함수는 보다 우수한 전파특성을 갖는다. Zhang-Zheng은 GAC이 우수한 균형인 부울함수를 설계하는 두 가지 방법을 제시하였으며, 균형인 부울함수f의 대수적 차수가 3 이상일 때 의 하한이 $2^이라고 추측하였다. 본 논문에서는Zhang-Zheng의 방법보다 우수한 새로운 설계방법을 제시하며, 이를 이용하여 그들의 추측에 대한 반례를 제시한다.한다.

(The Minimization of Boolean functions to the Exclusive-OR sum of Products logic) (부울함수의 논리곱의 배타적 합 논리로의 간략화)

  • 이진흥;이상곤;문상재;서용수;김태근;정원영
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 1997.11a
    • /
    • pp.315-321
    • /
    • 1997
  • 본 논문에서는 임의의 부울함수(Boolean function)에 대한 진리표나 출력 시퀀스로부터 논리곱의 배타적 합(exclusive-or sum of products; ESOP)형의 부울함수를 구성하는 알고리듬을 제안한다. 기존에 알려진 카르노맵이나 Quine HcClusky법에 의하여 구해지는 부울함수는 논리곱의 합(sum of product; SOP) 형으로 주어지며 이들 수식은 부정(NOT)논리를 포함하는 경우가 있다. 제안된 알고리듬에 의하여 구해지는 부울함수는 구조적인 등가성을 판별하는데 편리하므로 해쉬함수용 부울함수의 개발에 이용될 수 있다.

  • PDF

Mathematical Properties of the Formulas Evaluating Boolean Operators in Information Retrieval (정보검색에서 부울연산자를 연산하는 식의 수학적 특성)

  • 이준호;이기호;조영화
    • Journal of the Korean Society for information Management
    • /
    • v.12 no.1
    • /
    • pp.87-97
    • /
    • 1995
  • Boolean retrieval systems have been most widely used in the area of information retrieval due to easy implementation and efficient retrieval. Conventional Boolean retrieval systems. however, cannot rank retrieved documents in decreasing order of query-document similarities because they cannot compute similarity coefficients between queries and documents. Extended Boolean models such as fuzzy set. Waller-Kraft, Paice, P-Norm and Infinite-One have been developed to provide the document ranking facility. In extended Boolean models, the formulas evaluating Boolean operators AND and OR are an important component to affect the quality of document ranking. In this paper we present mathematical properties of the formulas, and analyse their effect on retrieval effectiveness. Our analyses show that P-Norm is the most suitable for achieving high retrieval effectiveness.

  • PDF

On recursively extended Boolean functions (확장 재생성된 부울 함수의 성질)

  • Chee, Seong-Taek;Lee, Sang-Jin;Kim, Kwang-Jo
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.5 no.1
    • /
    • pp.3-16
    • /
    • 1995
  • In this paper, we deal with the cryptographic properties of Boolean functions generated by recursively extended methods from the points of balancedness, nonlinearity and correlation properties. First, we propose a new concept 'Strict Uncorrelated Criterion(SUC)' for two Boolean functions as a necessary condition for constructing Boolean functions of S-box which can be guaranteed to be resistant against Differential cryptanalysis, then we show that the recurively extended Boolean functions with particular form preserve the SUC. We also examine the correlation properties of Boolean functions using Walsh-Hadamard transformations and apply them to discuss nonlinearity, correlation properties and SUC of semi-bent function which is defined over odd dimensional vector space. Finally, we compare semi-bent function with Boolean functions which are generated by other similar recursive methods.

(벡터) 부울 함수의 비선형성에 관한 연구

  • 정하봉
    • Review of KIISC
    • /
    • v.4 no.1
    • /
    • pp.88-95
    • /
    • 1994
  • 본 논문에서는 벡터 부울함수의 비선형성의 척도인 선형 함수군까지의 거리에 대해 알아본다. 특히 S-Box의 내부 함수로 이용될 수 있는 출력의 균등 분포성을 만족하는 벡터 부울함수의 선형함수군까지의 거리의 하계를 유도한다. 더불어 EDS에서의 S-Box내부함수의 비선형도를 산출하고 보다 비선형도가 높은, 즉 선형 함수군까지으 거리가 더 먼 새로운 S-Box의 존재를 밝힌다.

  • PDF

부울함수의 DC 및 LC특성

  • 지성택
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.8 no.4
    • /
    • pp.43-52
    • /
    • 1998
  • 본 논문에서는 블럭 암호를 벡터 부울함수로 해석하여 블럭 암호의 주 공격 방법인 DC및 LC 특성에 관한 제반 사항을 분석한다. 특히, 벡터 부울함수가 일대일, 균형 또는 치환인 경우에DC 및 LC특성의 결과를 블력 암호에 적용하여 이들 두 공격에 대한 안전성을 명확하게 분석하고자 한다. 본 논문의 결과는 DC 및 LS 에의 안전성이 증명되는 블럭 암호 설계시 유용하게 활용될 수 있다.

Global Avalanche Characteristics of Balanced Boolean Functions (균형인 부울함수의 대역확산특성)

  • 성수학
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.7 no.4
    • /
    • pp.51-58
    • /
    • 1997
  • GAC(Global Avalanche Charateristics)은부울함수가 확산특성 관점에서 얼마나 우수한지를 전체경우에 대하여 나타내는 특성으로 Zhang-Zheng(1995) 에 의해서 제안되었다. GAC개념이 등장하기 이전에는 부분적인 확산특성에 대하여만 연구를 하였으나 다른 암호학적인 특성과 연관하여 생각하면 전체적인 확산특성이 의미가 있다. Zhang-Zheng은 GAC을 측정하는 두가지 기준을 제시하고 이 기준에 대한 하한과 상한을 구하였으며 선형함수와 벤트함수에 대하여 이러한 상한과 하한이 달성됨을 증명하였다. 그러나 암호학적으로 의미가 있는 균형인 함수의 두가지 기준에 대한 하한과 상한은 밝혀지지 않았다. 본 논문에서는 부울함수가 균형인 함수의 두가지 기준에 대한 하한과 상한은 밝혀지지 않았다. 본 논문에서는 부울함수가 균형일 때 GAC을 측정하는 기준에 대한 하한을 제시한다. 이러한 하한 아직까지 미해결 문제로 남아있는 균형인 부울 함수의 비선형치에 대한 상한을 구하는데 새로운 방향을 제시할 수 있다.

Synthesizing a Boolean Function of an S-box with Integer Linear Programming (수리계획법을 이용한 S-box의 부울함수 합성)

  • 송정환;구본욱
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.14 no.4
    • /
    • pp.49-59
    • /
    • 2004
  • 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.