InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

Code Access Securityは、.NET 4 Beta 2では、もう使用されない

作者 Abel Avram , 翻訳者 編集部N 投稿日 2010年1月31日

セクション
デベロップメント,
設計/アーキテクチャ
トピック
.NET ,
セキュリティ

原文(投稿日:2010/01/26)へのリンク

.NET Framework 1.0から、Microsoftは、 Code Access Security (CAS)を、マネージコードの能力を割り当てたり、コントロールする手段として導入した。Framework 4.0 Beta 2では、CASを非推奨にして、既定ではオフにする、そして Security Transparency Level 2を導入する。

Javaに対して、.NETが優位を得るのに役立つ、すばらしいフィーチャだ、とかつては考えられたが、その複雑さと、もし適切に使われないとセキュリティホールを実際に作ってしまう可能性のために、.NET開発者の間では、CASは、不評だった。更に、ネイティブなアプリケーションすなわち、非マネージコードは、相変わらず、完全信頼 (FullTrust)で動作するので、CASは、それほど役に立たないものである。

.NET Framework 4.0では、CASは、オフなので、Windows Explorerあるいは、コマンドプロンプトから起動されたすべてのアプリケーションは、完全信頼で走る。ホストされた.NETアプリケーションすなわち、Internet Explorer や ASP.NET内で走るアプリケーションは、ホストから与えられた信頼レベル、部分信頼で走る。

この変更のために、現在開発中のコードは、警告や実行時例外を起こすかもしれない:

これらのセキュリティ・ポリシーの変更により、古くなったCASのポリシーのタイプやメンバを明示的にあるいは暗黙的に(他のタイプやメンバを通して)呼ぶと、コンパイラ警告になったり、実行時例外になったりするかもしれない。古くなったタイプやメンバとそれらの代替のリストについては、 Code Access Security Policy Compatibility and Migration(CASポリシーの互換性と移行)を参照。

実行時の設定スキーマにある <NetFx40_LegacySecurityPolicy> 設定要素 を使って、従来のCASポリシーの動きを選んで、警告やエラーを避けることができる。しかし、従来のセキュリティポリシーの使用を選ぶと、.NET Framework 4 Beta 2に移行しない限り、そのバージョン用のカスタムなCASポリシーは、含まないことになる。

.NET 4.0 Beta 2は、.NET 2.0で導入され、Microsoftの内部で使用されている Security Transparency (セキュリティ上の透過性)と呼ばれる以前のフィーチャを拡張している。サンドボックスで走るマネージコードは、透過的であると考えられる、そのホストによって許された操作しか実行できないので、結果的に安全であると考えられるからである。 Security Transparency Level 2 は、新しい要素を導入する:

.NET Framework 4 Beta 2では、透過性は、強制的なメカニズムで、インフラの一部として走るコードからアプリケーションの一部として走るコードを分離する。透過性は、ネイティブコードを呼ぶような特権的なことができるコード(クリティカルなコード)とそういうことができないコード(透過的なコード)の間に境界を設ける。透過的なコードは、動作している許可の範囲内で、コマンドを実行できるが、クリティカルなコードを実行したり、呼んだり、派生したり、あるいは含んだりすることは、できない。

透過性を強制することの第一の目的は、特権に基づいて、違うグループを隔離する簡単で、効果的なメカニズムを提供することである。サンドボックスのモデルでは、これらのグループは、完全信頼(すなわち、制限なし)と部分信頼(すなわち、サンドボックスに与えられた許可に限定)のどちらかだった。

デスクトップアプリケーションは、完全信頼で走る;透過性のモデルによって何も影響されない。

.NET 4.0では、3タイプのコードがある:transparent(透過的な)コード、security-safe-critical(セキュリティ上安全でクリティカルな)コード、そしてsecurity-critical(セキュリティ上クリティカル)なコードである:

  • 完全信頼で走るコードを含んで、transparentなコードは、他のtransparentなコードかsecurity-safe-criticalしか呼べない。ドメインの部分信頼の(もしあれば)パーミッション・セットによって許されていることしかできない。transparentなコードは、次のことは、できない:

    • Assert あるいは、特権の昇格を実行する

    • 安全でないあるいは検証できないコードを含む

    • criticalなコードを直接呼ぶ

    • ネイティブなコードあるいは SuppressUnmanagedCodeSecurityAttribute 属性を持つコードを呼ぶ

    • LinkDemandによって守られたメンバを呼ぶ

    • critical なタイプから継承する

    更に、transparentなメソッドは、criticalな仮想メソッドをオーバーライドしたり、criticalなインターフェースのメソッドを実装したりできない。

  • safe-criticalなコードは、完全信頼であるが、transparentなコードから呼ぶことができる。完全信頼コードの限られた表面をさらす。正しさとセキュリティの検証がsafe-criticalコードで行われる。

  • security-criticalは、どのタイプのコードを呼ぶことができ、完全信頼である。transparentなコードから呼ぶことはできない。

もし以前の.NET Frameworkのバージョンで走るアプリケーションを作るのであれば、なおCASを使うことができるが、4.0 Beta 2とそれ以降で提供される最新のフィーチャを使うことは、できないだろう。その代わりに、 Windows Software Restriction Policies (SRP)を使うことが推奨されている。SRPは、マネージコードそしてネイティブなアプリケーションの両方に適用できる、より単純なセキュリティメカニズムを提供する。

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。