在公共语言运行时(CLR)过往的版本中，安全模型一直是最为复杂的模块之一，由于涉及Evidence，CAS策略等机制，难以被用户使用。在Silverlight中，CLR团队提出了三层安全级别，大大简化了安全模型，得到了很多积极的反馈。所以CLR4.0对之加以改进，希望能帮助用户开发出更为安全的应用程序。

三层安全级别及其运作机制

CLR4.0中的安全级别，从低到高排列如下：

  • Transparent
  • SafeCritical
  • Critical

其运作机制如下图所示，可以用三个箭头加以说明：

  • Transparent的代码可以调用SafeCritical的代码
  • SafeCritical的代码可以调用Critical的代码
  • Transparent的代码不可以调用Critical的代码

image

下面的代码展示了安全级别的运作机制:

  1: using System;

  2: using System.Security;

  3: 

  4: // 这个属性使得assembly中没有Security标记的方法默认为Transparent方法

  5: [assembly:AllowPartiallyTrustedCallers]

  6: 

  7: namespace SecurityLevel

  8: {

  9:     public class Program

 10:     {

 11:         // 标记Foo为Critical方法。

 12:         [SecurityCritical]

 13:         static void Foo()

 14:         {

 15:             Console.WriteLine("Hello Foo");

 16:         }

 17: 

 18:         static void Main()

 19:         {

 20:             // 这个调用会导致以下的异常:

 21:             // Unhandled Exception: System.MethodAccessException: SecurityLevel.Program.Foo()

 22:             // at SecurityLevel.Program.Main()

 23:             Foo();

 24:         }

 25:     }

 26: }

Main函数由于没有任何安全属性，而且在assembly上有AllowPartiallyTrustedCallers属性，所以他的安全级别是Transparent，根据前文提及的安全机制，不能直接调用Critical函数Foo，于是命令行上显示了异常信息。

应用安全级别构筑体用程序

CLR提供了这样的一个机制，用户只有正确使用这些机制，才能构筑健壮的应用程序。在这里，“正确的使用”指的是合理的设置函数的安全级别，对三个安全级别设置的指导原则如下：

  • Critical：通常用来执行高危操作，比如对文件系统的读写。
  • SafeCritical：用来做安全方面的检验，或者只做限制性的操作。
  • Transparent：来自任何部分信任的程序代码。

举例来说，我们把三层模型应用到cookie的读写上，最底层可以有一个Critical的函数，用来在文件系统上写一个cookie文件。中间层有一个SafeCritical，用于检验cookie操作的文件是否属于特定的文件夹，就好像做一个安全检查：如果通过了，则允许操作；否则的话就拒绝之。

下面的例子展示了一个简化后的应用，从D盘的temp文件夹中删除文件。请参见代码中的注释理解程序。

  1: using System;

  2: using System.IO;

  3: using System.Security;

  4: 

  5: // 这个属性使得assembly没有Security标记的方法默认为Transparent方法

  6: [assembly:AllowPartiallyTrustedCallers]

  7: 

  8: namespace SecurityLevel

  9: {

 10:     public class Program

 11:     {

 12:         /// <summary>

 13:         /// 该函数可以删除文件系统上的任意函数。具有最高的安全级别

 14:         /// </summary>

 15:         /// <param name="fileName">文件名</param>

 16:         [SecurityCritical]

 17:         static void DeleteFile(string fileName)

 18:         {

 19:             File.Delete(fileName);

 20:         }

 21: 

 22:         /// <summary>

 23:         /// 该函数验证待删文件是否在d:\temp中

 24:         /// </summary>

 25:         /// <param name="fileName">待删文件名</param>

 26:         [SecuritySafeCritical]

 27:         static void DeleteFileFromTemp(string fileName)

 28:         {

 29:             if (fileName.StartsWith(@"d:\temp", StringComparison.CurrentCultureIgnoreCase)

 30:             {

 31:                 DeleteFile(fileName);

 32:             }

 33:             else

 34:             {

 35:                 throw new Exception("待删文件不在temp文件夹中");

 36:             }

 37:         }

 38: 

 39:         static void Main()

 40:         {

 41:             // 该语句运行正常

 42:             DeleteFileFromTemp(@"d:\temp\a.txt");

 43: 

 44:             // 该语句抛出异常

 45:             DeleteFileFromTemp(@"d:\a.txt");

 46:         }

 47:     }

 48: }

 49:

安全级别和.NET类型系统

理解了安全级别的应用之后，我们来看看安全级别和.NET类型系统之间的关系：

  1. 安全级别和反射

    反射机制提供了这样三个属性来探测一个类型(Type)和方法(MethodInfo)的安全级别

    • IsSecurityCritical { get; }
    • IsSecuritySafeCritical { get; }
    • IsSecurityTransparent { get; }

    大家可以观察到，这三个属性是只读的，因为通常境况下，编译器会写入了相关信息。

  2. 安全级别和继承

    以下两点值得注意：关于类型，子类型的安全级别必须等于或者高于父类型的安全级别；关于方法，继承的方法不能改变基类型方法的安全级别

  3. 安全级别和委托(Delegate)

    调用者不能创建一个安全级别更高的Delegate，也不能创建一个指向安全级别更高方法的Delegate。

小结

本文介绍了CLR4.0中引入的三层安全级别以及运作机制，示例了安全级别的设置原则，讲述了安全级别和类型系统的关联。