• Title/Summary/Keyword: 모듈 심각도

Search Result 90, Processing Time 0.028 seconds

Formal Verification of LSH Hash Function Using Cryptol (Cryptol을 이용한 LSH 해시함수 정형검증)

  • Ryu, Do-Hyeon;Choi, Yong-Rak;Kim, Tae-Hoon;Shin, Youngjoo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2018.10a
    • /
    • pp.162-165
    • /
    • 2018
  • 암호 알고리즘은 세계적으로 표준화가 진행되고 있으며, 암호 알고리즘의 안전성은 충분히 입증되어 왔다. 하지만, 기존 검증 방법으로 사용되는 테스트벡터 방식으로는 전수조사를 시행할 수 없어 구현상의 취약점을 완벽하게 발견할 수 없기 때문에 심각한 피해를 야기할 수 있다. 그래서 개발한 혹은 현재 존재하고 있는 암호 알고리즘이 표준에 따라 올바르게 구현되었는지에 대한 개선된 검증 방법이 필요하다. 본 논문에서는 KISA에서 개발한 LSH 해시함수 모듈을 미국의 Galois사와 NSA가 함께 공동 개발한 Cryptol을 이용하여 암호 모듈이 올바르게 구현되었는지 검증하였다.

Implementation of Non-OS TCP/IPv6 Stack for Smart Object (스마트 오브젝트를 위한 Non-OS TCP/IPv6 Stack 의 구현)

  • Hur, Bongjun;Lee, Jaeho;Kim, Soohwan;Lee, Youngsu;Lee, Jungtae
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.1503-1505
    • /
    • 2010
  • 스마트 그리드를 비롯하여 사물에 네트워킹 기능이 요구됨에 따라 IP 주소 고갈 문제가 심각한 문제로 대두되고 있다. 아울러 스마트 오브젝트는 제한된 자원으로 인하여 저전력 소모가 요구된다. 이에 따라 본 연구에서는 Non-OS 환경에서 수행되는 TCP/IPv6 Stack 을 구현하였다. 본 연구에서 구현한 TCP/IPv6 Stack 은 3 개의 기능 모듈로 구성되어 있다. 아울러 이 모듈은 사용자 인터페이스와 하부 통신 기술에 종속되지 않게 구현하여, 확장성과 유연성에 장점을 가지고 있다. 그리고, 실험을 통해 2.5 Mbps 정도의 성능을 보여주었고 기존의 IPv6 망과의 호환성을 검증하였다.

Automated Formal Verification of Korean Standard Block Cipher Using Cryptol (Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증)

  • Choi, Won-bin;Kim, Seung-joo
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.28 no.1
    • /
    • pp.53-60
    • /
    • 2018
  • Cryptographic algorithms are being standardized globally, and the security of cryptographic algorithms has been well proven. However, there is a need for an improved verification method to verify that the existing verification method is correctly implemented according to the standard, because there is a weakness in implementation and it can cause serious damage. Therefore, in this paper, we selected ARIA and LEA to be verified among 128-bit or more block cipher modules performed by the National Intelligence Service, and propose a method to verify whether it is implemented correctly using Cryptol for high-assurance cryptographic module.

The Estimation of Dry Deposition Flux of $O_3$ regarding Surface Characteristic in Pusan (지표면 특성을 고려한 부산지역의 $O_3$의 건성침적플럭스 산정)

  • 이화운;김유근;문난경
    • Proceedings of the Korea Air Pollution Research Association Conference
    • /
    • 2000.04a
    • /
    • pp.353-355
    • /
    • 2000
  • 대기 오염 면상은 인구 증가와 산업화로 날로 심각해지고 있고 이로 인한 영향은 동·식물 뿐만 아니라 건축구조물, 나아가서는 기후변동에까지 미치고 있다. 이러한 오염 물질에 의한 피해 현황과 가까운 미래에 미칠 영향을 예측할 수 있다면 오염 물질의 배출 규제와 방지에 큰 도움을 줄 수 있을 것이다 이에 오염 물질이 미치는 영향을 추정하기 위한 대기오염농도 예측모델의 연구는 많은 학자들에 의해 다양한 방법으로 추진되어 왔고 이와 함께 건성 침적 모듈의 연구도 지속적으로 이루어져 왔다. (중략)

  • PDF

Disk Heterogeneity Support on Single Disk I/O (SDIO에서의 디스크 이질성 지원)

  • 김호진;황인철;김동환;맹승렬;윤현수
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.10a
    • /
    • pp.79-81
    • /
    • 2004
  • 클러스터 시스템의 규모가 커질수록 이질성 문제가 심각해지고 유지, 보수에 큰비용이 소요되게 된다 본 논문에서는 I/O 부시스템의 입장에서 이러한 문제를 해결하기 위해 다양한 종류의 디스크를 지원하도록 개선된 SDIO(Single Disk I/O: 단일 디스크 입출력)를 설명한다. 단일 디스크 입출력은 리눅스의 커널 모듈의 형태로 제작되었으며 클러스터 내의 다양한 디스크를 하나의 큰 디스크 장치처럼 보이도록 해주는 역할을 한다. 또한 다양한 성능의 디스크가 존재할 때 모든 디스크의 성능을 최대한 활용하도록 한다.

  • PDF

Bidirectional WDM networks (양방향 WDM 광통신망)

  • 이창희;신정훈;김현덕
    • Proceedings of the Optical Society of Korea Conference
    • /
    • 2000.08a
    • /
    • pp.4-8
    • /
    • 2000
  • 최근 양방향 전송에 기반을 둔 양방향 파장 분할 다중 방식(WDM: wavelength division multiplexing) 광통신망$^{(1-3)}$ 이 제안되고 있다. 양방향 파장 분할 다중 방식 광통신망은 광섬유의 수나 광증폭기의 수 등 경제적 비용을 경감할 수 있고 비선형 현상을 줄일 수 있다는 장점을 갖는다. 그러나 이러한 양방향 광통신망에서는 Rayleigh 역산란이나 다중 광반사, 각종 소자의 누화에 의한 상대 강도 잡음(RIN: relative intensity noise)에 의해 시스템의 성능과 통신망의 확장성이 심각하게 저하될 수 있다$^{(4)}$ . 따라서 상대 강도 잡음을 억제하면서도 양방향 광통신망의 장점을 살릴 수 있는 광증폭기 및 애드/드롭 모듈의 설계가 필수적이다. (중략)

  • PDF

A Test Case Prioritization Technique via Value-Based Approach (가치기반 접근법을 통한 테스트 케이스 우선순위 기법)

  • Park, Hyun-Cheol;Ryu, He-Yeon;Baik, Jong-Moon
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.5
    • /
    • pp.353-360
    • /
    • 2009
  • Software, once developed, has a long life and evolves through numerous additions and modifications because of the faults, the changes in user requirements, the changes in environments, and so forth. With the evolution of the software, assuring the quality of the software is getting more difficult because of numerous versions of the software. Meanwhile, regression testing has been used to support the software testing activities and assure acquiring appropriate quality through several versions of software. Regression testing, however, is too expensive because it requires lots of test cases executions and the number of test cases increases sharply as the software evolves. For this reason, several techniques are suggested to help conducting regression testing then test case prioritization technique is understood the most effective and efficient technique to support regression testing. In this paper, we propose an approach, Historical Value-Based Approach, which is based on the use of historical information to estimate the current cost and fault severity for cost-cognizant test case prioritization. As a result of the proposed approach, software testers who perform regression testing prioritize their test cases more effectively so that the test effectiveness of them can be improved in terms of APFDc.

주석 전기도금과 열압착본딩을 이용한 Bi2Te3계 열전모듈의 제작

  • Yun, Jong-Chan;Choe, Jun-Yeong;Son, In-Jun;Jo, Sang-Heum;Park, Gwan-Ho
    • Proceedings of the Korean Institute of Surface Engineering Conference
    • /
    • 2017.05a
    • /
    • pp.129-129
    • /
    • 2017
  • 열전재료는 열에너지를 전기에너지로 또는 전기에너지를 열에너지로 직접 변환하는데 가장 널리 사용되는 재료이다. $Bi_2Te_3$계 열전 재료는 400K 이하의 비교적 저온 영역에서 높은 성능지수(Dimensionless Figure of merit, ZT($={\alpha}2{\sigma}T/{\kappa}$, ${\alpha}$: 제백계수, ${\sigma}$: 전기전도도, T: 절대온도, ${\kappa}$: 열전도도))를 나타내는 열전재료이며 자동차 시트나 정수기 등에 응용되고 있다. 열전모듈은 제조시 수십 개에서 수백 개 이상의 n형 및 p형 열전소자를 알루미나($Al_2O_3$)와 같은 세라믹 기판(substrate) 상에 접합된 동 전극 위에 전기적으로 서로 직렬로 접합시켜 제조한다. 기존의 열전모듈의 제조방법에는 동 전극 위에 위에 Sn합금 분말과 플럭스(flux)의 혼합물인 솔더페이스트를 스크린 인쇄법을 사용하여 동 전극에 도포한 다음, 그 위에 열전소자를 얹고 약 520K의 열풍을 가하여 솔더를 용융시켜 열전소자와 동 전극을 접합시킨다. 스크린 인쇄법에서는 인쇄 압력이 일정하지 않으면, 솔더페이스트 층의 두께가 균일하지 않게 되어 열전소자 접합부의 불량을 유발시킨다. 그러나 열모듈은 단 하나의 접합 불량이 모듈 전체의 열전변환성능에 심각한 영향을 줄 수 있기 때문에 본 연구에서는 이러한 문제점을 해결하기 위해, 솔더페이스트를 도포하지 않고 열전소자를 직접 동 전극과 접합할 수 있는 방법을 고안하였다. 무전해도금을 이용한 니켈층을 형성시킨 $Bi_2Te_3$계 열전소자 표면에 약 $50{\mu}m$의 주석도금층을 전기도금법을 구사하여 형성시켰다. 그 후, wire cutting을 통하여 $3mm{\times}3mm{\times}3mm$의 크기로 절단한 주석도금된 열전소자를 동 전극에 얹고 1.1KPa의 압력을 가하면서 523K의 핫플레이트 위에서 3분간 방치하여 직접(direct) 열압착 접합을 실시하였다. 접합부의 단면을 SEM을 이용하여 관찰한 결과, 동 전극과 열전소자 사이의 계면에 용융 후 응고된 주석층이 결함없이 균일하게 형성된 양호한 접합부를 관찰할 수 있었다. 따라서, 솔더페이스트를 이용하지 않고, 열전소자 표면에 주석도금을 실시한 후, 동 전극과 직접 열압착 본딩을 실시하는 방법은 균일한 접합계면을 얻을 수 있는 새로운 공정으로 기대된다.

  • PDF

Implementation of oral patient management system using smartphone and embedded imaging module (스마트폰과 임베디드 촬영 모듈을 활용한 구강 환자 관리 시스템 구현)

  • Lee, Hyoun-sup;Youn, Joo-sang;Kim, Jin-deog
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.22 no.4
    • /
    • pp.581-586
    • /
    • 2018
  • A common characteristic of many patients whose illness is getting worse is that they miss the treatment red flag. When high subjective symptoms appear or there is no strong pain, this problem arises because it is reluctant to visit the hospital. Gingivitis causes bleeding from the gums in the early and mid-term, and shows mild symptoms of tooth collapse. When treatment is done at this point, it shows a very high effect. However, when you miss the timing of treatment you will have a situation where you can't eat food by causing serious problems in the health of the gums and oral cavity. In this paper, the patient's periodontal image is photographed with a smartphone and transmitted in real time. This is done by the doctor in charge. Then, we propose a design of a patient management system that provides information on the current situation to the patient so as not to miss the timing of treatment.

Development of Radio Interface Module for Status Monitoring of Industrial Automation Equipment (산업 자동화 장비의 상태감시를 위한 무선 인터페이스 모듈 개발)

  • Kang, Chul-Gyu;Jeon, Min-Ho;Oh, Chang-Heon
    • Journal of Advanced Navigation Technology
    • /
    • v.14 no.4
    • /
    • pp.545-552
    • /
    • 2010
  • In this paper, we study on a radio multiple sensing interface module to accurately decide serious error sources that are happened by unexpectable problems in industrial fields, in addition, we study a reliability improvement scheme to guarantee the integrity of multiple sensing data. For multiple sensing interface module, communication drivers such as USART, TWI, ADC and GPIO-I2C are implemented. to improve the transmission reliability, reed-Solomon code is used. From the simulation result of this system in indoor environment, we confirm that the reliability of RS coded data is improved about 5 times than uncoded data. Moreover, we prove that multiple sensing interface module is suitable to diagnose error sources of industrial automaton equipment.