보안 프로토콜 표기법

Security protocol notation

암호학에서 보안(엔지니어링) 프로토콜 표기법은 프로토콜 내레이션[1] 및 앨리스 & 밥 표기법으로도 알려져 있으며 컴퓨터 네트워크와 같은 동적 시스템의 엔티티 간에 대응하는 프로토콜을 표현하는 방법입니다.형식 모델의 맥락에서, 그것은 그러한 시스템의 특성에 대한 추론을 가능하게 한다.

표준 표기법은 통신을 원하는 일련의 주체(종래에는 Alice, Bob, Charlie 등)로 구성됩니다.서버 S, 공유 키 K, 타임스탬프 T에 액세스 할 수 있어 인증 목적으로 난스N을 생성할 수 있습니다.

간단한 예는 다음과 같습니다.

이것은 Alice가 공유 키A,B K로 암호화된 일반 텍스트 X로 구성된 Bob을 위한 메시지를 의도하고 있음을 나타냅니다.

또 다른 예는 다음과 같습니다.

이것은 Bob이 Alice의 공개키를 사용하여 암호화된 난스N으로B 구성된 Alice를 위한 메시지를 의도하고 있음을 나타냅니다.

두 개의 첨자 K가A,B 있는 키는 대응하는 두 개인이 공유하는 대칭 키입니다.하나의 첨자A K가 있는 키는 대응하는 개인의 공개 키입니다.개인 키는 공개 키의 역순으로 표시됩니다[how?].

이 표기법은 조작만을 지정하고 그 의미는 지정하지 않습니다.예를 들어 개인 키 암호화와 시그니처는 동일하게 나타냅니다.

이렇게 복잡한 프로토콜을 표현할 수 있습니다.예로서 Kerberos를 참조해 주세요.일부 소스에서는 이 표기법을 Kerberos [2]표기법이라고 부릅니다.일부 저자는 Steiner, Neuman 및 Schiller가[3] 사용한 표기법을 주목할 만한 [4]참조로 간주합니다.

이러한 방식으로 보안 프로토콜을 설명할 수 있는 몇 가지 모델이 있으며, 그 중 하나가 BAN 로직입니다.

보안 프로토콜 표기법은 안무 프로그래밍에 사용되는 많은 프로그래밍 언어에 영감을 주었습니다.

레퍼런스

  1. ^ Briais, Sébastien; Nestmann, Uwe (2005). "A formal semantics for protocol narrations" (PDF). Lecture Notes in Computer Science. 3705: 163–181. Bibcode:2005LNCS.3705..163B. doi:10.1007/11580850_10. ISBN 978-3-540-30007-6.
  2. ^ Chappell, David (1999). "Exploring Kerberos, the Protocol for Distributed Security in Windows 2000". Microsoft Systems Journal. Archived from the original on 2017-08-15.
  3. ^ Steiner, J. G.; Neuman, B. C.; Schiller, J. I. (February 1988). "Kerberos: An Authentication Service for Open Network Systems" (PDF). Proceedings of the Winter 1988 Usenix Conference. Usenix. Berkeley, CA: USENIX Association. pp. 191–201. Retrieved 2009-06-10.
  4. ^ Davis, Don; Swick, Ralph (1989-03-17). Workstation Services and Kerberos Authentication at Project Athena (PS). p. 1. Retrieved 2009-06-10. …our notation follows Steiner, Neuman, & Schiller,…


Stub icon

이 암호 관련 기사는 스텁입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.