[논문 리뷰] A Group Key Establishment Scheme

Sueda Guzey, Güneş Karabulut Kurt외 1명|arXiv (Cornell University)|2021. 09. 30.

Security in Wireless Sensor Networks참고 문헌 23인용 수 7

한 줄 요약

이 논문은 벡터 공간과 내적을 이용한 새로운 군 키 설정 기법을 제안하며, 다항식 기반 군 인증 기법에 비해 경량이고 확장 가능한 대안을 제공한다. 타원곡선 암호나 라그랑주 보간법 대신 선형 대수 연산을 활용함으로써 계산 및 통신 오버헤드를 감소시켜 표준 하드웨어에서 5ms 이내로 기밀 키 생성을 달성하며, 동적 멤버 추가 기능과 부분 키 유출에 의한 해킹에 대한 강력한 저항력을 제공한다.

ABSTRACT

Group authentication is a method of confirmation that a set of users belong to a group and of distributing a common key among them. Unlike the standard authentication schemes where one central authority authenticates users one by one, group authentication can handle the authentication process at once for all members of the group. The recently presented group authentication algorithms mainly exploit Lagrange's polynomial interpolation along with elliptic curve groups over finite fields. As a fresh approach, this work suggests use of linear spaces for group authentication and key establishment for a group of any size. The approach with linear spaces introduces a reduced computation and communication load to establish a common shared key among the group members. The advantages of using vector spaces make the proposed method applicable to energy and resource constrained devices. In addition to providing lightweight authentication and key agreement, this proposal allows any user in a group to make a non-member to be a member, which is expected to be useful for autonomous systems in the future. The scheme is designed in a way that the sponsors of such members can easily be recognized by anyone in the group. Unlike the other group authentication schemes based on Lagrange's polynomial interpolation, the proposed scheme doesn't provide a tool for adversaries to compromise the whole group secrets by using only a few members' shares as well as it allows to recognize a non-member easily, which prevents service interruption attacks.

연구 동기 및 목표

• 라그랑주 보간법과 타원곡선 암호 기반 기존 군 인증 기법(GAS)의 높은 계산 및 통신 비용을 해결한다.
• 에너지 제약이 있는 장치, 예를 들어 IoT 시스템과 같은 환경에 적합한 확장 가능하고 효율적인 군 인증 방법을 개발한다.
• 모든 군 멤버가 안전하게 인증하고 새로운 멤버를 추가할 수 있도록 하여 자율 시스템 사용 사례를 지원한다.
• 일부 멤버의 개인 정보가 노출되더라도 전체 군의 해킹을 방지하여 서비스 중단 공격에 대한 내성을 높인다.
• 비용이 많이 드는 타원곡선 연산을 피하고 다항식 기반 기법의 대안으로서 안전하고 경량적인 기법을 제공한다.

제안 방법

• 군 멤버 간에 공통 기밀 키를 설정하기 위해 벡터 부분공간과 내적 계산을 활용한다.
• 각 사용자는 군 관리자가 정의한 공통 부분공간 위에 주어진 벡터의 정사영을 계산하며, 이는 그람슈미트 방법을 통한 정규직교 기저 또는 선형 시스템을 푸는 방식으로 수행된다.
• 기밀 키는 정사영 벡터에서 유도되며, 이로 인해 멤버 간의 피어 투 피어 통신 없이도 동일한 값을 계산할 수 있다.
• 이 기법은 타원곡선 연산을 피하고 내적과 선형 대수 연산에 의존함으로써 계산 비용을 감소시킨다.
• 군 관리자는 각 멤버에게 고유한 n차원 부분공간을 할당하며, 공통 키는 공개된 벡터를 이 부분공간에 정사영한 결과에서 유도된다.
• 이 방법은 동적 멤버 추가를 지원하며, 어떤 멤버도 새로운 사용자를 안전하게 인증할 수 있고, 새로운 멤버의 후원자는 공개적으로 확인 가능하다.

실험 결과

연구 질문

• RQ1 자원 제약 환경에 적합한 확장 가능하고 효율적인 군 키 설정 기법을 설계할 수 있는가?
• RQ2 내적 공간이 다항식 보간법과 타원곡선 연산을 대체하여 군 인증에서 계산 오버헤드를 줄일 수 있는가?
• RQ3 일부 멤버의 개인 정보가 노출되었을 경우에도 군 인증 기법이 해킹으로부터 보호될 수 있는가?
• RQ4 어떤 군 멤버도 안전하게 새로운 멤버를 추가할 수 있으며, 다른 멤버가 새로운 멤버의 후원자를 공개적으로 확인할 수 있는가?
• RQ5 실제 구현 환경에서 벡터 공간 기반 군 키 합의 기법의 계산 성능은 어떠한가?

주요 결과

• 제안된 기법은 표준 PC(i7-5600, 8GB RAM)에서 5ms 미만으로 기밀 키 생성을 달성하여 높은 효율성을 입증한다.
• 계산 복잡도는 부분공간의 차원 수 n에 대해 O(n²)의 내적 연산으로 제한되며, 이는 확장 가능하고 경량화된 특성을 지닌다.
• 비용이 많이 드는 타원곡선 연산(예: 점 덧셈, 점 배수)을 피함으로써 기존 기법 대비 계산 비용을 감소시킨다.
• 다항식 기반 기법과 달리, 이 기법은 소수의 멤버가 소유한 공유 정보만으로도 군 기밀을 재구성할 수 없어 보안성이 향상된다.
• 동적 멤버 추가 기능을 지원하며, 어떤 멤버도 새로운 사용자를 안전하게 인증할 수 있고, 새로운 멤버의 후원자는 그룹 내에서 공개적으로 검증 가능하다.
• 실시간 성능과 낮은 계산 부하 덕분에 이 기법은 자원이 제한된 IoT 및 모바일 네트워크 환경에 구현하기에 적합하다.