이성적 도лев-야오 공격자: 전략 논리에서의 인센티브 인식 보안 프로토콜 검증
기존 도лев-야오(DY) 공격자 모델은 모든 가능한 공격을 시도하지만, 실제 공격자는 유용성을 극대화합니다. 본 연구는 공격 행동에 비용과 보상을 부여한 이성적 DY 공격자를 제안하고, 유한 비용 주석이 있는 병렬 게임 구조에서 이 모델의 결정 가능성을 증명합니다. 94.5% F1
시사점 이 연구는 보안 프로토콜 검증 시 실제 공격자의 이성적 행동을 고려함으로써 보다 현실적인 보안성을 평가할 수 있는 방법을 제공합니다.