앨리스와 밥
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
앨리스와 밥은 암호학 및 정보 보안 분야에서 사용되는 가상의 인물들로, 복잡한 프로토콜과 시스템을 설명하고 이해하는 데 도움을 준다. 1978년 로널드 라이베스트의 논문에서 처음 등장했으며, 앨리스는 메시지를 보내는 측, 밥은 메시지를 받는 측을 의미한다. 이후 캐롤, 척, 이브, 맬러리 등 다양한 등장인물들이 추가되어 공격자, 방어자, 중재자 등 다양한 역할을 나타낸다. 또한, 대화형 증명 시스템이나 물리학 분야의 사고 실험에서도 사용된다.
더 읽어볼만한 페이지
- 물리학에 관한 사고 실험 - 동시성의 상대성
동시성의 상대성은 상대적으로 움직이는 기준계에서 공간적으로 분리된 두 사건의 시간 판단이 달라지는 현상으로, 아인슈타인의 특수 상대성 이론에서 절대적인 동시성이 존재하지 않음을 나타내는 핵심 개념이다. - 물리학에 관한 사고 실험 - 맥스웰의 도깨비
맥스웰의 도깨비는 맥스웰이 열역학 제2법칙에 대한 사고 실험으로 제시한 가상의 존재로, 속력이 빠른 분자와 느린 분자를 구별하여 온도 차이를 발생시키는 실험을 통해 엔트로피 감소 가능성을 제시하며 물리학계에서 활발한 논의를 촉발했다. - 견본용 이름 - 아무개
아무개는 특정 개인을 지칭하지 않고 신원을 알 수 없는 사람을 나타내는 다양한 언어 및 문화적 표현을 의미한다. - 견본용 이름 - 앨런 스미시
앨런 스미시는 영화 제작자들이 책임 회피, 갈등 등으로 인해 감독이나 제작진 대신 사용하는 가명이며, 미국 감독 조합의 규정에 따라 공식화되었고, 다양한 미디어에서 사용되다가 2000년 DGA에 의해 사용이 중단되었다. - 암호 프로토콜 - HTTPS
HTTPS는 HTTP에 보안 기능이 더해진 통신 규약으로, 웹 브라우저와 서버 간 통신을 암호화하여 보안을 강화하지만, 인증서 비용, 서버 부하, 혼합 콘텐츠 문제 등의 단점도 존재한다. - 암호 프로토콜 - IPsec
IPsec은 IP 네트워크에서 보안 통신을 제공하기 위한 프로토콜 스위트로서, 전송 모드와 터널 모드를 지원하며, AH, ESP 등의 프로토콜을 사용하여 데이터 무결성, 인증, 기밀성을 제공하고, IKE 프로토콜을 통해 보안 연결을 설정 및 키를 교환하는 개방형 표준이다.
| 앨리스와 밥 | |
|---|---|
| 일반 정보 | |
| 주제 | 가공의 인물 |
| 역할 | 화자, 예시 |
| 성별 | 남성 또는 여성 |
| 등장 작품 | 암호학 과학 공학 유머 |
| 기원 | RSA 암호 개발자 |
| 암호학적 의미 | |
| 목적 | 암호 프로토콜 및 시스템 설명 단순화 |
| 특징 | 익명성 역할 명확성 |
| 사용 예시 | 메시지 전송자: 앨리스 메시지 수신자: 밥 공격자: 이브 |
| 관련 인물 | |
| 관련 인물 | 밥 이브 캐롤 데이브 말로리 트렌트 월터 |
2. 암호학 및 정보 보안
암호학 및 정보 보안 분야에서는 복잡한 프로토콜과 시스템을 설명하고 이해하기 위해 앨리스와 밥을 비롯한 가상의 등장인물들을 사용한다. 이들은 RSA 암호에 대한 1978년 논문에서 처음 사용된 이후[1], 널리 활용되고 있다.
이러한 가상의 인물들은 각자 특정한 역할을 맡아, 암호학적 상황을 보다 쉽게 이해하고 설명하는 데 도움을 준다. 예를 들어, "밥이 공개 키 암호 시스템에서 앨리스에게 비밀 메시지 M을 어떻게 보낼 수 있을까?"[1]라는 질문은 ''A''와 ''B''를 사용하는 것보다 앨리스와 밥을 사용하여 설명하는 것이 더 직관적이다.
각 등장인물의 이름은 관례적으로 사용되며, 해당 인물의 역할과 연관된 두운을 활용한 기억술을 사용하기도 한다. 예를 들어, '악의적인'을 의미하는 맬러리(Mallory)는 적극적인 공격자를 나타낸다.
이러한 가상의 등장인물들은 브루스 슈나이어의 ''암호 기술 완정판''[35]에 대부분 인용되어 있으며, 앨리스와 밥은 암호학에서 전형적으로 사용된다. 이브(Eve) 또한 자주 사용된다.
2. 1. 기본 등장인물
앨리스와 밥은 암호학에서 메시지를 주고받는 기본적인 역할을 수행하는 가상의 인물이다. 보통 앨리스가 밥에게 메시지를 보내는 상황을 가정한다. 이 이름들은 로널드 라이베스트가 RSA 암호에 대한 1978년 논문에서 처음으로 사용했다.[1]
앨리스와 밥 외에도 다양한 역할을 수행하는 다른 등장인물들이 존재한다.
| 이름 | 역할 |
|---|---|
| 앨리스 (Alice) | 통신 과정의 첫 번째 당사자. |
| 밥 (Bob) | 통신 과정의 두 번째 당사자. |
| 캐롤 (Carol), 카를로스 (Carlos), 찰리 (Charlie) | 통신 과정의 세 번째 당사자. |
| 척 (Chuck) | 악의가 있는 통신 과정의 세 번째 당사자. |
| 크레이그 (Craig) | 비밀번호를 훔치려는 사람. |
| 데이브 (Dave), 댄 (Dan), 데이빗 (David) | 통신 과정의 네 번째 당사자. |
| 이브 (Eve) | 엿듣는 사람(eavesdropper)에서 유래. 소극적 공격자로, 앨리스와 밥 사이의 통신을 엿듣지만 내용은 바꾸지 않는다. |
| 페이데 (Faythe) | 신뢰할 만한 조언자. |
| 그레이스 (Grace) | 정부 대표(Government Representitave). |
| 하이디 (Heidi) | 멍청한 암호 제작자. |
| 아이작 (Isaac) | 보통 ISP를 뜻한다. |
| 이반 (Ivan) | 발행자(issuer). |
| 저스틴 (Justin) | 법원(justice system). |
| 맬러리 (Mallory) | 악의적인(malicious)에서 유래. 적극적 공격자로, 앨리스와 밥 사이의 통신 내용을 고치거나, 바꿔치기, 재전송하는 등 적극적으로 방해한다. |
| 마틸다 (Matilda) | 전자상거래 등에서 상인(merchant). |
| 오스카 (Oscar) | 적(opponent). 보통 맬러리와 같지만, 악의가 없을 수도 있다. |
| 올리비아 (Olivia) | 오라클 (oracle). |
| 팻 (Pat), 페기 (Peggy) | 증명자(prover). 검증자와 상호작용하여 원하는 동작이 제대로 일어났음을 보인다. 영지식 증명에서 사용. |
| 플로드 (Plod) | 경찰 (police) 머리글자를 따서 법 집행 기관. |
| 사이빌 (Sybil) | 시빌 공격을 하는 익명 공격자(pseudonymous attacker). |
| 스티브 (Steve) | 심층 암호(steganography). |
| 트렌트 (Trent) | 신뢰할 수 있는 중재자(trusted arbitrator). 중립적인 제3자. |
| 트루디 (Trudy) | 침입자(intruder), 맬러리와 유사. |
| 빅터 (Victor) | 검증자(verifier). 증명자와 상호작용하여 원하는 동작이 제대로 일어났음을 보인다. 영지식 증명에서 사용. |
| 월터 (Walter) | 앨리스와 밥 사이 통신을 감시하는 간수(warden). |
| 웬디 (Wendy) | 내부고발자 (whistleblower). |
| 조 (Zoe) | 암호 프로토콜의 맨 마지막 당사자. |
2. 1. 1. 앨리스 (Alice)
앨리스는 통신 과정의 첫 번째 당사자를 지칭하는 가상의 이름이다. 앨리스와 밥은 1978년 리베스트, 샤미르, 애들먼의 논문 "디지털 서명과 공개 키 암호 시스템을 얻는 방법"에서 처음 언급되었다.[1] 이들은 논문에서 "우리의 시나리오에서 A와 B(앨리스와 밥으로도 알려짐)는 공개 키 암호 시스템의 두 사용자라고 가정한다"고 썼다.[1]
"밥이 공개 키 암호 시스템에서 앨리스에게 비밀 메시지 M을 어떻게 보낼 수 있을까?"[1]라는 질문은 가상의 인물인 앨리스와 밥을 사용하여 설명함으로써, ''A''와 ''B''로 지칭하여 "B가 공개 키 암호 시스템에서 A에게 비밀 메시지 M을 어떻게 보낼 수 있을까?"라고 표현하는 것보다 이해하기 쉽게 만든다.
| 앨리스와 밥 | 원본이자 일반적인 등장인물이다. 일반적으로 앨리스와 밥은 메시지나 암호 키를 교환하려 한다. |
2. 1. 2. 밥 (Bob)
밥은 통신 과정의 두 번째 당사자이다. 예를 들어, "밥이 공개 키 암호 시스템에서 앨리스에게 비밀 메시지 M을 어떻게 보낼 수 있을까?"[1]라는 질문은 가상의 인물을 단순히 'A'와 'B'로 지칭하는 것보다 설명하고 이해하기 쉽다고 여겨진다.
이 이름들은 관례적으로 사용되며, "악의적인"을 의미하는 "Mallory"와 같이 두운을 활용한 기억술을 사용하여 해당 인물의 전형적인 역할과 이름을 연관시키기도 한다.
앨리스와 밥이 암호학 맥락에서 처음 언급된 것은 리베스트, 샤미르, 애들먼의 1978년 논문 "디지털 서명과 공개 키 암호 시스템을 얻는 방법"이다.[1] 이들은 "우리의 시나리오에서 A와 B(앨리스와 밥으로도 알려짐)는 공개 키 암호 시스템의 두 사용자라고 가정한다"고 썼다.[1]
몇 년 안에 암호학 문헌에서 앨리스와 밥에 대한 언급은 흔한 비유가 되었다. 암호학자들은 종종 학술 논문을 앨리스와 밥에 대한 언급으로 시작했는데, 마이클 라빈은 1981년 논문에서 "밥과 앨리스는 각각 비밀 SB와 SA를 가지고 있으며, 이를 서로 교환하고 싶어한다"고 시작했다.[6]
1983년 블룸은 앨리스와 밥의 불안정한 관계에 대한 비하인드 스토리를 만들어 "앨리스와 밥은 최근에 이혼했고, 서로를 불신하지만, 여전히 함께 사업을 한다. 그들은 서로 다른 해안에 살며, 주로 전화로 소통하고, 컴퓨터를 사용하여 전화로 사업을 거래한다"고 썼다.[8] 1984년 존 고든은 앨리스와 밥에 대한 "만찬 후 연설"을 했는데,[9] 이를 앨리스와 밥의 최초의 "결정적인 전기"라고 상상했다.[10]
| 앨리스와 밥 | 원본이자 일반적인 등장인물이다. 일반적으로 앨리스와 밥은 메시지나 암호 키를 교환하려 한다. |
|---|
2. 2. 제3의 등장인물
앨리스와 밥 외에도 다양한 인물들이 암호학 프로토콜에서 역할을 수행한다. 이들은 알파벳 순서대로 이름을 가지며, 홀수 번째 알파벳에는 여성 이름, 짝수 번째 알파벳에는 남성 이름을 사용하는 것이 일반적이다.- 이브(Eve): '엿듣는 사람(eavesdropper)'에서 유래한 이름으로, 소극적인 공격자를 의미한다. 앨리스와 밥 사이의 통신을 엿듣지만, 내용을 변경하지는 않는다. 양자 암호에서는 '환경'을 나타내기도 한다.
- 맬러리(Mallory): '악의적인(malicious)'에서 유래한 이름으로, 적극적인 공격자를 의미한다. 맬러리는 앨리스와 밥 사이의 통신 내용을 변경하거나, 메시지를 바꿔치기하거나, 이전 메시지를 재전송하는 등 적극적으로 통신을 방해한다.
- 트렌트(Trent): 신뢰할 수 있는 중재자(trusted arbitrator)를 의미하며, 중립적인 제3자를 뜻한다.
- 오스카(Oscar): 적(opponent)을 의미하며, 맬러리와 비슷한 역할을 하지만 악의가 없을 수도 있다는 점이 다르다.
- 페기(Peggy) 와 빅터(Victor): 영지식 증명에서 자주 사용되는 역할이다. 페기는 증명자(prover)이고, 빅터는 검증자(verifier)이다. 이들은 서로 메시지를 주고받아 원하는 동작이 제대로 일어났음을 보인다.
- 월터(Walter): 앨리스와 밥 사이의 통신을 감시하는 간수(warden) 역할을 한다.
- 아이작(Isaac): ISP를 뜻한다.
- 이반(Ivan): 발행자(issuer)를 뜻한다.
- 저스틴(Justin): 법원(justice system)을 뜻한다.
- 마틸다(Matilda): 전자상거래 등에서 상인(merchant)을 뜻한다.
- 트루디(Trudy): 침입자(intruder)를 뜻하며 맬러리와 비슷하다.
- 조이(Zoe): 암호 프로토콜의 마지막 당사자를 가리킨다.
이 외에도, 대화형 증명 체계에서는 증명자는 무한한 계산 능력을 가진다는 설정으로 인해 마법사 멀린의 이름을 따서 멀린이라고 부르며, 검증자는 아서라고 부른다.
2. 2. 1. 캐롤 (Carol) / 카를로스 (Carlos) / 찰리 (Charlie)
캐롤(Carol), 카를로스(Carlos), 찰리(Charlie)는 통신 과정에서 앨리스와 밥 외에 추가되는 세 번째 참가자를 의미한다.[1]| 이름 | 역할 |
|---|---|
| 캐롤, 카를로스 또는 찰리 | 일반적인 세 번째 참가자. |
2. 2. 2. 척 (Chuck) / 채드 (Chad)
척(Chuck) 또는 채드(Chad)는 통신 과정에서 악의적인 의도를 가진 세 번째 참가자를 의미한다.[14] 이들은 앨리스나 밥에게 해를 끼치려는 목적으로 통신에 참여한다.2. 2. 3. 데이브 (Dave) / 댄 (Dan) / 데이빗 (David)
댄, 데이브 또는 데이비드는 통신 과정의 네 번째 참가자를 지칭하며, 일반적으로 앨리스, 밥, 캐롤에 이어 등장한다.[13]2. 2. 4. 에린 (Erin)
에린은 통신 과정에서 다섯 번째 참가자 역할을 하지만, "E"가 보통 도청자인 이브(Eve)에게 사용되기 때문에 거의 사용되지 않는다.2. 2. 5. 프랭크 (Frank)
프랭크는 통신 과정에서 일반적인 여섯 번째 참가자이다.[13]2. 3. 공격자 및 방어자
앨리스와 밥은 암호학에서 널리 쓰이는 가상의 인물들이다. 앨리스가 밥에게 메시지를 보내는 상황을 가정하며, 로널드 라이베스트가 RSA 암호에 대한 1978년 논문에서 처음 사용했다.[13] 그 외에도 다양한 역할의 인물들이 등장한다.- '''A 앨리스'''(Alice): 통신 과정의 첫 번째 당사자이다.
- '''B 밥'''(Bob): 통신 과정의 두 번째 당사자이다.
- '''C'''
- * '''캐롤'''(Carol), '''카를로스'''(Carol), '''찰리'''(Charlie): 통신 과정의 세 번째 당사자이다.
- * '''척'''(Chuck): 악의를 가진 통신 과정의 세 번째 당사자이다.
- * '''크레이그'''(Craig): 비밀번호를 훔치려는 사람이다.
- '''D 데이브'''(Dave), '''댄'''(Dan), '''데이빗'''(David): 통신 과정의 네 번째 당사자이다.
- '''E 에린'''(Erin): 통신 과정의 다섯 번째 당사자이지만 거의 쓰이지 않는다.
- '''F 페이데'''(Faythe): 신뢰할만한 조언자(Faith)이며, 프랭크(Frank)는 여섯번째 당사자이다.
- '''G 그레이스'''(Grace): 정부 대표(Government Representitrave)이다.
- '''H 하이디'''(Heidi): 멍청한 암호제작자(mischievous designer)를 뜻하나 거의 쓰지 않는다.
- '''I'''
- * '''아이작'''(Isaac): 보통 ISP를 뜻한다.
- * '''이반'''(Ivan): 발행자(issuer)를 뜻한다.
- '''J 저스틴'''(Justin): 법원(justice system)을 뜻한다.
- '''M 마틸다'''(Matilda): 전자상거래 등에서 상인(merchant)을 뜻한다.
- '''N 니아지'''(Niaj): 동남아권에서 소극적 공격자를 뜻하는 표현으로 자주 쓴다.
- '''P'''
- * '''페기'''(Peggy): 증명자(prover)이다. 검증자 V와 서로 메시지를 주고받아 원하는 동작이 제대로 일어났음을 보인다. 영지식 증명에서 흔히 사용한다. 텔레비전 쇼 《Wheel of Fortune》의 진행자 이름을 따서 '''팻'''(Pat)과 바나(Vanna)라고 하기도 한다.
- * '''플로드'''(Plod): 경찰(police)의 머리글자 P를 딴 것이며 법집행 기관을 뜻한다.
- '''S'''
- * '''사이빌'''(Sybil): 익명 공격자(pseudonymous attacker)로서 주로 sybil attack을 한다.
- * '''스티브'''(Steve): 흔히 심층 암호(steganography)를 뜻한다.
- '''T 트렌트'''(Trent): 신뢰할 수 있는 중재자(trusted arbitrator)를 뜻하며, 흔히 중립적인 제3자를 뜻한다. '''테드'''(Ted)로 쓰기도 한다.
- '''V 빅터'''(Victor): 검증자(verifier)이다. 증명자 P와 서로 메시지를 주고받아 원하는 동작이 제대로 일어났음을 보인다. 영지식 증명에서 흔히 사용한다. 텔레비전 쇼 《Wheel of Fortune》의 진행자 이름을 따서 팻(Pat)과 '''바나'''(Vanna)라고 하기도 한다.
- '''Z 조'''(Zoe): 보통 암호 프로토콜의 맨 마지막 당사자를 가리킨다. 알파벳 순서에서 맨 끝이기 때문이다.
대화형 증명 체계에서 사용하는 이름도 있다.
- '''아서'''(Arthur)와 '''멀린'''(Merlin): IPSs에서 증명자는 무한한 계산능력을 가지고 있으므로 아서왕 전설에 나오는 마법사 멀린의 이름을 따서 멀린이라고 부른다. 이 경우 검증자는 아서라고 부른다. 이 이름에서 딴 복잡도 종류 MA와 AM도 있다.
- '''폴'''(Paul)과 '''캐롤'''(Carole): 폴은 질문하고, 캐롤은 대답한다. 조합론적 게임에서는 Pusher 와 Chooser를 뜻한다.
- '''아서'''(Arthur)와 '''베르타'''(Bertha): 조합론적 게임에서, 아서는 왼쪽이나 검정 또는 수직 참가자를 뜻하고, 베르타는 오른쪽이나 하양 또는 수평 참가자를 말한다. 의미를 추가하면 아서는 같은 결과에 대해서 최소한으로 움직이기를 선호하고, 베르타는 최대한 많이 움직이기를 선호한다.
2. 3. 1. 이브 (Eve)
이브(Eve)는 엿듣는 사람(eavesdropper)을 의미하며, 소극적인 공격자 역할을 한다.[11] 앨리스와 밥 사이의 통신 내용을 엿들을 수는 있지만, 내용을 변경하지는 않는다.[12] 양자 암호화에서는 이브가 '환경'을 나타내기도 한다.| 역할 | 설명 |
|---|---|
| 이브 또는 이브스 | 일반적으로 수동적인 공격자인 도청자이다. 앨리스와 밥 사이의 메시지를 엿들을 수 있지만, 수정할 수는 없다. 양자 암호화에서 이브는 환경을 나타낼 수도 있다. |
| 마이클 또는 마이크 | 도청자 이브의 대안으로 사용되며, 마이크로폰에서 유래되었다. |
| 니야지 | 여러 남아시아 국가에서 도청자 이브의 대안으로 사용된다.[20] |
2. 3. 2. 말로리 (Mallory) / 말렛 (Mallet)
맬러리(Mallory)[18][19] 또는 말렛(Mallet), 다스(Darth)는 '악의적인 공격자'로, '침입자'인 트루디와 관련된다. 수동적인 도청자인 이브와 달리, 맬러리는 능동적인 공격자(종종 중간자 공격에 사용됨)이며, 메시지를 수정, 대체하거나 오래된 메시지를 재생할 수 있다. 맬러리에 대한 시스템 보안은 이브에 대한 것보다 훨씬 어렵다.2. 3. 3. 트루디 (Trudy)
트루디(Trudy)는 침입자를 의미하며, 맬러리와 유사한 역할을 수행한다.[18]2. 3. 4. 오스카 (Oscar)
오스카(Oscar)는 맬러리와 유사하지만, 반드시 악의적일 필요는 없는 ''상대''를 의미한다.[13]2. 3. 5. 월터 (Walter)
월터는 앨리스와 밥 사이의 통신을 감시하는 교도소장 역할을 하는 등장인물이다.[13]2. 3. 6. 웬디 (Wendy)
내부고발자로, 정보를 공개할 수 있는 특권을 가진 내부자이다.[13]2. 4. 특수 역할
앨리스와 밥 이외에도 특정 목적이나 프로토콜에서 사용되는 등장인물들이 있다. 이들은 각자 고유한 역할과 특징을 가지고 있으며, 암호학 및 정보 보안 분야에서 널리 사용된다.| 이름 | 역할 | 설명 |
|---|---|---|
| 캐롤 (Carol), 카를로스 (Carlos), 찰리 (Charlie) | 통신 과정의 세 번째 당사자 | |
| 척 (Chuck) | 악의적인 통신 과정의 세 번째 당사자 | 브루스 슈나이어의 암호 기술 완정판에서는 언급되지 않지만, 악의적인 의도를 가진 세 번째 참가자를 의미한다.[14] |
| 크레이그 (Craig) | 비밀번호를 훔치려는 사람 | 비밀번호 크래커로, 저장된 비밀번호가 있는 상황에서 자주 등장한다. |
| 데이브 (Dave), 댄 (Dan), 데이빗 (David) | 통신 과정의 네 번째 당사자 | |
| 에린 (Erin) | 통신 과정의 다섯 번째 당사자 | E가 보통 이브에게 사용되기 때문에 거의 쓰이지 않는다. |
| 이브 (Eve) | 소극적 공격자 (엿듣는 사람) | 엿듣는 사람(eavesdropper)에서 유래. 앨리스와 밥 사이의 통신을 엿듣지만, 내용을 변경하지는 않는다. 양자 암호화에서 환경을 나타내기도 한다. |
| 페이데 (Faythe) | 신뢰할만한 조언자 | Faith에서 유래. 고문, 택배, 중개인 역할을 하며, 키 서비스 저장소나 공유 비밀의 택배일 수 있다. |
| 프랭크 (Frank) | 통신 과정의 여섯 번째 당사자 | |
| 그레이스 (Grace) | 정부 대표 (Government Representative) | 앨리스나 밥에게 프로토콜에 백도어를 구현하도록 강요하거나, 의도적으로 표준을 약화시킬 수 있다.[15] |
| 하이디 (Heidi) | 멍청한 암호 제작자 (mischievous designer) | 암호화 표준을 위한 장난기 많은 설계자이지만, 거의 사용되지 않는다.[16] |
| 아이작 (Isaac) | ISP | |
| 이반 (Ivan) | 발행자 (issuer) | 리카디안 계약의 맥락에서 이안 그리그가 처음 언급했다.[17] |
| 저스틴 (Justin) | 법원 (justice system) | 참가자들 간의 잠재적인 분쟁을 해결하기 위해 소환될 수 있는 판사 (판사 주디 참조) |
| 맬러리 (Mallory) | 적극적 공격자 (악의적) | 악의적인(malicious)에서 유래. 중간자 공격에 사용되며, 메시지를 수정, 대체, 재생할 수 있다. 맬러리에 대한 시스템 보안은 이브보다 훨씬 어렵다. Mallet, 다스(Darth), 트루디라고도 한다. |
| 마틸다 (Matilda) | 상인 (merchant) | 전자 상거래 등에서 사용된다. |
| 마이클 (Michael), 마이크 (Mike) | 소극적 공격자 | 마이크로폰에서 유래되었으며 이브와 동일하게 사용된다. |
| 니아지 (Niaj) | 소극적 공격자 | 여러 남아시아 국가에서 이브 대신 사용된다.[20] |
| 올리비아 (Olivia) | 오라클 | 다른 참가자들의 질의에 응답하며, 숨겨진 정보나 상태를 가진 "블랙 박스" 또는 무작위 오라클 역할을 한다. |
| 오스카 (Oscar) | 적 (opponent) | 맬러리와 유사하지만, 반드시 악의적일 필요는 없다. |
| 페기 (Peggy), 팻 (Pat) | 증명자 (prover) | 영지식 증명에서 주로 발견되며, 검증자와 상호작용하여 거래가 발생했음을 보여준다. |
| 플로드 (Plod) | 경찰 (police) | 법 집행 기관을 뜻한다. |
| 루퍼트 | 부인자 | 부인 방지를 원하는 상호 작용을 위해 나타난다. |
| 사이빌 (Sybil) | 익명 공격자 (pseudonymous attacker) | 주로 시빌 공격을 한다. 다수의 신원을 사용하여 평판 시스템을 전복하려 할 수 있다. |
| 스티브 (Steve) | 심층 암호 | |
| 트렌트 (Trent), 테드 (Ted) | 신뢰할 수 있는 중재자 (trusted arbitrator) | 신뢰할 수 있는 제3자 역할을 한다. |
| 트루디 (Trudy) | 침입자 (intruder) | 맬러리와 유사하다. |
| 빅터 (Victor), 바나 (Vanna) | 검증자 (verifier) | 영지식 증명에서 증명자로부터 증명을 요구한다. |
| 월터 (Walter) | 간수 (warden) | 앨리스와 밥 사이의 통신을 감시한다. |
| 웬디 (Wendy) | 내부고발자 (whistleblower) | 정보를 공개할 수 있는 특권을 가진 내부자이다. |
| 조이 (Zoe) | 암호 프로토콜의 마지막 당사자 |
이 외에도 대화형 증명 체계에서 사용되는 이름이 있다.
- '''아서'''(Arthur)와 '''멀린'''(Merlin): IPSs에서 증명자는 무한한 계산능력을 가지고 있으므로 아서왕 전설에 나오는 마법사 멀린의 이름을 따서 멀린이라고 부른다. 이 경우 검증자는 아서라고 부른다. 이 이름에서 딴 복잡도 종류 MA와 AM도 있다.
- '''폴'''(Paul)과 '''캐롤'''(Carole): 폴은 질문하고, 캐롤은 대답한다. 조합론적 게임에서는 Pusher 와 Chooser를 뜻한다.
- '''아서'''(Arthur)와 '''베르타'''(Bertha): 조합론적 게임에서, 아서는 왼쪽이나 검정 또는 수직 참가자를 뜻하고, 베르타는 오른쪽이나 하양 또는 수평 참가자를 말한다. 의미를 추가하면 아서는 같은 결과에 대해서 최소한으로 움직이기를 선호하고, 베르타는 최대한 많이 움직이기를 선호한다.
3. 대화형 증명 시스템
대화형 증명 시스템에서 사용되는 주요 등장인물은 다음과 같다.
| 이름 | 역할 | 설명 |
|---|---|---|
| 아서와 멀린 | 멀린은 답을 제공, 아서는 질문 | 멀린은 마법사 멀린처럼 무제한의 계산 능력을 가짐. 대화형 증명 시스템에서 멀린은 명제의 진실성을 주장하고, 아서(아서 왕)는 검증 질문을 함. |
| 폴과 캐롤 | 폴은 질문, 캐롤은 답변 | 스무고개에서 폴(폴 에르되시)은 질문, 캐롤("오라클"의 애너그램)은 답변. 조합 게임 이론에서 푸셔와 선택자로 사용. |
| 아서와 베르타 | 아서는 "왼쪽", "검은색", "수직" 플레이어, 베르타는 "오른쪽", "흰색", "수평" 플레이어 | 아서는 최소 움직임, 베르타는 최대 움직임 선호. |
3. 1. 아서 (Arthur)와 멀린 (Merlin)
멀린은 무한한 계산 능력을 가진 마법사 멀린처럼 답을 제시하고, 아서(아서 왕)는 질문을 통해 그 답을 검증한다.[22] 대화형 증명 시스템에서 멀린은 어떤 명제가 참임을 주장하고, 아서는 이 주장을 검증하기 위해 질문을 던진다.3. 2. 폴 (Paul)과 캐롤 (Carole)
폴은 질문자, 캐롤은 답변자 역할을 한다. 스무고개 문제에서,[23] 폴(폴 에르되시)은 질문을, 캐롤("오라클"의 애너그램)은 답변을 했다. 폴과 캐롤은 조합 게임 이론에서 각각 푸셔와 선택자로 사용되었다.[24]3. 3. 아서 (Arthur)와 베르타 (Bertha)
아서는 조합 게임 이론에서 "왼쪽", "검은색" 또는 "수직" 플레이어이고, 베르타는 "오른쪽", "흰색" 또는 "수평" 플레이어이다. 아서는 동일한 결과가 주어질 경우, 게임이 가장 적은 수의 움직임으로 끝나기를 선호하는 반면, 베르타는 게임이 가장 많은 수의 움직임으로 끝나기를 선호한다.[25]4. 물리학
앨리스와 밥은 물리학 사고 실험에서 참여자들의 이름으로 자주 사용된다.[26][27] 필요에 따라 더 많은 알파벳 이름들이 사용되며, 일반적으로 성별이 번갈아 사용된다. 예를 들어 "앨리스와 밥 (그리고 캐롤과 딕과 이브)"과 같은 방식이다.[28]
5. 역사
앨리스와 밥이라는 이름은 1978년 로널드 라이베스트, 아디 샤미르, 레너드 애들먼의 논문 "디지털 서명과 공개 키 암호 시스템을 얻는 방법"에서 처음 등장했다.[1] 이들은 논문에서 "우리의 시나리오에서 A와 B(앨리스와 밥으로도 알려짐)는 공개 키 암호 시스템의 두 사용자라고 가정한다"고 썼다.[1]
이전 논문들에서는 암호학자들이 메시지 송신자와 수신자를 A와 B, 또는 기타 간단한 기호로 지칭했지만, 앨리스와 밥의 등장은 암호학 문헌에서 흔한 비유가 되었다. 예를 들어, 마이클 O. 라빈은 1981년 논문에서 "밥과 앨리스는 각각 비밀 SB와 SA를 가지고 있으며, 이를 서로 교환하고 싶어한다"고 시작했다.[6]
마누엘 블룸은 1983년에 앨리스와 밥의 불안정한 관계에 대한 배경 이야기를 만들었는데, "앨리스와 밥은 최근에 이혼했고, 서로를 불신하지만, 여전히 함께 사업을 한다. 그들은 서로 다른 해안에 살며, 주로 전화로 소통하고, 컴퓨터를 사용하여 전화로 사업을 거래한다"고 썼다.[8] 1984년에는 존 고든이 앨리스와 밥에 대한 "결정적인 전기"를 상상하는 만찬 후 연설을 했다.[10]
시간이 지나면서 앨리스와 밥 외에 다양한 등장인물들이 추가되었다. 1988년 찰스 베넷, 질 브라사드, 장-마크 로버트의 논문에서 "엿듣는 사람"인 이브가 처음 등장했다.[11] 브루스 슈나이어의 저서 ''응용 암호학''에는 다른 등장인물들이 나열되어 있다.[12]
참조
[1]
간행물
A Method for Obtaining Digital Signatures and Public-key Cryptosystems
1978-02-01
[2]
서적
Encyclopedia of Cryptography
Instructional Horizons, Inc
[3]
서적
On Digital Signatures and Public-Key Cryptosystems
Massachusetts Institute of Technology
1977-04
[4]
서적
Cryptographic Communications System and Method
1983-09-20
[5]
웹사이트
Security's inseparable couple: Alice & Bob
https://www.networkw[...]
2005-02-07
[6]
서적
How to exchange secrets with oblivious transfer
Aiken Computation Lab, Harvard University
1981
[7]
간행물
Coin Flipping by Telephone a Protocol for Solving Impossible Problems
1981-11-10
[8]
간행물
How to exchange (Secret) keys
[9]
간행물
Visualization of cryptographic protocols with GRACE
2008-04
[10]
웹사이트
The Alice and Bob After Dinner Speech
http://downlode.org/[...]
1984-04
[11]
간행물
Privacy Amplification by Public Discussion
[12]
서적
Applied Cryptography: Protocols, Algorithms and Source Code in C
John Wiley & Sons
2015
[13]
간행물
Efficient multiuser quantum cryptography network based on entanglement
[14]
서적
Distributed Systems: Principles and Paradigms
https://books.google[...]
Pearson Prentice Hall
[15]
arXiv
Contact Tracing Mobile Apps for COVID-19: Privacy Considerations and Related Trade-offs
[16]
서적
Advances in Cryptology – EUROCRYPT 2017
https://eprint.iacr.[...]
University of Pennsylvania and INRIA, CNRS, University of Lorraine
2016-10-12
[17]
웹사이트
Ivan The Honourable
http://iang.org/rant[...]
2002-11-24
[18]
간행물
Formalizing and Securing Relationships on Public Networks
http://firstmonday.o[...]
1997-09
[19]
Youtube
Who are Alice & Bob?
https://www.youtube.[...]
2017-05-02
[20]
웹사이트
A Collaborative Access Control Framework for Online Social Networks
http://raulpardo.net[...]
[21]
간행물
Algebraic Methods for Interactive Proof Systems
[22]
간행물
Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
1988-04
[23]
간행물
Three Thresholds for a Liar
http://math.dartmout[...]
[24]
서적
Data Streams: Algorithms and Applications
http://algo.research[...]
Now Publishers
[25]
서적
On Numbers and Games
CRC Press
[26]
웹사이트
Alice and Bob communicate without transferring a single photon
http://physicsworld.[...]
2017-06-19
[27]
간행물
Nonlinear Time Reversal in a Wave Chaotic System
2013-02-07
[28]
웹사이트
209: Notes on Special Relativity
http://www.lassp.cor[...]
2000-03-05
[29]
문서
Quantum Teleportation for Control of Dynamic Systems and Autonomy
https://arxiv.org/ft[...]
[30]
간행물
Quantum Mechatronics
2021-10-12
[31]
간행물
Automated quantum entanglement and cryptography for networks of robotic systems
[32]
간행물
Modernizing Mechatronics course with Quantum Engineering
https://peer.asee.or[...]
ASEE Conferences
2021-04-23
[33]
간행물
Quantum Network of Cooperative Unmanned Autonomous Systems
https://www.worldsci[...]
2023-09-07
[34]
간행물
Quantum Brain-Computer Interface
[35]
서적
暗号技術大全
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com