本研究では、マルチパーティセッション型を用いてTCPプロトコルの実装を行い、Rustプログラミング言語でその検証を行った。これにより、セッション型理論をトランスポート層プロトコルに適用する初めての取り組みを示した。