i a n g X u e, A l ex a n d er M a k a r o v , C a r s t en B r a n d t , K l i m o v P a u l , a n d m a n y co n t r i b u t o r s f r o m t h e Y i i co m m u n i t y 简体中文 t r a n s l a t i o n p r : / / w w w . y i i ch i n a . co m , cu i l eo n , q i a n s en 1 3 8 6 , d eep zi y u , s h i - y a n g , i y u a n c, x i a o l i u s h i f u , j h q 0 1 1 3 , f u n s o n 8 6 , r i v er l et , a b b r a h a m g r ey s o n , f en g y h 轔 轨 轩 轳 轴 轵 轴 软 轲 轩 轡 转 轩 轳 轲 轥 转 轥 轡 轳 轥 轤 轵 轮 轤 轥 轲 轴 轨 轥 轔 轥 轲 轭 轳 软 车 轙 轩 轩 轄 软 轣 轵 轭 轥 轮 轴 轡 轴 轩 软 轮 輮 轃 软 轰 轹 轲 轩 轧 轨 轴 輲 輰 輱 輴 轙 轩 轩 轓 软 车 轴 轷 轡 轲 轥 轌 轌 轃

三、攻防原理 四、防护产品体系 1.1.技术背景 n Web成为主流的网络和应用技术 q CNCERT/CC 网络安全监测系统对流量数据进行的抽样统计 显示，Web 应用流量占整个TCP 流量的81.1% q B/S居统治地位：网上银行、电子商务、电子政务、证劵、 手机上网 3 1.2.安全威胁 1.2.安全威胁 n SANS年发布的全球20大安全风险排行榜上，Web应 b应 用安全漏洞名列前茅，攻击者利用最多的漏洞是SQL 注入及跨站脚本 n 根据国家计算机网络应急技术处理协调中心(简称 CNCERT/CC)上半年的工作报告显示，网站漏洞百出， 被篡改的大陆网站数量明显上升，总数达到28367个， 比去年全年增加近16% 1.3. 相关政策、法规（1） n PCI DSS 美国，2008年PCI法案通过之后，要求提供信 用卡网上支付超过一定营业额的企业，都需要 用卡网上支付超过一定营业额的企业，都需要 配置Web应用防火墙或进行代码级应用安全加 固。 1.4. 相关政策、法规（2） n 胡锦涛总书记重要指示 q “把握信息化发展的方向、维护国家在网络空间的安全和利益成 为信息时代的重大战略课题。” n 政策文件和规划中对信息安全的要求 q 《国家信息化的战略目标（2006-­2020）》指出：“建立和完善 信息安全等级保护制度，重点保护基础信息网络和关系国家安全、

I d r i s 语 语 语言 言 言文 文 文档 档 档 Ve r s io n 1 .3 .1 C o n t e n t s 1 I d r i s 教 教 教程 程 程 2 2 常 常 常见 见 见问 问 问题 题 题解 解 解答 答 答（ （ （F A Q ） ） ） 64 3 用 用 用 I d r i s 实 实 实现 现 现带 带 带有 有 有状 状 状态 态 态的 的 ： ：S T 教 教 教程 程 程 69 4 Th e E ff e c t s Tu t or i al 102 5 Th e or e m P r ov i n g 136 6 L an gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 215 注 注 注解 解 解: 奉 奤 奲 奩 型 型（ （ （D e p e n d e n t Ty p e ） ） ） 的语言中，它们的区别并不明显。 依赖类型允许类型 「依赖」于值，换句话说，类型是 一 一 一等 等 等（ （ （F i r s t - C l as s ） ） ） 的语言构造， 即它可以像值一样进行操作。 标准范例就是带长度的列表类型1 Vect n a， 其中 a 为元素的类型，而 n 为该列表的长度且可以任意 长。

History n 1991年4月，芬兰赫尔辛基大学计算机系研究生Linus Torvalds开始为一个以后被称为 “Linux”的内核而工作。（后附Linus的邮件） n 1991年8月25日，Linus在网上发贴，寻找志同道合的合作伙伴。 n 1991年10月5日，Linus Torvalds在新闻组comp.os.minix发表了Linux V0.01，约有 一万行代码。 n 1992年 人提供初期的代码上载 和评论。 n 1993年，大约由100多个程序员参与内核代码修改，内核核心由5人组成，V0.99 约有 十万行代码。 n 1993年12月，Linux全球用户数约在10万左右。 n 1994年3月，Linux1.0问世，约有17万行代码。它完全按自由免费的协议发布，源码 必须完全公开，之后很快Linux正式采用GPL协议。 n 1995年，Linux全球用户数大大超过50万， Linux已可在Intel、Digital和Sun SPARC 处理器上运行，Linux Journal杂志已发行了10万册。内核发展到1.2，约有25万行代 码。 Linux History n 第一篇Linux帖子 From: torvalds@klaava.Helsinki.FI Newsgroups: comp.os.minix Subject: What would you like

293 13.3 子集和问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 300 13.4 n 皇后问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306 13.5 小结 . . 他们是（按照 GitHub 自动生成的顺序）：krahets、codingonion、nuomi1、Gonglja、Reanon、justin‑tse、danielsss、 hpstory、S‑N‑O‑R‑L‑A‑X、night‑cruise、msk397、gvenusleo、RiverTwilight、gyt95、zhuoqinyue、 Zuoxun、Xia‑Sang、mingXta、Fa 1 ： // === File: iteration.c === /* for 循环 */ int forLoop(int n) { int res = 0; // 循环求和 1, 2, ..., n-1, n for (int i = 1; i <= n; i++) { res += i; } return res; } 第 2 章 复杂度分析 hello‑algo.com

gofmt -r “(a) -> a” –w *.go Go入门指南 - 24 - 本文档使用 看云 构建 上面的代码会将源文件中没有意义的括号去掉。 gofmt -r “a[n:len(a)] -> a[n:]” –w *.go 上面的代码会将源文件中多余的 len(a) 去掉。（ 译者注：了解切片（slice）之后就明白这为什么是多余 的了 ） gofmt –r ‘A.Func1(a 名法，即第一个单词的首字母小写，其余单词的首字母大写。 下面这一行调用了 fmt 包中的 Println 函数，可以将字符串输出到控制台，并在最后自动增加换行字 符 \n ： fmt.Println（"hello, world"） 使用 fmt.Print("hello, world\n") 可以得到相同的结果。 Print 和 Println 这两个函数也支持使用变量，如： fmt.Println(arr) 。如果没有特别指定，它们会以默 "fmt" // Package implementing formatted I/O. func main() { fmt.Printf("Καλημέρα κόσμε; or こんにちは 世界\n") } 上面这个例子通过打印 Καλημέρα κόσμε; or こんにちは 世界 展示了如何在 Go 中使用国际化字符，以 及如何使用注释。 注释不会被编译，但可以通过 godoc 来使用（第

292 13.3 子集和问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 298 13.4 n 皇后问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305 13.5 小结 . . 自动生成的顺序）：krahets、coderonion、Gonglja、nuomi1、Reanon、justin‑tse、hpstory、 danielsss、curtishd、night‑cruise、S‑N‑O‑R‑L‑A‑X、msk397、gvenusleo、khoaxuantu、RiverTwilight、 rongyi、gyt95、zhuoqinyue、K3v123、Zuoxun、mingXta 1 ： // === File: iteration.c === /* for 循环 */ int forLoop(int n) { int res = 0; // 循环求和 1, 2, ..., n-1, n for (int i = 1; i <= n; i++) { res += i; } return res; } 第 2 章 复杂度分析 www.hello‑algo

292 13.3 子集和问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 298 13.4 n 皇后问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305 13.5 小结 . . 自动生成的顺序）：krahets、Gonglja、nuomi1、codingonion、Reanon、justin‑tse、hpstory、 danielsss、curtishd、night‑cruise、S‑N‑O‑R‑L‑A‑X、msk397、gvenusleo、RiverTwilight、gyt95、 zhuoqinyue、Zuoxun、mingXta、hello‑ikun、khoaxuantu、Fa 1 ： // === File: iteration.c === /* for 循环 */ int forLoop(int n) { int res = 0; // 循环求和 1, 2, ..., n-1, n for (int i = 1; i <= n; i++) { res += i; } return res; } 图 2‑1 是该求和函数的流程框图。 第 2 章 复杂度分析

285 13.3 子集和问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290 13.4 n 皇后问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297 13.5 小结 . . 自动生成的顺序）：krahets、Gonglja、nuomi1、codingonion、Reanon、justin‑tse、hpstory、 danielsss、curtishd、night‑cruise、S‑N‑O‑R‑L‑A‑X、msk397、gvenusleo、RiverTwilight、gyt95、 zhuoqinyue、Zuoxun、mingXta、hello‑ikun、khoaxuantu、Fa − 1 ： // === File: iteration.go === /* for 循环 */ func forLoop(n int) int { res := 0 // 循环求和 1, 2, ..., n-1, n for i := 1; i <= n; i++ { res += i } return res } 图 2‑1 是该求和函数的流程框图。 第 2 章 复杂度分析

287 13.3 子集和问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292 13.4 n 皇后问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 13.5 小结 . . 他们是（按照 GitHub 自动生成的顺序）：krahets、codingonion、nuomi1、Gonglja、Reanon、justin‑tse、danielsss、 hpstory、S‑N‑O‑R‑L‑A‑X、night‑cruise、msk397、gvenusleo、RiverTwilight、gyt95、zhuoqinyue、 Zuoxun、Xia‑Sang、mingXta、Fa − 1 ： // === File: iteration.go === /* for 循环 */ func forLoop(n int) int { res := 0 // 循环求和 1, 2, ..., n-1, n for i := 1; i <= n; i++ { res += i } return res } 第 2 章 复杂度分析 hello‑algo.com 20