SCTP의 형식적 분석: 공격 합성 및 패치 확인

SCTP의 보안 취약점과 공격 모델에 대한 형식적 분석