• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.257-260
• /
• 2002

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.105-111
• /
• 2021

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

• Journal of the Korean Data and Information Science Society
• /
• 제25권4호
• /
• pp.857-868
• /
• 2014

대량의 데이터로부터 과거에 알려지지 않았던 유용한 정보를 발견하는 기술인 데이터 마이닝 기법은 오늘날 빅 데이터 시대에 가장 대표적인 분석 기법이라고 할 수 있다. 이들 중에서도 연관성 규칙은 지지도, 신뢰도, 향상도 등의 여러 가지 흥미도 측도를 기반으로 하여 항목들 간의 관련성을 찾아내는 것이다. 그러나 기본적인 연관성 평가 기준만으로는 두 항목 간의 인과관계를 설명할 수 없을 뿐만 아니라 연관성의 방향도 파악할 수 없다. 본 논문에서는 이러한 문제를 해결하기 위해 인과적 확인 연관성 평가 기준을 제안하는 동시에, 제안한 평가 기준들이 흥미도 측도의 조건을 충족하는지의 여부를 점검하였다. 본 논문에서 제안한 인과적 확인 향상도는 세 가지 조건 모두를 만족하는 것으로 입증되었다. 인과적 확인 지지도와 인과적 확인 신뢰도는 동시 발생 확률의 값에 따라 단조 증가하는 조건과 각 항목의 주변 확률의 값에 따라 단조 감소하는 조건은 만족하였다. 또한 예제를 통해 기본적인 연관성 평가 기준과 인과적 연관성 평가 기준, 그리고 인과적 확인 연관성 평가 기준을 비교해 본 결과, 본 논문에서 제안하는 인과적 확인 측도들이 다른 평가 기준에 비해 가장 바람직한 측도라는 사실을 파악하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.1257-1260
• /
• 2005

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

• 한국과학교육학회지
• /
• 제25권3호
• /
• pp.382-389
• /
• 2005

이 연구는 학생들이 제시된 상황에 대해 자신의 예상이 옳은지 또는 틀린지를 확인하였을 때, 예상의 확인 결과가 인지갈등과 개념변화에 영향을 미치는지, 그리고 물리 학업 성취도에 따라 예상의 확인 결과가 인지갈등과 개념변화에 미치는 영향에는 차이가 있는지를 알아보는 것이다. 고등학교 2학년 186명을 대상으로, 학생들이 무중력 상태에 관한 두 문항의 사전개념 검사문항에 대해 답하도록 하였다. 그 중 한 문항에 대해서만 시범실험을 실시하여 학생들이 자신이 예상한 답이 옳았는지 틀렸는지를 확인하게 하고, 인지갈등 정도를 측정하였다. 간단한 수업 처치 후, 사후개념을 검사하여 개념변화 정도를 확인하였다. 연구 결과, 자신의 예상이 틀렸다는 것을 확인한 학생들이 자신의 예상이 옳았다는 것을 확인한 학생들에 비해 인지갈등과 개념변화가 유의미하게 더 많이 일어났다. 그리고 학업 성취도가 높은 경우에는 예상의 확인 결과에 따라 인지갈등과 개념변화에 유의미한 차이를 보이지 않았으나 학업 성취도가 낮은 경우에는 예상의 확인 결과가 틀렸을 때가 예상의 확인 결과가 옳았을 때보다 인지갈등 점수와 사후개념 점수가 높게 나타나는 경향을 볼 수 있었다. 즉, 예상의 확인 결과는 학업 성취도가 높은 경우보다 학업 성취도가 낮은 경우 인지갈등과 개념변화에 더 영향을 미치는 것으로 나타났다.

• 천문학회보
• /
• 제37권2호
• /
• pp.185.2-185.2
• /
• 2012

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

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2000년도 추계학술발표논문집
• /
• pp.538-541
• /
• 2000

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

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 추계학술대회
• /
• pp.489-492
• /
• 2011

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

• 한국정보과학회논문지:정보통신
• /
• 제34권3호
• /
• pp.175-185
• /
• 2007

IEEE 802.15.4 표준에서 데이타 또는 명령프레임의 성공적인 수신과 검증은 확인(Acknowledgment) 프레임을 통해 수행되어 진다. 하지만, 현재의 표준에서는 확인 프레임을 위한 어떠한 보안 기능도 제공하고 있지 않으며, 악의적인 노드는 언제든지 확인 프레임을 이용한 공격이 가능하다. 본 논문에서는 IEEE 802.15.4 네트워크 환경에서 확인 프레임을 위한 링크 레이어 (link-layer) 상의 개체 인증 메커니즘을 제안한다. 제안된 메커니즘은 인증을 위해 3바트의 값을 사용하므로 디바이스의 오버헤드를 크게 감소시킬 수 있다. 개체 인증에 사용되는 암호화된 비트 스트림은 연결설정 (association) 과정을 통해 코디네이터로부터 디바이스에게 전달되어진다. 확률적인 이론과 시abf레이션 결과를 통해 제안된 메커니즘이 MAC 레이어의 공격을 효과적으로 탐지할 수 있음을 증명한다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1998년도 종합학술발표회논문집
• /
• pp.9-20
• /
• 1998

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