TL;DR

  • 과학과 기술의 진보에는 지배적 패러다임에 도전하고 때로 이를 전복하는 과정이 필수적임.
  • 안주와 오만, 대안적 관점을 억누르려는 시도는 과학 정신에 반함.
  • 암호학의 성공적인 연구자들은 가정을 끊임없이 의심하고 새로운 취약점을 찾으며 과장된 보안 주장을 비판해 왔음.
  • 암호학 연구의 지배적 패러다임인 증명 가능한 보안은 특정 조건과 가정 아래 보안 보장을 수학적으로 엄밀하게 입증하는 정리를 중시함.
  • 이 웹사이트는 증명 가능한 보안에 더 회의적인 태도를 장려하고 해당 패러다임의 장단점을 비판적으로 분석하는 데 기여하고자 함.

과학적 진보와 패러다임

  • Thomas Kuhn의 『과학혁명의 구조』가 반세기 전에 출간된 이래, 과학기술사 연구자들은 지배적 패러다임에 도전하고 때로 이를 전복하는 일을 과학적 진보의 핵심 요소로 봐 왔음.
  • 반대로 안주와 오만, 대안적 관점을 억누르려는 시도는 과학 정신에 반함. 예를 들어 프로그램 위원회나 편집위원회를 장악하는 행위가 이에 해당함.

암호학에서의 비판적 태도

  • 이러한 일반적 관찰은 암호학에 특히 강하게 적용됨.
  • 역사적으로 가장 성공적인 암호학자들은 가정을 끊임없이 의심하고, 새로운 취약점을 찾으며, 과장된 보안 주장을 비판해야 한다는 점을 인식해 온 이들임.

증명 가능한 보안

  • 오늘날 암호학 연구를 지배하는 패러다임 가운데 하나는 ‘증명 가능한 보안(provable security)’임.
  • 이 관점은 암호 프로토콜의 보안을 신뢰하는 최선의 방법, 또는 일부가 주장하듯 유일한 방법이 적절히 정의된 보안 보장을 특정 조건과 가정 아래 입증하는 수학적으로 엄밀한 정리를 확보하는 것이라는 생각임.

웹사이트의 목적

  • 이 웹사이트는 증명 가능한 보안이라는 관점에 더 회의적이고 덜 쉽게 믿는 태도가 자리 잡도록 장려하며, 해당 패러다임의 긍정적·부정적 특성을 비판적으로 분석하는 과정에 기여하고자 함.
  • Neal Koblitz와 Alfred Menezes가 작성함.