CLR 中代码访问安全检测实现原理

注：引用http://www.sudu.cn/info/html/edu/network_technology/20041027/174726.html

 

在传统的操作系统级安全模型中，安全管理的粒度都是 Principal-based 层面的。用户从认证登陆成功开始，就获得此帐号的所有权限，而其运行的程式，也自动被授予帐号及其所在组的所有权限。例如我在《DACL, NULL or not NULL》一文中介绍的，NT 用户从登陆到系统建立 Session 开始，就缺省使用相同权限，新建进程自动获得父进程的权限，除非程式本身手动进行限制。而 *nix 系统下面的思路也是类似，只不过从 Token 编程了各种 uid/gid 等等。

　　这种 Principal-based 的安全模型，在以主机为中心的孤立环境中是非常合适的，而且足够简单和高效。但随着网络的普遍使用，这种安全模型开始受到挑战，最直接的就是怎么处理从网络上运行程式的策略问题。按照现有模型，所有程式都会自动获得最大权限集，但这显然是不现实的，安全管理粒度过于粗放。

　　因此在 Java 和 IE 等涉及网络的应用程式中，提出了新的基于位置的安全模型。一个程式运行时获得的权限，并不由其父进程或说宿主来决定（这些程式往往用于较高权限），而是由其程式所在位置觉得具有多少权限。Java 中将之简化为对代码源的安全策略限定，如在策略文件中指定所有来自 www.nsfocus.com 的程式都有写 c:＼temp 目录的权限，而来自其他网址的程式只能读取 c:＼temp 目录内容。而 IE 中则更进一步，将这些来源分类为本机(my computer)、内网(intranet)、外网(internet)、可信站点(trusted)和不可信站点(untrusted)。 bitscn.com

　　如果说 Principal-based 的安全模型中，关键因素是：我是谁(当前帐号)、我要访问什么(目标资源)、我要怎么访问(操作类型)；则在 基于位置的安全模型中变成了：我来自哪里(代码来源)、我要访问什么(目标资源)、我要怎么访问(操作类型)。关键因素虽然只有一个我是谁到我来自哪里的转变，但其控制粒度能够大大提升。

　　不过这样的基于位置的安全模型还是存在其问题，因为组件之间的可信程度是不同的。例如一个本机控件因为来源于本机，受到系统的信任，被赋予非常高的权限。同时一个恶意代码来源于不受信任的位置，无法执行某项操作。如果权限限定完整的话，本来不会出现问题，但因为某些权限依赖关系的管理混乱，造成恶意代码能通过受信任代码执行本不应允许他执行的功能。这也是众多 IE 相关漏洞的问题根本所在，其受到 IE 现有安全模型的单级信任机制的限制，注定无法完全解决。

　　要完全解决此类问题，归根结底必须建立一个可信链验证机制，也就是说执行某个操作的时候，必须检查此操作所有的上级操作组件是否拥有安全权限，而不仅仅只检测最后一级的组件。这一思路正是 CLR 中代码访问安全检测的设计思路，其关键因素增加了一个：调用我的人都有哪些，他们是否有相应权限的检测。 bitsCN_com

　　例如我在建立一个文件的时候，能强制性检测调用链上的所有组件是否都拥有操作此文件的权限：

以下内容为程式代码:

public void CreateFile()
{
  // Create a new FileIO permission object
  FileIOPermission perm = new FileIOPermission(FileIOPermissionAccess.Write, @"C:＼SomeFile.txt");

  try {
 ? // Demand the FileIOPermission
 ? perm.Demand( );
  } catch (SecurityException se) {
 ? // Callers do not have necessary permission
  }

  // Method implementation...
}

　　FileIOPermission 类描述了我需要检测的权限，对 C:＼SomeFile.txt 文件可写；FileIOPermission.Demand() 则执行这一权限的检测工作，遍历此方法调用链上的所有组件，检测他们是否有次权限。这样一来就能从理论上避免恶意代码通过调用可信组件执行越权操作的问题。具体的权限定义和使用方法，这里就不周详介绍了。下面就这种检测怎么实现做一个结构上的简要分析。

System.Security.CodeAccessPermission
System.Security.Permissions.EnvironmentPermission

www_bitscn_com
System.Security.Permissions.FileDialogPermission
System.Security.Permissions.FileIOPermission
System.Security.Permissions.ReflectionPermission
System.Security.Permissions.RegistryPermission
System.Security.Permissions.SecurityPermission
System.Security.Permissions.UIPermission
System.Security.Permissions.IsolatedStoragePermission
System.Security.Permissions.IsolatedStorageFilePermission

System.Security.Permissions.StrongNameIdentityPermission
System.Security.Permissions.PublisherIdentityPermission
System.Security.Permissions.SiteIdentityPermission
System.Security.Permissions.UrlIdentityPermission
System.Security.Permissions.ZoneIdentityPermission


　　为进行代码访问权限检测，CLR 缺省定义了以上这些权限类型。首先他们都是从 CodeAccessPermission 类型继承出来，其次就其意义可进一步分为代码访问权限和代码身份权限。代码访问权限定义代码将怎么去访问资源，如读写文件、弹出对话框等等；代码身份权限则定义访问此资源的组件必须符合什么样的身份，如只能是本地文件、或只能是 nsfocus.com 发布的组件等等。 中国.网管联盟

　　虽然权限种类众多，但各种子类只负责定义自身权限的特性及怎么对自身权限验证，而所有的调用链遍历和验证工作，都是由 CodeAccessPermission.Demand() 方法完成的：

以下内容为程式代码:

public void CodeAccessPermission.Demand()
{
  CodeAccessSecurityEngine engine = SecurityManager.GetCodeAccessSecurityEngine();

  if ((engine != null) && !this.IsSubsetOf(null))
  {
 ? StackCrawlMark mark = StackCrawlMark.LookForMyCallersCaller;
 ? engine.Check(this, ref mark);
  }
}

  能看到 CodeAccessPermission.Demand 方法，实际上是将验证操作转发给安全管理器 SecurityManager 的代码访问安全引擎 CodeAccessSecurityEngine 类型的 Check 方法完成的。

以下内容为程式代码:

internal class CodeAccessSecurityEngine
{
 internal virtual void Check(CodeAccessPermission cap, ref StackCrawlMark stackMark) 中国网管论坛
 {
  if (!PreCheck(cap, null, 1, ref stackMark, PermissionType.DefaultFlag))
  {
 ?Check(PermissionToken.GetToken(cap), cap, ref stackMark, -1, ((cap is IUnrestrictedPermission) ? 1 : 0));
  }
 }

 internal virtual void Check(CodeAccessPermission cap, ref StackCrawlMark stackMark, PermissionType permType)
 {
  int num1 = 0;
  if (CodeAccessSecurityEngine.GetResult(permType, out num1))
  {
 ?return;
  }
  if (this.PreCheck(cap, null, 1, ref stackMark, permType))
  {
 ?CodeAccessSecurityEngine.SetResult(permType, num1);
 ?return;
  }
  this.Check(PermissionToken.GetToken(cap), cap, ref stackMark, -1, ((cap is IUnrestrictedPermission) ? 1 : 0));
 }

 [MethodImpl(MethodImplOptions.InternalCall)]
 private void Check(PermissionToken permToken, CodeAccessPermission demand, ref StackCrawlMark stackMark, int checkFrames, int unrestrictedOverride);

BBS.bitsCN.com网管论坛
}


　　CodeAccessSecurityEngine 内部类的 Check 方法，将最终调用通过 Unmanaged 代码实现的内部方法进行安全检测。rotor 中的 COMCodeAccessSecurityEngine 类型 (ComCodeAccessSecurityEngine.cpp) 实现了这个检测逻辑。
  COMCodeAccessSecurityEngine::Check 函数 (ComCodeAccessSecurityEngine.cpp:683) 通过调用 COMCodeAccessSecurityEngine::CheckInternal 函数 (ComCodeAccessSecurityEngine.cpp:697) 填充一个堆栈遍历请求结构 CasCheckWalkData 的内容，最终将请求转发给 StandardCodeAccessCheck 函数 (ComCodeAccessSecurityEngine.cpp:563) 完成检测。此结构的指针将作为堆栈遍历回调函数的参数传递给回调函数进行实际权限验证，而 StandardCodeAccessCheck 只是负责调用全局堆栈遍历支持 StackWalkFunctions 函数(StackWalk.cpp:512)，以 CodeAccessCheckStackWalkCB 函数 (ComCodeAccessSecurityEngine.cpp:449) 为回调函数，以 CheckInternal 函数填充的 CasCheckWalkData 结构为参数，通过现成的堆栈遍历支持 Thread::StackWalkFrames 完成堆栈遍历。

　　通过堆栈遍历实现代码访问安全检测调用流程如下： DL.bitsCN.com网管软件下载

以下为引用：

CodeAccessSecurityEngine::Check 内部调用定义，由下面的函数实现
 COMCodeAccessSecurityEngine::Check 转发检测请求 (ComCodeAccessSecurityEngine.cpp:683)
  COMCodeAccessSecurityEngine::CheckInternal 填充 CasCheckWalkData 结构 (ComCodeAccessSecurityEngine.cpp:697)
 ?StandardCodeAccessCheck 执行堆栈遍历
 ? Thread::StackWalkFrames 遍历当前线程堆栈
 ??CodeAccessCheckStackWalkCB 检测当前组件权限 (ComCodeAccessSecurityEngine.cpp:449)


　　因此目前 CAS 检测的问题被分为两个部分：怎么遍历调用堆栈；怎么检测某个组件是否拥有权限。

　　过于怎么遍历调用对象，因为涉及到比较复杂的堆栈帧类型处理，这里就不周详解释，等有空专门写篇文章介绍。目前需要了解的是 CLR 将堆栈切分成各种不同类型的帧，每个帧代表一种状态的迁移。例如调用一个函数、从一个 Assembly 调用另一个 Assembly、从一个 AppDomain 调用另一个 AppDomain、乃至从 Managed 代码调用 Unmanaged 代码等等。而这些帧又通过链表被串到一起。堆栈遍历的工作实际上就是从当前调用帧开始，反向遍历所有的堆栈帧，处理能够处理的，跳过不能处理的，最终到栈顶结束遍历。如果遍历过程中，堆栈帧的回调处理函数发现问题，则能通过设置标志中断堆栈遍历操作，返回异常给上级程式进行处理。如 CodeAccessCheckStackWalkCB 发现某个调用链上的方法所在 Assembly 权限不够，则中断遍历操作抛出异常。

bitsCN_com

　　对检测某个组件是否拥有权限的 CodeAccessCheckStackWalkCB 函数 (ComCodeAccessSecurityEngine.cpp:449) 来说，其主要工作如下：

以下内容为程式代码:

enum StackWalkAction {
  SWA_CONTINUE?= 0,?// continue walking
  SWA_ABORT??= 1,?// stop walking, early out in "failure case"
  SWA_FAILED? = 2? // couldn’t walk stack
};

// 堆栈帧的封装类
class CrawlFrame {
 // ...
};

static StackWalkAction CodeAccessCheckStackWalkCB(CrawlFrame* pCf, VOID* pData)
{
 // CheckInternal 填充的检测数据
 CheckWalkHeader *pCBdata = (CheckWalkHeader*)pData;

 // 获取当前帧的相关信息
 MethodDesc * pFunc = pCf->GetFunction();
 Assembly *pAssem = pFunc->GetModule()->GetAssembly();
 AppDomain *pAppDomain = pCf->GetAppDomain();

 // 遍历操作回调函数的返回动作，SWA_CONTINUE 继续；SWA_ABORT 中断；SWA_FAILED 失败。
 StackWalkAction action ;

bitsCN.nET中国网管博客

 // 跳过特别情况的帧
 if (Security::SecWalkCommonProlog (&(pCBdata->prologData), pFunc, &action, pCf))
 ?return action ;

 if (pAssem != pCBdata->pPrevAssembly)
 {
  // 当 Assembly 变化时进行 CAS 检测
  // ...

  pCBdata->pPrevAssembly = pAssem;
 }

 if (pAppDomain != pCBdata->pPrevAppDomain)
 {
  // 当 AppDomain 变化时进行 CAS 检测
  // ...

  pCBdata->pPrevAppDomain = pAppDomain;
 }

 OBJECTREF *pFrameObjectSlot = pCf->GetAddrOfSecurityObject();
 if (pFrameObjectSlot != NULL && *pFrameObjectSlot != NULL)
 {
  // 当帧保护安全对象时进行 CAS 检测
  // ...
 }

 return SWA_CONTINUE;
}


　　从当前帧中能获取各种需要检测的信息，如方法、Assembly和AppDomain。只有当 Assembly 或 AppDomain 发生变化时，对新的对象进行 CAS 检测，同时如果帧具有显式的安全对象，也要进行 CAS 检测。不过对于符合 Security::SecWalkCommonProlog 函数 (Security.cpp:406) 定义的特别帧，将完全跳过 CAS 检测。 BBS.bitsCN.com网管论坛

　　首先来看看 Security::SecWalkCommonProlog 函数 (Security.cpp:406) 定义的特别帧。首先会跳过遍历操作的调用者自己的帧；然后当进行堆栈遍历指定最大帧数为1时，跳过所有 Reflection/Remoting 调用的内部帧；最后针对 LookForMyCallersCaller 这种特别调用，及指定最大帧数进行处理。

以下内容为程式代码:

BOOL Security::SecWalkCommonProlog (SecWalkPrologData * pData, MethodDesc * pMeth, StackWalkAction * pAction, CrawlFrame * pCf)
{
 *pAction = SWA_CONTINUE;

 // 跳过 CAS 检测调用帧
 if ((pData->pStackMark != NULL) && !IsInCalleesFrames(pCf->GetRegisterSet(), pData->pStackMark))
  return TRUE;


 // 跳过内部函数帧，如 Reflection / Remoting 调用的内部帧等等
 if (pData->dwFlags & CORSEC_SKIP_INTERNAL_FRAMES)
 {
  // 跳过 Remoting.Messaging.StackBuilderSink.PrivateProcessMessage 方法
  if (pMeth == s_stdData.pMethPrivateProcessMessage)
  {
 ?pData->bSkippingRemoting = TRUE; www_bitscn_com
 ?return TRUE
  }

  // 跳过 Remoting 透明代理帧
  if (!pCf->IsFrameless() && pCf->GetFrame()->GetFrameType() == Frame::TYPE_TP_METHOD_FRAME)
  {
 ?pData->bSkippingRemoting = FALSE;
 ?return TRUE;
  }

  // 跳过 Remoting 帧
  if (pData->bSkippingRemoting)
 ?return TRUE;

  // 跳过 Refection 相关类型的方法帧
  MethodTable *pMT = pMeth->GetMethodTable();

  if (pMT == s_stdData.pTypeRuntimeMethodInfo ||
 ? pMT == s_stdData.pTypeMethodBase ||
 ? pMT == s_stdData.pTypeRuntimeConstructorInfo ||
 ? pMT == s_stdData.pTypeConstructorInfo ||
 ? pMT == s_stdData.pTypeRuntimeType ||
 ? pMT == s_stdData.pTypeType ||
 ? pMT == s_stdData.pTypeRuntimeEventInfo ||
 ? pMT == s_stdData.pTypeEventInfo ||
 ? pMT == s_stdData.pTypeRuntimePropertyInfo ||
 ? pMT == s_stdData.pTypePropertyInfo ||

中国网管论坛
 ? pMT == s_stdData.pTypeActivator ||
 ? pMT == s_stdData.pTypeAppDomain ||
 ? pMT == s_stdData.pTypeAssembly)
  {
 ?return TRUE;
  }
 }

 // 如果只希望检测调用者的调用者两级，则跳过其他的所有帧
 if ((pData->pStackMark != NULL) && (*pData->pStackMark == LookForMyCallersCaller) && !pData->bFoundCaller)
 {
  pData->bFoundCaller = TRUE;
  return TRUE;
 }

 // 最多只检测 cCheck 帧
 if (pData->cCheck >= 0)
 {
  if (pData->cCheck == 0)
  {
 ?pData->dwFlags |= CORSEC_STACKWALK_HALTED;
 ?*pAction = SWA_ABORT;
 ?return TRUE;
  }
  else
  {
 ?--(pData->cCheck);
  }
 }

 return FALSE;
}


　　在跳过了这些无需处理的堆栈帧后，CodeAccessCheckStackWalkCB 函数将对 Assembly/AppDomain 变化，和显式指定安全对象的情况，进行 CAS 检测。

中国网管联盟

　　前面介绍堆栈帧时原来提到过，对所有跨越 Assembly/AppDomain 的调用，都会有特别的帧被放入堆栈中做标记。因此在调用链跨越两个 Assembly/AppDomain 时，堆栈遍历回调函数将有一个合适的时机，检测新的 Assembly/AppDomain 是否拥有足够权限。这两类检测思路类似，都是先通过 Assembly::GetSecurityDescriptor 函数 (Assembly.cpp:747) 或 AppDomain::GetSecurityDescriptor 函数 (AppDomain.cpp:1146) 获取一个安全描述符 SecurityDescriptor；然后对需要进行 CAS 检测的情况，调用 SecurityDescriptor::GetGrantedPermissionSet 函数 (Security.cpp:2218) 获得相关权限集；最后调用回调函数传入参数中的 pfnCheckGrants 函数指针，进行权限验证。

　　值得注意的是，当安全描述符被标记为完全可信任 (SecurityDescriptor::IsFullyTrusted())、堆栈遍历参数指定非受限模式 (IUnrestrictedPermission)、及 Assembly 是系统 BCL 类库(mscorlib.dll) 或 AppDomain 是缺省 AppDomain (用于加载 BCL 类库，具体说明参见《用WinDbg探索CLR世界 [6] AppDomain 的创建过程 》一文)，则忽略 CAS 检测。 bitscn.com

　　对完全可信任概念的含义，能参考《可怕的 Fully Trusted Code》一文。

　　如果需要进行 CAS 检测，则 CheckGrants 函数 (ComCodeAccessSecurityEngine.cpp:128) 将完成权限的验证工作。而其实际工作，则将通过 Managed 方法 CodeAccessSecurityEngine::CheckHelper 方法 (CodeAccessSecurityEngine.cs:230) 完成。而 CheckHelper 方法将通过权限类型本身的 IsSubsetOf/Intersect 等方法的实现，来判断 Assembly/AppDomain 现有权限集，是否包括请求的权限。而 Assembly/AppDomain 现有权限集，则是在 Assembly 被载入及 AppDomain 被创建时，由 CLR Loader 创建的。以后有机会再专门写篇文章分析这个权限集的构建逻辑。

以下内容为程式代码:

private static void CheckHelper(PermissionSet grantedSet, PermissionSet deniedSet, CodeAccessPermission demand, PermissionToken permToken)
{
 if (permToken == null)
  permToken = PermissionToken.GetToken(demand);

 try
 {
  // 获取权限集不能为空
  if (grantedSet == null)
  {
 ?throw new SecurityException(...);

www_bitscn_com

  }
  // 不处理权限集不受限或请求权限为非受限权限的情况
  else if (!grantedSet.IsUnrestricted() || !(demand is IUnrestrictedPermission))
  {
 ?CodeAccessPermission grantedPerm = (CodeAccessPermission)grantedSet.GetPermission(permToken);

 ?if (grantedPerm == null)
 ?{
 ? if (!demand.IsSubsetOf( null ))
 ??throw new SecurityException(String.Format(...);
 ? else
 ??return;
 ?}
  }

  // 验证权限没有被显式禁止
  if (deniedSet != null)
  {
 ?CodeAccessPermission deniedPerm = (CodeAccessPermission)deniedSet.GetPermission(permToken);

 ?if (deniedPerm != null)
 ?{
 ? if (deniedPerm.Intersect(demand) != null)
 ? {
 ??throw new SecurityException(...);
 ? }
 ?}
  }
 }
 catch (Exception e)
 {
  // 所有的非 SecurityException 异常将都被转换为 SecurityException 异常 bbs.bitsCN.com
  // 因为这些异常的发生都是因为获取指定权限操作失败的原因
  if (e is SecurityException)
 ?throw e;
  else
 ?throw new SecurityException(...);
 }
}


　　最后 CodeAccessCheckStackWalkCB 还需要处理显式指定了安全对象帧的情况。对帧安全对象进行检测的 CheckFrameData 方法 (ComCodeAccessSecurityEngine.cpp:231) 和 CheckGrants 类似，也是最终通过 CheckHelper 方法实现的，这里就不罗嗦了。堆栈帧的安全对象，等到介绍堆栈结构的时候再周详解释。

　　至此，CLR 中代码访问安全检测的大致实现思路及比较清晰了，等把堆栈帧结构和 CLR Loader 安全权限集构建的文章弄完，再整理篇完整的，呵呵