SCTPの形式的分析：攻撃合成とパッチ検証

SCTPのセキュリティを厳密な形式手法に基づいて研究し、攻撃合成とパッチ検証を行う。