이 연구는 번개 네트워크의 단일 홉 지불 프로토콜을 공식적으로 모델링하고 검증했다. 연구진은 프로토콜의 동시성과 오류 의미론을 포착하는 상세한 유한 상태 기계 모델을 구축했다. 이를 통해 프로토콜의 안전성을 나타내는 5가지 속성을 정의했다.
검증 결과, 2개의 속성이 위반될 수 있음을 발견했다. 첫 번째 위반은 기존에 보고된 혼잡 공격을 재현한 것이다. 두 번째 위반은 연구진이 발견한 새로운 공격인 지불 경쟁 공격이다. 이 공격은 진행 중인 지불이 모호한 상태에 빠져 당사자 중 한 명이 자금을 부당하게 청구할 수 있는 상황을 초래한다.
연구진은 이 공격을 실제 테스트베드 환경에서 재현했으며, 이를 통해 공격의 실용성을 확인했다. 또한 이 공격에 대한 완화 방안과 그 한계에 대해 논의했다.
To Another Language
from source content
arxiv.org
Дополнительные вопросы