신뢰의 최소 가정: 프로토콜 검증의 약한 가정들
본 연구는 프로토콜이 보안 목표를 달성하기 위해 필요한 최소한의 신뢰 가정 집합을 찾는 방법을 제시하고, 이를 공격 시나리오에 적용하여 각 공격을 막는 데 필요한 가정의 집합을 정의한다. 연구진은 자체 분석 도구와 CPSA를 사용하여 10개 프로토콜 및 그 변형에 대해 18가지 목표에 대한 최소 신뢰 가정을 도출하였다.
시사점 프로토콜 설계 시 달성하고자 하는 보안 목표에 따라 필요한 최소한의 신뢰 가정을 명확히 정의하는 것이 중요하다.