스마트 계약 보안을 위한 불변성 효과성 해부

스마트 계약 거래에서 공격자의 비정상적인 행동 패턴을 탐지하고 중지하기 위해 다양한 불변성 검사 기법의 실효성을 분석하였다.