• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.257-260
• /
• 2002

확인 가능한 암호화는 암호문을 풀어보지 못해도 어떤 것이 암호화되어 있는지 확인 할 수 있는 암호화 기법이다. 이 기법은 공정한 교환에서 암호화된 물건을 우선 제시하여 상대방이 물건을 받을 수 있다는 확신을 가지게 하는데 사용된다. 지불의 원자성을 보장하기 위해 공정한 교환을 적용해 볼 수 있다. 이 논문에서는 확인 가능한 암호화 기법을 표현문제를 사용하는 화폐시스템에 적용하여, 지불의 원자성을 제공하는 방법을 제안한다. 확인 가능한 암호화를 사용하면 분쟁이 발생했을 때 신뢰기관이 은행으로부터 상점의 입금여부를 확인할 필요가 없어 분쟁해결이 간단하다. 반면에 지불과정에서 확인 가능한 암호화를 적용하기 위한 증명이 추가로 필요하다.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.105-111
• /
• 2021

한국어 사실 확인 과제는 학습 자료의 부재로 인해 연구에 어려움을 겪고 있다. 본 논문은 수작업으로 구성된 학습 자료를 토대로 자연어 생성 모델을 이용하여 한국어 사실 확인 자료를 구축하는 방법을 제안한다. 본 연구는 임의의 근거를 기반으로 하는 주장을 생성하는 방법 (E2C)과 임의의 주장을 기반으로 근거를 생성하는 방법 (C2E)을 모두 실험해보았다. 이때 기존 학습 자료에 위 두 학습 자료를 각각 추가하여 학습한 사실 확인 분류기가 기존의 학습 자료나 영문 사실 확인 자료 FEVER를 국문으로 기계 번역한 학습 자료를 토대로 구성된 분류기보다 평가 자료에 대해 높은 성능을 기록하였다. 또한, C2E 방법의 경우 수작업으로 구성된 자료 없이 기존의 자연어 추론 과제 자료와 HyperCLOVA Few Shot 예제만으로도 높은 성능을 기록하여, 비지도 학습 방식으로 사실 확인 자료를 구축할 수 있는 가능성 역시 확인하였다.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.4
• /
• pp.857-868
• /
• 2014

Data mining is the representative analysis methodology in the era of big data, and is the process to analyze a massive volume database and summarize it into meaningful information. Association rule technique finds the relationship among several items in huge database using the interestingness measures such as support, confidence, lift, etc. But these interestingness measures cannot be used to establish a causality relationship between antecedent and consequent item sets. Moreover, we can not know association direction by them. This paper propose causally confirmed association thresholds to compensate for these problems, and then check the three conditions of interestingness measures. The comparative studies with basic association thresholds, causal association thresholds, and causally confirmed association thresholds are shown by simulation studies. The results show that causally confirmed association thresholds are better than basic and causal association thresholds.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1257-1260
• /
• 2005

인증서 상태 확인은 해당 거래에 사용되는 인증서에 대해 유효한 인증서임을 판별하기 위한 과정으로 인증서 표준이 제정된 이후로 계속적으로 연구되고 있는 분야이다. 현재 가장 보편적으로 이용되는 인증서 상태 확인 기법은 인증서폐지목록(CRL : Certificate Revocation List)을 이용하는 기법이다. 이 기법은 방법 자체가 가지고 있는 시간격차 문제와 물리적 파일 처리의 과부하로 인하여 사용에 많은 제약이 따른다. 이를 해결하기 위해 온라인 인증서 상태 프로토콜(OCSP : OnLine Certificate Status Protocol) 기법이 제시되었다. 이 기법은 CRL 기법의 비 실시간성 문제를 해결한다. 하지만 서비스 요청 서버의 과부하 문제와 구조적 집중화 문제로 인하여 인증서 상태를 확인 하는데 소요되는 시간이 다소 오래 걸린다는 문제가 있다. 본 논문에서는 검증 요청자의 신원정보에 대한 해쉬값을 이용하여 인증서 상태 확인 요청을 하고 이를 통해 인증서 상태 확인 과정을 진행함으로써 통신 부하를 감소시키고 실시간으로 인증서 상태를 확인 할 수 있는 검증 요청자 신원 정보를 이용한 인증서 상태 확인 메커니즘을 제안한다.

• Journal of The Korean Association For Science Education
• /
• v.25 no.3
• /
• pp.382-389
• /
• 2005

This study examined the effect of the results of ascertaining prediction on cognitive conflict and conceptual change by physics achievement. The participants of this study were 186 11th graders. They answered a pretest composed of two items, and through a demonstration on either of the two pretest items, they ascertained whether their predictions were correct or not. The cognitive conflicts were measured with CCLT. After brief instructive treatment, a posttest was conducted to measure the degree of conceptual change. The students who ascertained that their predictions were incorrect generated more cognitive conflicts and conceptual changes than those who ascertained they were correct. In addition, cases in which student physics achievement was low were found to produce more meaningful results of ascertaining predictions on cognitive conflict and conceptual change.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.185.2-185.2
• /
• 2012

저궤도 위성 비행모델 기능시험은 위성체 내부 전장품들 간의 접속 확인과 조립 및 연결상태를 확인하는 시험을 우선적으로 수행한다. 위성체의 전원선 확인 시험은 전기 전자적 조립 시험에서 가장 처음으로 수행하는 시험이다. 전력조절분배장치로부터 전장품 각각의 하드웨어로 공급되는 50볼트 주전원 또는 28볼트 부전원이 정상적으로 공급하게 되는지를 검증한다. 위성체 하니스가 설치된 후, 각각의 하드웨어에 공급되는 전원의 극성 및 연속성 시험을 수행한다. 전력조절분배장치는 태양전지판으로부터 얻어진 전력이 레귤레이터에 의해 정류된 전압을 받아 릴레이나 FET를 통하여 모든 전장품에 전원을 공급하는 주요 장비이다. 전력조절분배장치 내부나 외부 하니스 오류로부터 생길 수 있는 잘못 리드된 전원으로부터 전장품을 보호하기 위하여 하니스를 하드웨어에 연결하기 전에 우선적으로 전원선 확인 시험을 수행한다. 위성체 전원선 확인 시험은 위성체와 기능시험장비를 연결하여 시리얼 명령어를 통해 전력조절분배장치 내부의 FET 동작을 조절하며, FET 동작 상태 및 전장품에 접속되는 입력 단에서의 전압 및 전원 특성 등을 점검한다. 위성체의 주전원 50볼트 라인의 연결도 확인과 부전원 28볼트 라인의 연결도 확인 및 전력제어 유닛 내부 FET의 기능 확인을 수행하며 또한, 전력제어부 외부에 공급하는 28볼트 펄스와 15볼트 펄스를 측정 검증하는 시험을 수행한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.538-541
• /
• 2000

본 논문에서는 인터넷과 같은 가상 공간에서 사용자의 신분을 확인하기 위해서 길함-허용기법을 이용해 본인의 신분을 확인하는 인증 기법을 제안한다. 제안 기법은 기존 패스워드 기법에 의존하는 신분 확인 기법을 다수의 질문-응답 기법으로 전환하므로써 인간의 기억력 한계와 패스워드 강도 사이의 trade-off를 고려한 방안으로 다양한 질문의 형태에 따라 확률에 근거하여 신분을 확인하는 방안으로 가상 공간에서의 인터넷 뱅킹 및 다양한 전자상거래 응용 등에 직·간접적으로 활용될 수 있다. 또한 실용적인 측면의 응용을 위해 다양한 종류의 질문을 구성하여 이에 대한 경험적 정답 확률을 고려한 신분 확인 확률도 산출하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.489-492
• /
• 2011

자동차 운전자는 자신의 자동차 보험료를 할인 받고자 특약제도를 이용한다. 이 중 이미 외국에서 시행되어 좋은 호응을 받아 국내에서도 시행 되고 있는 승용차 요일제 보험이 있다. 승용차 요일제 보험에 가입하기 위해 의무적으로 장착해야 하는 자동차 운행정보 확인 장치는 예비가입자들로부터 많은 관심을 받고 있다. 하지만 보험가입자(운전자)가 보험사에 운행정보확인장치의 차량운행기록을 보내기 위해 다소 번거로운 과정을 거쳐야 한다. 본 논문에서는 보험개발원에서 제시한 '자동차 운행정보 확인 장치 인증규정'을 바탕으로 보험가입자가 편리하게 차량운행기록을 보험사에게 보내기 위해 단거리 무선통신이 내장되어 있는 자동차 운행 정보 확인 장치의 하드웨어 설계와 이것을 활용한 보험사의 운행정보 수집 시스템에 바로 전송할 수 있는 스마트폰 단말기 모니터 프로그램의 설계에 대해 연구하였다.

• Journal of KIISE:Information Networking
• /
• v.34 no.3
• /
• pp.175-185
• /
• 2007

In IEEE 802.15.4 (Low-Rate Wireless Personal Area Network) specification, a successful reception and validation of a data or MAC command frame can be confirmed with an acknowledgment. However, the specification does not support security for acknowledgment frame; the lack of a MAC covering acknowledgments allows an adversary to forge an acknowledgment for any frame. This paper proposes an identity authentication mechanism at the link layer for acknowledgment frame in IEEE 802.15.4 network. With the proposed mechanism there is only three bits for authentication, which can greatly reduce overhead of device. The encrypted bit stream for identity authentication will be transmitted to device by coordinator within association process. Statistical method and simulation results prove that our mechanism is successful in handling MAC layer attack.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1998.12a
• /
• pp.9-20
• /
• 1998

공개 키 암호 알고리듬은 사용자의 공개키가 그 사용자와 대응되는지 를 확인할 수 있는 방법이 필요하다. 이를 해결하기 위해 사용자들이 신뢰할 수 있는 인증기관에서 각 사용자의 공개키의 확인서를 발급한다. 그러나 비밀키의 노출, 사용자의 자격의 박탈 및 유효기간의 만료 등으로 인하여 확인서를 취소하여야 할 경우가 있다. 따라서 각 사용자는 상대방의 공개키가 유효한 것인지를 확인하여야 한다. 본 고에서는 지금까지 제시된 공개키 확인서의 취소 여부를 확인하는 방법들을 분석하고 효율적인 방법을 제시한다.