【手続補正書】
【提出日】平成21年6月11日(2009.6.11)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
コンピューティングシステムにおいて、セキュリティ問題に対する確認を簡単化するプラットフォームコードを構成する、コンピュータにより実行される方法において、
プログラミング言語クラスが、セキュリティクリティカルデータに対するコンテナを与えるステップであって、前記プログラミング言語クラスは前記コンテナの中のセキュリティクリティカルデータと相互作用する複数のメソッドを含むことと、
前記コンテナのいくつかのメソッドをセキュリティクリティカルであると区別することによって、前記セキュリティクリティカルデータとのどの相互作用が要求されているかに応じて、前記セキュリティデータがセキュリティクリティカルなものとして取り扱われるかどうかを選択的に制御するステップであって、前記セキュリティクリティカルデータは高いアクセス権を持つメソッドを介してのみアクセス可能であって、前記高いアクセス権を持つメソッドは、
前記クラスに関するプロパティを通して、前記セキュリティクリティカルデータにアクセスするメソッドを、セキュリティクリティカルメソッドとしてマーク付けすることと、
セキュリティクリティカルデータの存在または初期化が、前記セキュリティクリティカルデータへの現実のアクセスをすることなしに非クリティカルな方法で確認され得るように、前記プログラミング言語クラスへの現実のフィールドポインティングへアクセスするメソッドが、セキュリティクリティカルメソッドではないことを示すことと、を含むことと
を備えることを特徴とする方法。
【請求項２】
前記コンテナはｇｅｔコンテナを備え、前記セキュリティクリティカルデータは高いアクセス権でマーク付けされたｇｅｔメソッドを介してのみ読み取られることが可能であって、存在／初期化検査は高いアクセス権を持たないコードによって実行できることを特徴とする請求項１に記載の方法。
【請求項３】
前記データは、クリティカルリソースへのアクセスを提供する値を含むことを特徴とする請求項２に記載の方法。
【請求項４】
前記コンテナはｓｅｔコンテナを備え、前記特定のメソッドはｓｅｔメソッドを備え、前記セキュリティクリティカルデータは高いアクセス権でマーク付けされたｓｅｔメソッドを介してのみ設定され得ることを特徴とする請求項１に記載の方法。
【請求項５】
ｇｅｔメソッドをさらに備え、前記データは高いアクセス権を持たないコードによって前記ｇｅｔメソッドを介して読み取ることができることを特徴とする請求項４に記載の方法。
【請求項６】
前記データは、クリティカルリソースへのアクセスを提供する値を含むことを特徴とする請求項５に記載の方法。
【請求項７】
前記データは、アクセス権が他のコードによって高められるかどうかを示す値を含むことを特徴とする請求項５に記載の方法。
【請求項８】
前記コンテナは、ダウンロードされたコードが実行されるようにするプラットフォームコードにおいて実装され、分析ツールを介して前記プラットフォームコードを分析するステップをさらに備えることを特徴とする請求項１に記載の方法。
【請求項９】
コンピュータシステムにおいて使用されるコンピュータプログラムであって、前記プログラムは、セキュリティ問題に対する確認を簡単化するプラットフォームコードを構成する方法を実行し、前記コンピュータシステムは、プロセッサにおいて実行されたときに前記方法をコンピュータシステムに実施させるコンピュータ実行可能命令を記憶させた１つ以上のコンピュータ記憶媒体を含み、前記方法は、
プログラミング言語クラスが、セキュリティクリティカルデータに対するコンテナを与えるステップであって、前記プログラミング言語クラスは前記コンテナの中のセキュリティクリティカルデータと相互作用する複数のメソッドを含むことと、
前記コンテナのいくつかのメソッドをセキュリティクリティカルであると区別することによって、前記セキュリティクリティカルデータとのどの相互作用が要求されているかに応じて、前記セキュリティデータがセキュリティクリティカルなものとして取り扱われるかどうかを選択的に制御するステップであって、前記セキュリティクリティカルデータは高いアクセス権を持つメソッドを介してのみアクセス可能であって、前記高いアクセス権を持つメソッドは、
前記クラスに関するプロパティを通して、前記セキュリティクリティカルデータにアクセスするメソッドを、セキュリティクリティカルメソッドとしてマーク付けすることと、
セキュリティクリティカルデータの存在または初期化が、前記セキュリティクリティカルデータへの現実のアクセスすることなしに非クリティカルな方法で確認され得るように、前記プログラミング言語クラスへの現実のフィールドポインティングへアクセスするメソッドが、セキュリティクリティカルメソッドではないことを示すことと、を含むことと
を特徴とするプログラム。
【請求項１０】
コンピュータシステムにおいて使用されるコンピュータプログラムであって、前記プログラムは、セキュリティ問題に対する確認を簡単化するプラットフォームコードを構成する方法を実行し、前記コンピュータシステムは、プロセッサにおいて実行されたときに前記方法をコンピュータシステムに実施させるコンピュータ実行可能命令を記憶させた１つ以上のコンピュータ記憶媒体を含み、前記方法は、
プログラミング言語クラスが、セキュリティクリティカルデータに対するｓｅｔコンテナを与えるステップであって、前記プログラミング言語クラスは前記ｓｅｔコンテナの中のセキュリティクリティカルデータと相互作用する複数のメソッドを含み、前記複数のメソッドはｓｅｔメソッドおよびｇｅｔメソッドを含むことと、
前記ｓｅｔコンテナのいくつかのメソッドをセキュリティクリティカルであると区別することによって、前記セキュリティクリティカルデータとのどの相互作用が要求されているかに応じて、前記セキュリティデータがセキュリティクリティカルなものとして取り扱われるかどうかを選択的に制御するステップであって、前記セキュリティクリティカルデータは高いアクセス権を持つメソッドを介してのみアクセス可能であって、前記高いアクセス権を持つメソッドは、
前記ｓｅｔメソッドを、セキュリティクリティカルメソッドとしてマーク付けすることと、
前記ｇｅｔメソッドがセキュリティクリティカルメソッドではないと示すことと、を含み、
これによって、前記セキュリティクリティカルデータが前記ｇｅｔメソッドを介して、高いアクセス権を持たないコードによって読み取られ、前記セキュリティクリティカルデータが前記ｓｅｔメソッドを介して、高いアクセス権を持つコードによって設定のみをされ得ることと
を特徴とするプログラム。
【請求項１１】
前記セキュリティクリティカルデータは、クリティカルリソースへのアクセスを提供する値を含むことを特徴とする請求項１０に記載のプログラム。
【請求項１２】
前記セキュリティクリティカルデータは、アクセス権が他のコードによって高められるかどうかを示す値を含むことを特徴とする請求項１０に記載のプログラム。
【請求項１３】
高いアクセス権を持つコードから前記値を設定するよう要求を受け取るステップと、前記値を設定するステップとをさらに備えることを特徴とする請求項１０に記載のプログラム。
【請求項１４】
前記方法が、高いアクセス権を持たないコードから前記セキュリティクリティカルデータを読み取る要求を受け取るステップと、前記要求に応答して、前記セキュリティクリティカルデータを返すステップとをさらに備えることを特徴とする請求項１０にプログラム。
【請求項１５】
前記ｓｅｔコンテナは、ダウンロードされたコードが実行されるようにするプラットフォームコードにおいて実装され、分析ツールを介して前記プラットフォームコードを分析するステップをさらに備えることを特徴とする請求項１０に記載のプログラム。
【請求項１６】
コンピュータシステムにおいて使用されるコンピュータプログラムであって、前記プログラムは、セキュリティ問題に対する確認を簡単化するプラットフォームコードを構成する方法を実行し、前記コンピュータシステムは、プロセッサにおいて実行されたときに前記方法をコンピュータシステムに実施させるコンピュータ実行可能命令を記憶させた１つ以上のコンピュータ記憶媒体を含み、前記方法は、
プログラミング言語クラスが、セキュリティクリティカルデータに対するｇｅｔコンテナを与えるステップであって、前記プログラミング言語クラスは前記ｇｅｔコンテナの中のセキュリティクリティカルデータと相互作用する複数のメソッドを含み、前記複数のメソッドはｇｅｔメソッドを含むことと、
前記ｇｅｔメソッドをセキュリティクリティカルであると区別することによって、前記セキュリティクリティカルデータとのどの相互作用が要求されているかに応じて、前記セキュリティデータがセキュリティクリティカルなものとして取り扱われるかどうかを選択的に制御するステップであって、前記セキュリティクリティカルデータは高いアクセス権を持つメソッドを介してのみアクセス可能であって、前記高いアクセス権を持つメソッドは、
前記ｇｅｔメソッドを、セキュリティクリティカルメソッドとしてマーク付けすることと、
前記プログラミング言語クラスへの現実のフィールドポインティングへアクセスする１つ以上の他のメソッドが、セキュリティクリティカルメソッドではないことを示すことと、を含み、
これによって、前記セキュリティクリティカルデータが前記ｇｅｔメソッドを介して、高いアクセス権を持つコードによって読み取られることのみが可能であり、存在または初期化の確認が高いアクセス権を持たないコードによって実行され得ること
を特徴とするプログラム。
【請求項１７】
前記セキュリティクリティカルデータは、クリティカルリソースへのアクセスを提供する値を含むことを特徴とする請求項１６に記載のプログラム。
【請求項１８】
前記方法が、高いアクセス権を持つコードから前記値を取得するよう要求を受け取るステップと、前記値に対応するデータを返すステップとをさらに備えることを特徴とする請求項１６に記載のプログラム。
【請求項１９】
前記ｇｅｔコンテナは、ダウンロードされたコードが実行されるようにするプラットフォームコードにおいて実装され、前記方法が分析ツールを介して前記プラットフォームコードを分析するステップをさらに備えることを特徴とする請求項１６に記載のプログラム。