【手続補正書】
【提出日】平成23年8月2日(2011.8.2)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
食い違い取り消しシステムであって、
デバイスと、
トランスポートに結合され、前記デバイス上で動作して、該トランスポートを介して遠隔の食い違い取り消しプロトコル・モジュールとの間でメッセージを送受信すると共に、アプリケーションと結合され、前記メッセージからのメッセージ・データを前記アプリケーションと交換する食い違い取り消しプロトコル・モジュールと、
前記食い違い取り消しプロトコル・モジュールに記憶され且つ維持されて、送出されるメッセージを形成する際及び受信されるメッセージを確認する際に使用される１組の状態変数であって、
前記食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するよう構成されたナンス変数と、
前記遠隔の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するよう構成されたリモート・ナンス変数と、
前記食い違い取り消しプロトコル・モジュールから前記遠隔の食い違い取り消しプロトコル・モジュールへ送出された最後のメッセージを一義的に識別するよう構成されたカウンター変数と、
前記遠隔の食い違い取り消しプロトコル・モジュールから送出されて前記食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別するよう構成されたリモート・カウンター変数と
を含む状態変数と、
を備える、食い違い取り消しシステム。
【請求項２】
前記食い違い取り消しプロトコル・モジュールが前記遠隔の食い違い取り消しプロトコル・モジュールへ第１のメッセージを送出し、該第１のメッセージが前記遠隔の食い違い取り消しプロトコル・モジュールによって受信されないうちに、前記遠隔の食い違い取り消しプロトコル・モジュールが前記食い違い取り消しプロトコル・モジュールへ第２のメッセージを送出したとき、前記第１のメッセージと前記第２のメッセージの間の食い違いが生じ、これら食い違った２つのメッセージが検出されて削除される、請求項１に記載のシステム。
【請求項３】
前記１組の状態変数のうちの前記ナンス変数が、それぞれの送出メッセージのヘッダーのナンス・フィールドにコピーされる、請求項１に記載のシステム。
【請求項４】
前記１組の状態変数のうちの前記カウンター変数が、それぞれの送出メッセージのヘッダーのカウンター・フィールドにコピーされる、請求項１に記載のシステム。
【請求項５】
前記遠隔の食い違い取り消しプロトコル・モジュールから受信されたメッセージのヘッダーのフィールドからの値が、前記１組の状態変数のうちの前記リモート・ナンス変数として記憶される、請求項１に記載のシステム。
【請求項６】
前記遠隔の食い違い取り消しプロトコル・モジュールから受信されたメッセージのヘッダーのフィールドからの値が、前記１組の状態変数のうちの前記リモート・カウンター変数として記憶される、請求項１に記載のシステム。
【請求項７】
前記食い違い取り消しプロトコル・モジュールが、前記２つのメッセージの食い違いを検出したときに競争処理状態に入る、請求項２に記載のシステム。
【請求項８】
前記食い違い取り消しプロトコル・モジュールが、前記競争処理状態にあるときに、前記遠隔の食い違い取り消しプロトコル・モジュールにピング・メッセージを送出し、
前記ピング・メッセージが、ナンス・フィールド、カウンター・フィールド、リモート・ナンス・フィールド及びリモート・カウンター・フィールドを含むヘッダーを備えているが、アプリケーション・メッセージを備えておらず、
前記ナンス・フィールドが前記ナンス変数のコピーを含み、
前記リモート・ナンス・フィールドが前記リモート・ナンス変数のコピーを含み、
前記カウンター・フィールドが前記カウンター変数のコピーを含み、
前記リモート・カウンター・フィールドが前記リモート・カウンター変数のコピーを含む、
請求項７に記載のシステム。
【請求項９】
前記食い違い取り消しプロトコル・モジュールが、正常状態にあるときにメッセージを送出し、
前記メッセージが、ナンス・フィールド、カウンター・フィールド、リモート・ナンス・フィールド、リモート・カウンター・フィールド及びアプリケーション・メッセージ・フィールドを含むヘッダーを備え、
前記ナンス・フィールドが前記ナンス変数のコピーを含み、
前記リモート・ナンス・フィールドが前記リモート・ナンス変数のコピーを含み、
前記カウンター・フィールドが前記カウンター変数のコピーを含み、
前記リモート・カウンター・フィールドが前記リモート・カウンター変数のコピーを含む、
請求項１に記載のシステム。
【請求項１０】
食い違い取り消しシステムにおいて入力メッセージを処理する方法であって、
デバイス上で動作する食い違い取り消しプロトコル・モジュールにより、ナンス値とリモート・ナンス値とカウンター値とリモート・カウンター値とを含むヘッダーを備える入力メッセージであって、別のデバイス上で動作する遠隔の食い違い取り消しプロトコル・モジュールから送信される入力メッセージを受信するステップと、
前記入力メッセージの前記ヘッダーの前記ナンス値を、前記食い違い取り消しプロトコル・モジュールによって記憶され且つ維持される複数の状態変数のうちのリモート・ナンス状態変数と比較するステップであって、前記ナンス値により前記遠隔の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別し、前記ナンス状態変数により前記食い違い取り消しプロトコル・モジュールの現在のセッションを識別するステップと、
前記入力メッセージの前記ヘッダーの前記カウンター値を前記複数の状態変数のうちのリモート・カウンター状態変数と比較するステップであって、前記カウンター値により前記入力メッセージを一義的に識別し、前記リモート・カウンター状態変数により、前記遠隔の食い違い取り消しプロトコル・モジュールから送出されて前記食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別するステップと、
前記入力メッセージの前記ヘッダーの前記リモート・カウンター値を前記複数の状態変数のうちのカウンター状態変数と比較するステップであって、前記リモート・カウンター値により、前記食い違い取り消しプロトコル・モジュールから送出されて前記遠隔の食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別し、前記カウンター状態変数により、前記食い違い取り消しプロトコル・モジュールから前記遠隔の食い違い取り消しプロトコル・モジュールへ送出された最後の有効なメッセージを一義的に識別するステップと、
を備える方法。
【請求項１１】
前記入力メッセージの前記ヘッダーの前記ナンス値をリモート・ナンス状態変数と比較する前記ステップが不一致を示すならば、前記複数の状態変数を無効にして前記リモート・ナンス状態変数を前記ナンス値にセットするステップを更に備える、請求項１０に記載の方法。
【請求項１２】
前記入力メッセージの前記ヘッダーの前記カウンター値をリモート・カウンター状態変数と比較する前記ステップが、前記カウンター値が前記リモート・カウンター状態変数よりも大きくないことを示すならば、前記入力メッセージを削除するステップを更に備える、請求項１０に記載の方法。
【請求項１３】
前記入力メッセージの前記ヘッダーの前記リモート・カウンター値をカウンター状態変数と比較する前記ステップが不一致を示すならば、前記入力メッセージを削除して競争処理状態へ遷移するステップを更に備える、請求項１０に記載の方法。
【請求項１４】
前記入力メッセージの前記ヘッダーの前記ナンス値をリモート・ナンス状態変数と比較する前記ステップが一致を示し、前記入力メッセージの前記ヘッダーの前記カウンター値をリモート・カウンター状態変数と比較する前記ステップが、前記カウンター値の方が前記リモート・カウンター状態変数よりも大きいことを示し、前記入力メッセージの前記ヘッダーの前記リモート・ナンス値をナンス状態変数と比較する前記ステップが一致を示し、且つ、前記入力メッセージの前記ヘッダーの前記リモート・カウンター値をカウンター状態変数と比較する前記ステップが一致を示すならば、前記入力メッセージの少なくとも一部をアプリケーションへ渡すステップを更に備える、請求項１０に記載の方法。
【請求項１５】
第１の食い違い取り消しシステムを第２の食い違い取り消しシステムと再同期させる方法であって、
デバイス上で動作する前記第１の食い違い取り消しプロトコル・モジュールにおいて、１組の状態変数を記憶するステップであって、前記１組の状態変数が、前記第１の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するナンス変数と、前記第２の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するリモート・ナンス変数と、前記第１の食い違い取り消しプロトコル・モジュールから前記第２の食い違い取り消しプロトコル・モジュールへ送出された最後のメッセージを一義的に識別するカウンター変数と、前記第２の食い違い取り消しプロトコル・モジュールから送出されて前記第１の食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別するよう構成されたリモート・カウンター変数とを含むステップと、
出力ピング・メッセージを送出する次の区間を決定するステップと、
前記出力ピング・メッセージを前記次の区間に前記第２の食い違い取り消しシステムへ送出するステップであって、前記出力ピング・メッセージが、ナンス・フィールド、カウンター・フィールド、リモート・ナンス・フィールド及びリモート・カウンター・フィールドを含むヘッダーを備えているが、アプリケーション・メッセージを備えておらず、前記ナンス・フィールドが前記ナンス変数のコピーを含み、前記リモート・ナンス・フィールドが前記リモート・ナンス変数のコピーを含み、前記カウンター・フィールドが前記カウンター変数のコピーを含み、前記リモート・カウンター・フィールドが前記リモート・カウンター変数のコピーを含むステップと、
前記第２の食い違い取り消しシステムからの入力メッセージを検出するステップと、
前記入力メッセージを受信した際に、前記入力メッセージがピング・メッセージであるならば、一時記憶されたメッセージを前記第２の食い違い取り消しシステムへ送出し、前記第１の食い違い取り消しシステムを正常状態へ遷移させるステップと、
を備える方法。
【請求項１６】
バックオフ・アルゴリズムに基づいて、次の区間を決定するステップを更に備える、請求項１５に記載の方法。
【請求項１７】
前記入力メッセージが有効であるかどうかを決定し、前記入力メッセージが有効でないならば前記入力メッセージを削除するステップを更に備える、請求項１５に記載の方法。
【請求項１８】
請求項１０〜１７のうちのいずれか１つに記載の方法をコンピューターに実行させるためのコンピューター実行可能命令を記憶したコンピューター読み取り可能記憶媒体。