Provably secure identification protocol based on the bilinear diffie-hellman problem = 겹선형 디피-헬만 문제에 기반한 안전성 증명 가능 식별 프로토콜

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 544
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorKim, Kwang-Jo-
dc.contributor.advisor김광조-
dc.contributor.authorKim, Myung-Sun-
dc.contributor.author김명선-
dc.date.accessioned2011-12-30-
dc.date.available2011-12-30-
dc.date.issued2002-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=392164&flag=dissertation-
dc.identifier.urihttp://hdl.handle.net/10203/55139-
dc.description학위논문(석사) - 한국정보통신대학원대학교 : 공학부, 2002, [ xi, 54 p. ]-
dc.description.abstractWe interact and transact by directing flocks of digital packets towards each other through cyberspace, carrying love notes, digital cash, and secret corporate documents. However, the technical wizardry enabling remote collaborations is founded on broadcasting everything as sequences of zeros and ones that one``s own dog wouldn``t recognize. How should you know that it $\emph{really is}$ me requesting from a laptop in Fiji a transfer of $100,000,000 to a bank. Fortunately, the magical mathematics of cryptography can help. That is, we need to have techniques that play a role of allowing one party to gain assurance that the identity of another is as declared. Names for such techniques include $\emph{identification}$ or$ \emph{identity verification}$. To guarantee that an identification protocol withstands the attacks, the designed identification protocol should be strictly proven to be secure. However, the design of provably secure identification protocol has been regarded as a difficult task, but a fundamental task. As in the design of other cryptographic protocols, in provable security for identification schemes, first precise definitions of various attacks is given and then, using complexity theoretical techniques such as cryptographic reductions, their security is analyzed in mathematical way. In this thesis, we deal with an interactive identification scheme based on the bilinear Diffie-Hellman problem and analyze its security. The scheme is more efficient than the Schnorr scheme and the Okamoto scheme with respect to preprocessing of prover and on-line processing overhead of both parties (prover and verifier). At the same time, security of our scheme is higher than or equal to previous schemes. We prove that this scheme is secure against active attacks as well as passive attacks if the bilinear Diffie-Hellman problem is intractable. Our proof is based on the fact that the computational Diffie-Hellman problem is hard in the additive group of points of an e...eng
dc.languageeng-
dc.publisher한국정보통신대학교-
dc.subjectprovable security-
dc.subjectPassive adversaries-
dc.subjectIdentification scheme-
dc.subjectBilinear Diffie-Hellman problem-
dc.subjectActive adversaries-
dc.subjectWeil pairing-
dc.subject베일 쌍-
dc.subject증명가능 안전성-
dc.subject수동 공격자-
dc.subject식별 기법-
dc.subject겹선형 디피-헬만 문제-
dc.subject능동 공격자-
dc.titleProvably secure identification protocol based on the bilinear diffie-hellman problem = 겹선형 디피-헬만 문제에 기반한 안전성 증명 가능 식별 프로토콜-
dc.typeThesis(Master)-
dc.identifier.CNRN392164/225023-
dc.description.department한국정보통신대학원대학교 : 공학부, -
dc.identifier.uid020003924-
dc.contributor.localauthorKim, Kwang-Jo-
dc.contributor.localauthor김광조-
Appears in Collection
School of Engineering-Theses_Master(공학부 석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0