プロトコル機械

プロトコル機械の状態遷移図を基にして、通信プログラムのロジックが矛盾なく動作するかを検証する。

通信スタック内では、各層のプロトコル機械が独立して動作し、メッセージのやり取りを制御している。

プロトコル機械が定義されていない不正な状態に陥ったため、安全策としてセッションを強制終了させた。