• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.6
• /
• pp.127-134
• /
• 2001

At PKC\`98, SangUk Shin et al. proposed a new hash function based on advantages of SHA-1, RIPEMD-160, and HAVAL. They claimed that the Boolean functions of the hash function have good properties including the SAC(Strict Avalanche Criterion). In this paper, we first show that some of Boolean functions which are used in Shin\`s hash function does not satisfy the SAC, and then argue that satisfying the SAC may not be a good property of Boolean functions, when it is used for constructing compress functions of a hash function.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.5
• /
• pp.87-93
• /
• 2002

SHACAL is based on the hash standard SHA-1 used in encryption mode, as a submission to NESSIE. SHACAL uses the XOR, modular addition operation and the functions of bit-by-bit manner. These operations and functions make the differential cryptanalysis difficult, i.e, we hardly find a long differential with high probability. But, we can find short differentials with high probability. Using this fact, we discuss the security of SHACAL against the amplified boomerang attack. We find a 36-step boomerang-distinguisher and present attacks on reduced-round SHACAL with various key sizes. We can attack 39-step with 256-bit key, and 47-step with 512-bit key.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1997.11a
• /
• pp.196-202
• /
• 1997

[6]에서 Zhang과 Zheng은 부울함수의 암호학적인 전역상관계수의 특성을 계산하기 위해서 GAC(Global Avalanche Characteristic)이라는 새로운 개념을 제시하였다. 그들은 GAC의 값들에 대한 측적을 위해서 2개의 단위를 제시했고 2개의 단위의 상한과 하한에 대해서 계산했다. 그러나 그들은 균등함수의 GAC의 하한은 향후의 연구과제로 남겨놓았다. 본 논문에서는 균등함수의 GAC의 하한에 대해서 계산했고, 연접의 방법에 의한 좋은 GAC 의 특성을 가지는 함수의 생성방법을 제시하였다.

• Review of KIISC
• /
• v.6 no.3
• /
• pp.49-56
• /
• 1996

본 논문에서는 컴퓨터 조사를 통하여, 참고 문헌[15]에서 제안된 범용 유사 벤트 함수 설계 방법이 범용 유사 벤트 함수 모두를 설계하지 못함을 보인다. 다음으로, 본 논문의 주요 결과로서 기존 SUC[7,16]의 정의에 대해, 고려되는 부울 함수의 개수와 PC 차수를 확장시킨, 확장된 SUC 을 새로이 정의하고 확장된 SUC을 만족하는 5차 범용 유사 벤트 함수들의 예를 제시한다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.48
• /
• pp.153-164
• /
• 1998

본 논문은 2-상태 시스템의 신뢰도 계산을 위하여 Heidtmann[3]이 제시한 가역 알고리즘을 부울 대수를 사용하여 경로집합으로부터 절단집합을 유도하거나, 역으로 절단집합으로부터 경로집합을 유도함으로서 효율성을 입증하였으며, 포함-불포함 공식(inclusion-exclusion formula)과 추축 분해법칙(pivotal decomposition rule)을 이용하여 직·병렬구조 및 복합구조의 신뢰도를 계산할 수 있는 알고리즘을 개발, 분석하였다.

• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• pp.337-340
• /
• 2000

In this paper, we put forth a procedure that target low power logic synthesis based on XOR representation of Boolean functions, and the results of synthesis procedure are a multi-level XOR form with minimum switching activity. Specialty, this paper show a method to extract the common cubes or kernels by Boolean matrix and rectangle covering, and to estimate the power consumption in terms of the extracted common sub-functions.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.11a
• /
• pp.39-52
• /
• 1997

데이터베이스에 대한 사용자의 요구는 증가하는 반면에 기존의 관계형 데이터베이스에서 사용하는 질의어들은 사용자로 하여금 정확한 조건을 알아야만 하는 부울 형태의 질의만을 제공하는 제약이 있다. 그러나, 사용자들은 조건을 확실하게 모르는 애매한 질의에 대한 결과를 요구하며, 이러한 이유로 퍼지 질의어(FSQL)에 대한 연구가 계속되고 있다. 이에 본 논문에서는 새로운 퍼지 질의어 형태를 정의하고, 정의한 퍼지 질의어를 구현하기 위해서MetaDatabase를 사용하는 방법을 소개한다. 이러한 방법을 이용하여 기존의 관계형 데이터베이스를 유지하면서 퍼지 질의어를 제공할 수 있는 FSQL(Fuzzy SQL) 시스템의 프로토타입을 개발하였다.

• Journal of KIISE:Information Networking
• /
• v.28 no.1
• /
• pp.56-62
• /
• 2001

본 논문에서는 Zheng이 제시한 비밀키 암호시스템인 SPEED를 개선한 암호시스템을 제안한다. 제안된 암호시스템에서는 암호화에 사용되는 부울 함수를 키에 따라 가변적으로 함수 풀(function pool)로부터 선택함으로써 함수 선택에 대한 약간의 오버헤드만으로 선형 공격(linear cryptanalysis) 및 차분 공격(differential cryptanalysis)등 알려진 공격에 대해 향상된 저항성을 가지도록하였다.

• Journal of Technologic Dentistry
• /
• v.2 no.1
• /
• pp.31-33
• /
• 1980

의치(denture) 파절조각(fracture segment)의 조립을 정확하고 쉽게 부착시킬 수 있는 cyanoacrylate의 사용을 권장하고 싶다. 이 수리 방법은 환자가 오랜기간 동안 보철물 없이 존속하는 것을 막기 위해 석고모형(stone cast)을 부울 필요없이 신속하게 수리하는 방법이다. 더불어 의치(denture)가 많은 조각으로 파절 되었기 때문에 전통적인 방법에 의해서는 수리가 가능치 않다고 생각 될 경우에는 이 방법이 좋으리라 생각되어 소개하는 바 입니다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.8 no.2 s.16
• /
• pp.117-127
• /
• 2000

The economic development and the development of medical treatment by scientific technology development progressed the level of national people life and improved average life gradually. In this reason, old people who have finance power would like to receive a comport and high level service, though paying proper expense. In this study, receiving this requirement, we focused that silver town have reasonable and comfortable residing environment in developing rural and rest form silver town objecting external area of Chon-Ju city, and selected land suitability. Through the learning of the neural network theory in the method of land suitability, we applied in the full of study area and improved a flexible determination making as giving each class value in each cell. Also, we compare a method of land suitability using the neural network theory, and it's analysis with a method of land suitability by the duplication method of Boolean Logic have been used In Geo Spatial Information System(GSIS) and proved the Boolean Logic's lose of values and the propriety.