网学网为广大网友收集整理了，题目：128.ASP.NET框架中的安全性概述，希望对大家有所帮助！
本站商品支持淘—宝交易（四钻信用卖家），拍拍，百度有啊交易，最低价格，先货后款，免费调试，可以按需订做。为保证在各学校的唯一性，售后登记学校名。 1. QQ地址： QQ:3710167// 2. QQ地址： QQ:3710167 3. 百度有啊店铺交易地址请与在线QQ客服联系。 本站出售的计算论文翻译为保证论文内容在网络上搜索不到，本站涉及的翻译的更多的详细内容，不在网站上公布，有意向的同学请与在线客服联系，获取计算机论文翻译的资料。本外文翻译部分内容如下：
执行概述
运行库既执行托管代码，又执行非托管代码。托管代码是在运行库的控制下执行的，因此可以访问运行库提供的服务，如内存管理、实时 (JIT) 编译，以及本文涉及的最重要部分 — 安全性服务，如安全策略系统和验证。非托管代码是经过编译、要运行在特定硬件平台上的代码，它不能直接利用运行库。然而，当语言编译器生成托管代码时，该编译器的输出是以 Microsoft 中间语言 (MSIL) 表示的。MSIL 通常被描述为一种用于抽象、基于堆栈的计算机的面向对象的伪汇编语言。之所以说 MSIL 是面向对象的，是因为它有一些支持面向对象概念的指令，如对象分配 (newobj) 和虚函数调用 (callvirt)。之所以说是抽象的计算机，是因为 MSIL 不依赖于任何特定的平台。也就是说，它对于在其上运行的硬件不会做出任何假设。它之所以是基于堆栈的，是因为从本质上看，MSIL 是通过向堆栈压入 (push) 值和从中弹出 (pop) 值以及调用方法来执行的。MSIL 通常会在执行前被 JIT 编译为本机代码。（MSIL 也可以在运行该代码前编译为本机代码。这有助于缩短程序集的启动时间，但是 MSIL 代码通常是在方法级别进行 JIT 编译的。）
验证
在运行库会进行两种形式的验证：MSIL 验证和程序集元数据验证。运行库中的所有类型都指定了它们将要实现的协定，这些信息将作为元数据与 MSIL 一起保留在托管 PE/COEFF 文件中。例如，如果一个类型指定它从另一个类或接口进行继承，这就表明它将要实现一些方法，这就是一个协定。协定也可以与可见性联系起来。例如，可以将类型声明为从它们的程序集公开（导出）或其他的内容。因为类型安全只能根据它们的协定访问类型，所以就此而言，它是代码的一个属性。可以验证 MSIL 以证明它是类型安全的。验证是 .NET 框架安全系统中的一个基本构造块，目前只在托管代码上执行验证。因为非托管代码不可由运行库进行验证，所以由运行库执行的非托管代码必须是完全受信任的。 要理解 MSIL 验证，关键在于理解如何对 MSIL 进行分类。MSIL 分为下列类型：无效的 MSIL、有效的 MSIL、类型安全的 MSIL 以及可验证的 MSIL。 注应该指出的是，下面的定义比标准定义提供了更多信息。有关更加准确的定义版本，请参阅其他文档，如 ECMA standard：无效 MSIL 是 JIT 编译器无法为它生成本机表示的 MSIL。例如，不能将包含无效操作码的 MSIL 翻译成本机代码。另一个示例是跳转指令，该指令的目标是操作数的地址，而不是操作码；有效 MSIL 可以被认为是满足 MSIL 语法的所有 MSIL，因此它可以用本机代码表示。这种分类包括的 MSIL 可以使用非类型安全形式的指针算法获取对类型成员的访问；类型安全的 MSIL 只通过它们向公众公开的协定与类型进行交互。试图从一个类型访问另一个类型的私有成员的 MSIL 就不是类型安全的；可验证的 MSIL 是可以通过一个验证算法来证明是类型安全的 MSIL。验证算法比较保守，因此某些类型安全的 MSIL 可能不会通过验证。当然，可验证的 MSIL 既是类型安全的又是有效的，当然不是无效的。
