신뢰성 분산에 기반한 강건한 Certified E - mail 프로토콜

서철, 양종필, 이경현

Published Apr 1, 2003• 0 citations

Abstract

Certified E-mail 프로토콜은 공정한 교환(fair exchange)을 보장하기 위하여 신뢰된 제 3자 (Trusted Third Party, TTP)를 사용한다. 그러므로, Certified E-mail을 사용하는 유저들은 원격지의 TTP를 완전히 신뢰(fully-trust)해야 한다. 만약 TTP가 훼손되거나 유저와 공모하여 악위적인 행동을 한다면 Certified E-mail 프로토콜의 공정성(fairness)은 붕괴된다. 본 논문에서는 Threshold secret sharing을 사용하여 TTP의 신뢰성을 분산시킨 강건한 Certified E-mail 프로토콜을 제안한다. 분산된 TTP(Distributed TTP, DTTP)를 사용하므로써 유저와 공모하는 악위적인(malicious) TTP에 대한 공격을 막을 수 있으며 어느 한 DTTP가 훼손되더라도 전체 프로토콜에 영향을 주지 못한다.

Related papers

전방향 안전성을 만족하며 인증서 기반이 아닌 비대화형 키 교환 프로토콜

이영경, 엄지은, 서승현 +1 more

비대화형 키 교환 프로토콜은 키 교환을 위한 별도의 통신을 없애 시스템 내 효율성을 높일 수 있는 키 교환 프로토콜이다. 그러나 개인키 업데이트를 하지 않는 일반적인 비대화형 키 교환 프로토콜은 임시키를 사용하지 않기 때문에 전방향 안전성(forward secrecy)을 만족하지 못한다. 2012년 Sang 등은 인증서를 사용하지 않는 공개키 기반의 비대화형 키 교환(CL-NIKE : Certificateless Non-Interactive Key Exchange) 프로토콜을 제안하였지만, 이에 대한 안전성 증명이 없고 전방향 안전성을 제공하지 않는다. 본 논문에서는 새로운 CL-NIKE와 그에 대한 안전성 모델을 제안하고, 제안한 프로토콜이 해당 모델에서 안전함을 DBDH 가정(Decision Bilinear Diffie-Hellman Assumption)을 기반으로 증명한다. 추가적으로 다선형 함수(Multilinear map)를 사용한 개인키 업데이트를 통해 전방향 안전성을 만족하는 인증서 기반이 아닌 비대화형 키 교환 프로토콜을 제안하고 증명한다.

정보보호학회논문지Jun 1, 20150 citations

능동적 공격자 환경에서의 자체인증 공개키에 기반한 키 분배 프로토콜의 안전성 분석

양형규

Girault는 자체 인증 공개키(self-certified public key)의 개념과 함께 이를 사용한 키 분배 프로토콜을 제안하였고, 후에 Rueppel과 Oorschot는 이를 변형한 프로토콜들을 제안하였다. 자체인증 공개키에 기반한 키 분배 프로토콜은 사용자가 자신의 비밀키를 직접 선택하므로 개인식별 정보에 기반한 방식의 문제점으로 지적되었던 신뢰센터가 임의의 사용자로 위장할 수 있는 문제를 해결할 수 있고, 또한 메모리와 계산량을 감소시킬 수 있다는 장점이 있다. 그러나, 키 분배 프로토콜의 안전성에 대한 구체적인 증명은 아직까지 미흡한 실정이다. 본 논문에서는 지금까지 제안된 자체인증 공개키에 기반한 키분배 프로토콜에 대한 능동적 공격자 환경에서의 구체적인 안전성 분석을 수행하고자 한다. 본 논문에서 고려하는 공격은 active impersonation 공격, key-compromise impersonation 공격, forward seciecy, known key security 이며, 안전성 증명에는 수학적 귀착 이론을 이용한다.

한국통신학회논문지Jan 1, 20050 citations

RSA 서명에 기반한 효율적인 공정한 예약과 교환 프로토콜

성인제, 장직현

우리는 RSA 서명에 기반한 효율적인 공정한 예약과 교환 프로토콜을 위해 검증 가능한 암호화를 일반화한 부분적인 검증 가능한 암호화를 제안한다. 부분적인 검증 가능한 암호화를 이용해서 서명에 대한 공정한 교환과 더불어 전자 계약 시 사전 계약이나 비행기 티켓에 대한 예약을 할 수 있도록 프로토콜을 확장했다. 또한 예약과 교환 시에 공정성을 보장하도록 했다. 이로써 우리는 공정한 교환 프로토콜의 교환 단계에서 발생하는 계산 양과 전송 양을 예약과 교환 단계로 분산시키는 효과를 얻었다. 그리고 마지막으로 Ateniese가 제안한 RSA 서명에 기반한 공정한 교환 프로토콜과 성능 비교를 하였다.

한국정보과학회 학술발표논문집Apr 1, 20020 citations

키 유도함수를 결합한 ID 기반 3자 복수키 동의 프로토콜

이상곤, 이훈재

복수키 동의 프로토콜의 목적은 단일키 동의 프로토콜의 거듭 실행에 비하여 계산량과 통신량 면에서 효율성을 얻기 위함이다. 최근에 ID 기반의 3자 복수키 동의 프로토콜들이 제안되었지만, unknown key-share 공격 혹은 impersonation 공격 등에 대한 취약함이 발견되어 모든 종류의 공격에 대하여 안전하면서 효율적인 ID 기반 인증된 3자 키 동의 프로토콜의 설계는 아직 미지의 문제로 남아있다. 본 논문에서는 단일키 동의 프로토콜과 키 유도함수를 결합한 복수키 동의 기법을 제안한다. 기존의 복수키 동의 프로토콜에 비하여 계산적 효율성을 증가시킬 수 있을 뿐 아니라, 안전성이 증명된 단일키 동의 프로토콜과 키 유도함수를 사용함으로써 안전성을 보장받을 수 있다.

Journal of Internet Computing and servicesJun 1, 20060 citations

정보이론에 기반한 모바일 완전 보안 메시지 전송에 대한 분석

Sun Yung Ly

정보 이론적으로 공격자가 메시지에 대한 정보를 전혀 획득할 수 없도록 메시지를 전송하는 방법으로서 완전 보안 메시지 전송(Perfectly Secure Message Transmission)이 있다. 최근 모바일 네트워크를 위한 완전 보안메시지 전송 프로토콜과 네트워크 연결성이 연구되었다. 그러나, 모바일 완전 보안 메시지 전송 프로토콜에 대한 안전성이 평가되지 않았고, 네트워크 연결성 분석만으로는 모바일 완전 보안 메시지 전송에 대한 효율성 분석이 완전하다고는 할 수 없다. 따라서, 본 논문에서는 모바일 완전 보안 메시지 전송 프로토콜을 확률적인 안전성, 절차 복잡도와 통신 복잡도 분석을 통하여 안전성과 효율성을 평가한다. 그 결과 모바일 완전 보안 메시지 전송 프로토콜은 공격자가 아무런 정보를 획득할 수 없는 (0,0)-프로토콜임과 최적 절차 복잡도를 가짐을 증명한다. 또, 전체 n명의 사용자, t명의 공모된 공격자를 가정한 네트워크 환경에서 모바일 완전 보안 메시지 전송은 O(ntlog t)의 통신 복잡도를 가지는 최적 프로토콜임을 증명한다.

한국정보기술학회논문지Jun 1, 20120 citations

효율적인 ID 기반 인증 및 키 교환 프로토콜

엄지은, 서민혜, 박종환 +1 more

사물인터넷 기술을 기반으로 한 초연결 사회에서는 다양한 성능의 기기들로부터 데이터가 수집되고, 이를 가공하여 사용자에게 새로운 서비스를 제공한다. 이 경우, 사용자의 프라이버시를 보호하고 악의적인 공격자로부터 안전한 서비스를 제공하기 위하여 기기 간 상호 인증이 필수적으로 수행되어야 한다. ID 기반 서명을 이용하면 기기 고유의 ID를 이용하여 기기 간 인증 및 키 교환을 수행할 수 있다. 그러나 기존 RSA 구조의 ID 기반 서명 기법을 이용하면 인증단계 이후에 키 교환을 위한 추가적인 파라미터 공유가 필요하기 때문에 효율성 측면에서 IoT 환경의 저성능 기기에 적용하기에 어려움이 있었다. 본 논문에서는 효율적인 ID 기반 서명을 설계하고, 이를 이용하여 인증 및 키 교환이 동시에 수행되는 효율적인 ID 기반 인증 및 키 교환 프로토콜을 제안한다. 그리고 제안하는 기법의 안전성을 RSA 일방향성에 기반하여 증명하고, 기존 기법들과의 비교를 통해 효율성을 분석한다.

정보보호학회논문지Dec 1, 20160 citations