[암호학 1강] 암호 수학1

GisangLee·2024년 3월 11일
0

대학원

목록 보기
12/18
post-custom-banner

1. 군 Group

군(G, +)

  • 아래 성질들을 만족하는 집합 G와 이항연산 +

닫힘 (Closure)

  • a,bGa, b \in G 라면,
    a+bGa + b \in G

결합법칙(Associative)

  • 모든 a,b,cGa,b, c \in G에 대해
    (a+b)+c=a+(b+c)(a+b) + c = a + (b + c)

항등원(Identity)

  • e+a=a+e=ae + a = a + e = aee가 존재

역원(Inversse)

  • aGa \in G에 대해
    a+a=a+a=ea^\prime + a = a + a^\prime = eaa^\prime이 존재

이 네가지를 만족하면 군 이라고 한다.

  • 대표적인 군은 자연수, 유리수, 실수가 있다.

덧셈에 대한 항등원은 0,
곱셉의 항등원은 1이다.


2. 유한군(Finite Group)

집합 GG의 원소 개수가 유한한 군(G,+)(G, +)

  • 예시)
    • ({0,1},)(\{0,1\}, \oplus) -> XOR 연산
\oplus0011
000011
111100
  • 항등원 0

  • 역원 1


3. 가환군과 순환군

가환군 (Abelian Group)

교환법칙이 추가 됨 (Commutative)

  • 모든 a,b,cGa, b, c \in G에 대해
    a+b=b+aa + b = b + a

순환군 (Cyclic Group)

G={xnnZ}G=\{x^n | n \in \mathbb{Z}\}인 생성원(Generator) xx가 존재

  • 순환군은 가환군이다.
    • 교환법칙이 자연스럽게 성립한다는 의미

4.환 (Ring)

(R,+,×)(R, +, \times)

  • 아래 성질들을 만족하는 집합 RR과 이항연산

가환군

×\times (곱셉) 에 대해 닫힘

  • a,bRa, b \in R이라면
    a×bRa \times b \in R

×\times (곱셉)에 대한 결합법칙

  • 모든 a,b,cRa, b, c \in R에 대해
    (a×b)×c=a×(b×c)(a \times b) \times c = a \times (b \times c)

분배법칙 (Distributive)

  • 모든 a,b,cRa, b, c \in R에 대해
    a×(b+c)=a×b+a×ca \times (b + c) = a \times b + a \times c
    (a+b)×c=a×c+b×c(a + b) \times c = a \times c + b \times c

모두 만족하면 환이다.


5. 가환환과 Unity (Commutative Ring)

가환환

×\times에 대한 교환법칙 추가

  • 모든 a,b,cRa, b, c \in R에 대해
    a×b=b×aa \times b = b \times a

환 with Unity

×\times에 대한 항등원이 존재할 때

  • 모든 aRa \in R에 대해
    1×a=a×11 \times a = a \times 1인 1이 존재

6. 체 (Field)

아래 성질들을 만족하는 집합 FF와 이항연산

  • 간환환 with Unity
  • ×\times에 대한 역원
    • 0이 아닌 각 aFa \in F에 대해
      a1×a=a×a1a^-1 \times a = a \times a^-1

7. 유한체 GF(2n)GF(2^n)

AES 대칭키 암호화 알고리즘을 이해하기 위한 핵심 내용

  • 집합 2n2^n개의 원소로 구성
  • 이항연산 덧셈, 곱셈: mod연산과 n차의 기약다항식을 바탕으로 함
  • 일반형은 GF(pn)GF(p^n)
    • pp는 소수

an1an2......a1a0a_{n-1}a_{n-2}......a_1a_0

  • n자리 이진수로 표현됨
    • n = 8
      • f1(x)=x6+x4+x2+x+1f_1(x) = x^6 + x^4 + x^2 + x + 1
        • 01010111 -> GF(28)GF(2^8)

profile
포폴 및 이력서 : https://gisanglee.github.io/web-porfolio/
post-custom-banner

0개의 댓글