出版时间:2012-5 出版社:人民邮电出版社 作者:[美] Christian Collberg,[美] Jasvir Nagra 译者:崔孝晨
Tag标签:无
前言
前 言 隐蔽软件(surreptitious software)是近十年来计算机安全研究领域新兴的一个分支。在隐蔽软件的研究过程中不仅需要借鉴计算机安全方面的技术,还会用到计算科学其他领域的大量技术,如密码学、隐写术、数字水印、软件量度(software metric)、逆向工程以及编译器优化等。我们使用这些技术来满足在计算机程序中安全存储秘密信息的需求,尽管这些需求的表现形式千差万别、各不相同。本书中“秘密”一词的意思比较广,书中所介绍技术(代码混淆、软件水印和指纹、防篡改技术以及软件“胎记”等)的使用目的是防止他人剽窃软件中的智力成果。比如,软件中使用指纹技术可以用来跟踪软件是否被盗版,代码混淆技术能够加大攻击者逆向分析软件的难度,而防篡改技术则可以使别人很难制作软件的破解版,等等。 好了,现在我们来讲讲为什么需要阅读本书,谁使用隐蔽软件以及本书将会涵盖哪些内容。 为什么阅读本书 与传统的安全研究不同,隐蔽软件不关心如何使计算机免于计算机病毒入侵,它关心的是计算机病毒的作者是如何防止他人分析病毒的!同样,我们也不关心软件到底有没有安全漏洞,我们关心的是如何隐蔽地在程序中加入一些只有在程序被篡改时才会执行的代码。密码学研究领域中,被加密数据的安全性依赖于加密密钥的隐秘性,而我们现在研究的恰恰是如何隐藏密钥。软件工程中有大量的软件量度技术,以确保程序结构良好,本书中将使用同样的技术使程序复杂难读。本书中描述的很多技术都是基于编译器优化技术研究开发的算法的,但是编译优化的目的是使编译器生成个头尽量小、运行速度尽量快的程序,而使用本书中介绍的一些技术却会使生成的程序个头又大,执行起来又慢。最后,传统的数字水印和隐写术是想办法把要隐藏的信息藏到图像、音频、视频甚至纯文本文件中,而隐蔽软件则是把需要隐藏的信息藏到计算机代码中。 那么,为什么要阅读本书呢?为什么要了解一种不能防止计算机被病毒或者蠕虫攻击的安全技术?为什么要学习一种只会让代码体积变大而执行速度变慢的编译优化技术?为什么要把精力花在一种违反了密码学基本前提(即密钥是不可能被攻击者获得的)的密码学分支上呢? 回答是,传统的计算机安全和密码学研究成果有时并不能解决实际工作中遇到的且亟待解决的安全问题。比如,在本书中将展示如何使用软件水印技术防止软件盗版。软件水印是在程序中嵌入的唯一标识(类似信用卡的卡号或者版权声明),通过这个标识,程序的某个副本就和你(程序的作者)或者客户联系在了一起。要是你发现市场上在卖自己软件的盗版光盘,就可以通过在盗版软件中提取的水印追查制作这个盗版软件的母版 当初是哪个家伙从你这里买走的。当给合作商提供新开发的游戏的测试版时,你也可以在测试版中加上数字水印。要是你感觉有人泄露了你的代码,就能(从众多的合作商中)找出肇事者,并把他送上法庭。 又比如,在程序的新版本中加上了某个新的算法,你当然不希望竞争对手也得到这个算法,并把它加到他们的软件中。这时,你就可以去混淆程序,使之尽可能变得复杂难懂,使竞争对手逆向分析软件时效率很低。而如果确实怀疑某人剽窃了你的代码,本书也会教你如何使用软件“胎记”证实你的怀疑。 再比如,你的程序中包含有某段不能为人所知的代码,并且你想确保没有这段代码程序就不能正常运行。例如,你肯定不希望黑客修改程序中的软件使用许可验证代码,或者可用于解密数字版权管理系统中mp3文件的密钥。第7章将讨论多种防篡改技术,确保受到篡改的程序停止正常运行。 听说你把密钥放在可执行文件里了?这主意实在太糟糕了!以往的经验告诉我们,任何类似“不公开,即安全” 的做法最终都将以失败告终,而且不管在程序中怎样隐藏密钥,最终它都逃不出一个足够顽强的逆向分析人员的手心。当然,必须承认你的做法也还是对的。本书中介绍的所有技巧都不能保证软件能永远免于黑客的毒手。不必保证某个东西永远处于保密的状态,也不必保证程序永远处于不可能被篡改的状态,更不需要保证代码永远不会被剽窃。除非这个研究领域有什么重大的突破,否则能指望的只是延缓对方的攻击。我们的目标就是把攻击者的攻击速度减缓到足够低,使他感到攻击你的软件十分痛苦或要付出过高的代价,从而放弃攻击。也可能攻击者很有耐心地花了很长时间攻破了你的防御,但这时你已经从这个软件中赚够了钱,或者已经用上了更新版本的代码(这时他得到的东西也就一钱不值了)。 比方说,你是一个付费频道的运营商,用户通过机顶盒来观看你提供的电视节目。每个机顶盒都是带有标签的——在代码的某个位置上存放了分配给每个用户的唯一标识(ID),这样你就可以根据用户的缴费情况决定是允许还是拒绝某个特定用户观看频道里的节目。可是现在有一个黑客团伙找到并且反汇编了这段代码,发现了计算用户ID的算法,并且在网上以低廉的价格把修改用户ID的方法卖给了网民。这时你该怎么办呢?你也许想到了使用防篡改的智能卡,不过这玩意儿并不像看上去那么难破解,这将在第11章中讲解。或者你可能想到要混淆代码,使之更难以被分析。或者你也可以使用防篡改技术使程序一被修改就自动停止运行。更有可能,你会混合使用上述各种技巧来保护代码。但是尽管使用了所有技术,你还必须要知道并且必须接受,你的代码仍然可能被破解,秘密仍会泄露(在这个案例里就是机顶盒里的用户ID仍然会被篡改)这一事实。怎么会这样呢?这只是因为“不公开,既安全”这个想法在根本上就存在漏洞。不过既然本书中介绍的所有技术都不能给你一个“完美并且长期的安全保证”,那么为什么还要使用这些技术,为什么还要买这样一本书呢?答案很简单,代码能顶住黑客攻击的时间越长,订阅频道的客户就越多,同时升级机顶盒的周期也就越长,这样你赚到的钱和省下的钱也就越多。 就这么简单。 谁使用隐蔽软件 很多知名的公司都对隐蔽软件有浓厚的兴趣。事实上很难真正掌握有关技术在实践中具体被使用的程度(因为大多数公司在如何保护自己的代码一事上绝对是守口如瓶的),但是我们还是可以根据他们专利的申请和拥有情况把他们对隐蔽软件的感兴趣程度猜个八九不离十。微软公司拥有多个关于软件水印[104,354]、代码混淆[62,62,69,69,70,70,180,378]和软件“胎记”[364]技术的专利。Intertrust公司拥有大量与数字版权管理技术相关的组合式专利,包括代码混淆和代码防篡改专利。2004年,在微软与Intertrust之间的马拉松式官司落下了帷幕之后,微软向Intertrust支付了高达4.4亿美元的专利使用费,才获得了后者所有的专利使用许可。同年,微软也开始与PreEmptive Solution公司开展商业合作[250],从而把PreEmptive Solution开发的identifier obfuscator(PreEmptive solution公司在该工具中拥有专利[351])加到了Visual Studio的工具集里。而普渡大学科研成果的副产品Arxan,因其独创的防篡改算法专利[24,305]而成功地开办了一家公司。苹果公司拥有一个代码混淆方面的专利,估计是用于保护其iTune软件的。Convera,一家从英特尔公司独立出来的企业,则着力研究应用于数字版权管理的代码防篡改技术[27,268-270]。从加拿大北方电信公司中分离出来的Cloakware公司也是这个领域里最成功的企业之一。该公司拥有他们称为“白盒加密”的专利[67,68,182],即把加密算法和密钥藏到程序代码中。2007年12月,Cloakware公司被一家主营付费电视业务的荷兰公司Irdeto以7250万美元的价格收购。即使是相对的后来者Sun Microsystem也已经提交了一些代码混淆领域的专利申请。 Skype的VoIP客户端也使用了类似Arxan[24]、英特尔[27]及本书中将要提到的[89]代码混淆和防篡改技术进行了防逆向工程加固。对于Skype公司来说,保护其客户端的完整性无疑是极其重要的,因为一旦有人成功逆向分析了其客户端软件,解析出Skype所使用的网络协议,黑客们就能写出廉价的能与Skype软件进行正常通信的程序(这样的话,人们就没有必要一定用Skype)。所以保持网络协议不公开则有助于Skype拥有一个庞大的用户群,这大概也是2005年易贝公司以26亿美元收购Skype的原因吧。实际上,使用隐蔽软件技术还使Skype公司赢得了足够多的时间,进而成为了VoIP技术的领军企业。即使这时Skype的协议被分析出来了(这一点黑客们确实也做到了,详见7.2.4节),黑客们也拿不出一个能够撼动Skype市场地位的类似软件了。 学术研究者从多种角度对隐蔽软件技术进行了研究。一些拥有编译器和程序语言研究背景的研究者,比如我们,会很自然地加入这一领域的研究,因为涉及代码转换的绝大多数算法都会涉及静态分析的问题,而这一问题则是编译优化技术的研究者再熟悉不过的了。尽管以前,密码学研究者大多不屑于研究“不公开,即安全”的问题,但最近一些密码学研究人员已经开始把密码学的相关技术应用于软件水印以及发现代码混淆技术的局限性上了。来自多媒体水印、计算机安全和软件工程方面的研究人员也已经发表了很多关于隐蔽软件的文章。遗憾的是,由于没有专门的刊物、学术会议(供研究人员相互之间进行交流),这一领域的研究进展被大大延缓了。事实上,为了使这些研究成果能被传统的学术会议和期刊接受,研究人员在不停地努力着,现在仍在努力。目前已经发表过隐蔽软件研究成果的学术会议有POPL(Principles of Programming Languages,程序设计原理)上的ACM专题研讨会、信息隐藏研讨会、IEEE的软件工程研讨会、高级密码学会议(CRYPTO)、ISC(Information Security Conference,信息安全大会)以及其他一些关于数字版权管理的学术会议。随着隐蔽软件这一领域的研究越来越成为学术研究的主流,我们有望拥有专门针对于隐蔽软件的期刊、专题讨论会甚至是研讨会,只是可惜目前为止这一切都还没有实现。 军方也在隐蔽软件上花了很多精力(和纳税人的钱)。比如,Cousot公司拥有的软件水印算法[95]专利就归属于世界上第九大国防工程承包商法国Thales集团。下面是一段引自最新的(2006)美军招标文件[303]中有关AT(anti-tamper)技术 研究的文字。 现在,所有的美军项目执行部门(PEO)和项目管理方(PM)在设计和实现有关系统时,必须在系统中使用军队和国防部制定的AT策略。嵌入式软件现代武器系统的核心,是被保护的最重要技术之一。AT技术能够有效地保证这些技术不被他国(人)逆向工程分析利用。仅仅由标准编译器编译生成而不加AT技术防护的代码是很容易被逆向分析的。在分析软件时,逆向工程分析人员会综合使用诸如调试器、反编译器、反汇编器等很多工具,也会使用各种静态和动态分析技巧。而使用AT技术的目的就是使逆向工程变得更为困难,进而防止美国在技术领域的优势被他国窃取。今后还有必要向部队的PEO和PM提供更有用、更有效并且多样化的AT工具集……研发AT技术的目的在于提供一个能够抗逆向工程分析的高强度壳 ,从而最大限度地迟滞敌方对被保护软件的攻击。这样美国就有机会维持其在高科技领域的优势或者减缓其武器技术泄密的速度。最终,美军就能继续保持其技术优势,进而保证其军备的绝对优势。 这份招标文件来自于美军导弹和空间程序(设计部门),专注于实时嵌入式系统的保护。我们有理由相信产生这份招标文件的原因是,美军担心射向敌方的导弹由于种种原因落地后未能爆炸,使敌方有机会接触到嵌入在导弹中负责引导导弹飞临目标上空的控制软件。 下面是另一段引自美国国防部[115]的文字。 进行主动式软件保护 (SPI)是国防部的职责之一,它必须开发和部署相关的保护技术,以保证含有国防武器系统关键信息的计算机程序的安全。SPI提供的是一种全新的安全防护方法,它并不(像传统的安全技术那样)保护计算机或者网络的安全,而只是加强计算机程序自身的安全。这种新方法能显著提升国防部的信息安全情况。SPI的适用范围很广,从台式机到超级计算机上面所有的程序都能使用SPI技术予以保护。它是(软件保护技术中)完整的一层,是“纵深防御”的一个范例。SPI技术是对网络防火墙、物理安全等传统安全技术的一个补充,但是其实现并不依赖于这些传统的安全设备。现在SPI技术被部署在选定的HPC中心和150多家国防部机关以及其他由商业公司参与建设和维护的军事基地。广泛地部署SPI技术将会有效地增强美国和美国国防部对关键应用技术的保护。 上面这段话说明了什么?它说明美国国防部不仅关心导弹会不会掉到敌方领土上去,还关心在自己的安全系数和性能都很高的计算机中心运行的软件的安全。事实上,窃密和反窃密是防间谍机关和情报部门之间永恒的主题。比方说,一架战斗机上的某个程序需要更新一下,这时我们很可能就是用一台笔记本电脑连接到这架战斗机上进行更新操作。但是万一这台笔记本电脑不慎遗失了,或者干脆就被其他国家政府使用某种方法控制了,就像电影里常演的那样,这时会有什么情况发生呢?对方会马上把相关的代码拿去做逆向工程分析,并把分析的结果用于改进其战斗机中所使用的软件。更有甚者,对方会悄悄地在你的软件中加上一个特洛伊木马,并让飞机在特定的时间里从天上掉下来。如果我们不能绝对保证上述这一幕100%不可能发生的话,隐蔽软件至少可以作为安全防御的最后一道防线(至少还能做到事后的责任追究)。例如,飞机中的软件可以用有权访问相关软件的人的ID做一个指纹签名。要是哪天,在其他国家的战斗机上发现了这些代码,就可以立即对这些代码进行逆向分析,并进一步推算出谁是泄密事件的元凶。 什么?我听见你说,为什么我要对政府之间和商业巨头之间如何保护它们各自的秘密感兴趣呢?如果黑客破解了这些软件,他们也不过是通过自己的劳动换取一些微薄的利益而已啊。话虽如此,但是这些保护技术给你 带来的好处最终还是大于它给商业巨头带来的好处。理由是,对你来说,法律形式的保护措施(如专利、商标和版权)只有当你拥有足够的财力,能在法庭上把对方告倒的时候才会管用。换而言之,即使你认为某家大公司通过破解你的代码,剽窃了一个极有“钱途”的主意,你也无力通过那种马拉松式的官司在法庭上告倒微软,除非你有足够的经济实力能在这种财力的比拼中熬出头 。而在本书中讨论的保护技术(比如代码混淆和防篡改技术)则既廉价又好用,中小型企业和商业巨头均可使用。而且如果这时你去告这家大公司的话,也可以用水印或者软件“胎记”等技术,在法庭上当场拿出代码被剽窃的真凭实据来。 最后不得不简单地提一下另一类极其擅长使用隐蔽软件的人——坏蛋们。病毒的作者已经能非常成功地利用代码混淆的技术伪装病毒的代码,使之逃避杀毒软件的检测了。值得一提的是,人们使用这些技术(如保护DVD、游戏和有线电视)时经常被黑客破解,而黑客使用这些技术(如构建恶意软件)时,人们却很难抗击。 本书内容 隐蔽软件研究的目的是发明能够尽可能迟滞对手(逆向工程分析)进度,同时又尽可能地减少因为使用该技术,而在程序执行时增加的计算开销的算法。同时也需要发明一种评估技术,使我们可以说“在程序中使用了算法A之后,相对于原先的程序,黑客攻破新程序需要多花T个单位的时间,而新程序增加的性能开销是0”,或者最低限度我们也应该可以说“相对于算法B,使用算法A保护的代码更难被攻破”。特别要强调一下,隐蔽软件研究尚处于婴儿期,虽然我们在书中会把相关的保护算法和评估算法全都介绍给大家,但是这门艺术的现状却还并不理想(到时候你可不能太失望啊)。 在本书中,我们试图把当前所有有关隐蔽软件的研究成果组织起来系统化地介绍给读者。我们力争每章内容涵盖一种技术,并描述这一技术的应用领域以及目前可用的算法。第1章将给出隐蔽软件这个领域的一些基本概念;第2章用对抗性演示的模式介绍黑客逆向分析软件时常用的工具和技巧,然后针对这些工具和技巧介绍如何防范黑客的攻击;第3章详细讲述黑客和软件保护方用于分析计算机程序的技术;第4章、第5章和第6章分别介绍与代码混淆有关的算法;第7章介绍与防篡改技术相关的算法;第8章和第9章分别介绍与水印相关的算法;第10章介绍与软件“胎记”相关的算法;第11章讲述基于硬件设备的软件保护技术。 如果你是位企业管理人员,只是对隐蔽软件的研究现状和这些技术怎么应用到你的项目中感兴趣,那么只要阅读第1章和第2章就够了。如果你是位拥有编译器设计背景的研究人员,那么建议直接跳到第3章开始阅读。但是之后的章节还是最好顺序阅读。这是因为……呃,还是举个例子吧,介绍水印技术的章节中会用到在代码混淆章节中介绍的知识。当然在本书撰写过程中,我们还是尽量使各章内容都能独立成章的,所以(如果你拥有一些背景知识)偶尔跳过那么一两章也未尝不可。如果你是一位工程师,想要使用有关技术加固你的软件,那么强烈建议你仔仔细细地阅读第3章的所有内容,如果有条件的话,还应该再搞几本编译原理方面的教材恶补一下“程序静态分析”的知识。然后你就可以随意跳到感兴趣的章节去阅读了。如果你是名大学生,把本书作为一门课程的教材来阅读,那么就应该一页一页地完整阅读本书,期末别忘了做好复习。 希望本书能够做到两件事情。首先,希望能向你,亲爱的读者,证明代码混淆、软件水印、软件“胎记”和防篡改等技术里有大量妙不可言的想法,值得你花点时间去学习,而且这些技术也可以用来保护软件。其次,希望本书能把本领域内当前所有有用的信息汇集在一起,从而为隐蔽软件的深入研究提供一个良好的起点。 Christian Collberg和Jasvir Nagra 2009年2月2日(土拨鼠日) P.S. 实际上写作这本书还有第三个目的。要是在阅读本书时,你突然灵光闪现,冒出一个绝妙的主意,进而激发了你投身于隐蔽软件研究的雄心壮志,那么,亲爱的读者,我这第三个目的就算是达到了。请把你的新算法告诉我们,我们将把它加到本书的下一版里!
内容概要
对抗软件盗版、篡改和恶意逆向工程的理论、技巧和工具
近十年来,人们在软件防盗版和防篡改技术的研发上取得了重大进展。这些技术在保护软件开发人员的知识产权方面具有不可替代的作用。无论是研究人员、在校学生,还是开发人员,要了解这些技术及其能提供的安全级别和可能引发的性能开销,都可以从本书获得权威、全面的参考资料。
Christian Collberg和Jasvir
Nagra在书中详尽地介绍了相关技术,涵盖了计算机科学的各个相关领域,包括密码学、隐写术、水印、软件度量、逆向工程和编译优化等。本书通过大量的示例代码,向读者展示了代码混淆、软件水印、代码防篡改和“胎记”技术等保护算法的实现方式,并且从理论和实践两个角度探讨了这些技术的局限。
涵盖的内容
攻击者和防御者用来分析程序的各种主要方法
代码混淆技术,用于提高程序被分析和理解的难度
软件水印和指纹,用于标识软件开发者并追踪盗版
代码防篡改技术,用于检测和响应非法修改代码和数据的行为,从而保护软件
动态水印和动态混淆技术,用于阻止软件的非法复制
软件相似性分析和“胎记”算法,用于检测代码剽窃
硬件技术,用于保护软件及各类媒体免遭盗版和篡改
在分布式系统中,检测远端不可信平台上运行的软件是否被篡改
代码混淆技术在理论上的局限性
作者简介
Christian Collberg
瑞典隆德大学计算机科学博士,亚利桑那州立大学计算机科学系副教授,从事代码混淆、软件水印和“胎记”方面的基础性研究工作。他曾在新西兰奥克兰大学及中国科学院工作过。
Jasvir Nagra
专注于设计强壮的动态水印算法,曾致力于通过代码混淆和防篡改技术保护运行在远程不可信平台上的软件的完整性。目前,他任职于谷歌公司,在加利福尼亚州从事与基于编程语言的安全性有关的研究工作。
书籍目录
第1章 什么是隐蔽软件
1.1 概述
1.2 攻击和防御
1.3 程序分析的方法
1.4 代码混淆
1.4.1 代码混淆的应用
1.4.2 混淆技术概述
1.4.3 被黑客们使用的代码混淆技术
1.5 防篡改技术
1.5.1 防篡改技术的应用
1.5.2 防篡改技术的例子
1.6 软件水印
1.6.1 软件水印的例子
1.6.2 攻击水印系统
1.7 软件相似性比对
1.7.1 代码剽窃
1.7.2 软件作者鉴别
1.7.3 软件“胎记”
1.7.4 软件“胎记”的案例
1.8 基于硬件的保护技术
1.8.1 把硬件加密锁和软件一起发售
1.8.2 把程序和CPU绑定在一起
1.8.3 确保软件在安全的环境中执行
1.8.4 加密可执行文件
1.8.5 增添物理防护
1.9 小结
1.9.1 使用软件保护技术的理由
1.9.2 不使用软件保护技术的理由
1.9.3 那我该怎么办呢
1.10 一些说明
第2章 攻击与防御的方法
2.1 攻击的策略
2.1.1 被破解对象的原型
2.1.2 破解者的动机
2.1.3 破解是如何进行的
2.1.4 破解者会用到的破解方法
2.1.5 破解者都使用哪些工具
2.1.6 破解者都会使用哪些技术
2.1.7 小结
2.2 防御方法
2.2.1 一点说明
2.2.2 遮掩
2.2.3 复制
2.2.4 分散与合并
2.2.5 重新排序
2.2.6 映射
2.2.7 指引
2.2.8 模仿
2.2.9 示形
2.2.10 条件—触发
2.2.11 运动
2.2.12 小结
2.3 结论
2.3.1 对攻击/防御模型有什么要求
2.3.2 该如何使用上述模型设计算法
第3章 分析程序的方法
3.1 静态分析
3.1.1 控制流分析
3.1.2 数据流分析
3.1.3 数据依赖分析
3.1.4 别名分析
3.1.5 切片
3.1.6 抽象解析
3.2 动态分析
3.2.1 调试
3.2.2 剖分
3.2.3 trace
3.2.4 模拟器
3.3 重构源码
3.3.1 反汇编
3.3.2 反编译
3.4 实用性分析
3.4.1 编程风格度量
3.4.2 软件复杂性度量
3.4.3 软件可视化
3.5 小结
第4章 代码混淆
4.1 保留语义的混淆转换
4.1.1 算法OBFCF:多样化转换
4.1.2 算法OBFTP:标识符重命名
4.1.3 混淆的管理层
4.2 定义
4.2.1 可以实用的混淆转换
4.2.2 混淆引发的开销
4.2.3 隐蔽性
4.2.4 其他定义
4.3 复杂化控制流
4.3.1 不透明表达式
4.3.2 算法OBFWHKD:压扁控制流
4.3.3 使用别名
4.3.4 算法OBFCTJbogus:插入多余的控制流
4.3.5 算法OBFLDK:通过跳转函数执行无条件转移指令
4.3.6 攻击
4.4 不透明谓词
4.4.1
算法OBFCTJpointer:从指针别名中产生不透明谓词
4.4.2
算法OBFWHKDopaque:数组别名分析中的不透明值
4.4.3
算法OBFCTJthread:从并发中产生的不透明谓词
4.4.4 攻击不透明谓词
4.5 数据编码
4.5.1 编码整型数
4.5.2 混淆布尔型变量
4.5.3 混淆常量数据
4.5.4 混淆数组
4.6 结构混淆
4.6.1 算法OBFWCsig:合并函数签名
4.6.2 算法OBFCTJclass:分解和合并类
4.6.3 算法OBFDMRVSL:摧毁高级结构
4.6.4 算法OBFAJV:修改指令编码方式
4.7 小结
第5章 混淆理论
5.1 定义
5.2 可被证明是安全的混淆:我们能做到吗
5.2.1 图灵停机问题
5.2.2 算法REAA:对程序进行反混淆
5.3 可被证明是安全的混淆:有时我们能做到
5.3.1 算法OBFLBS:混淆点函数
5.3.2 算法OBFNS:对数据库进行混淆
5.3.3 算法OBFPP:同态加密
5.3.4 算法OBFCEJO:白盒DES加密
5.4 可被证明是安全的混淆:(有时是)不可能完成的任务
5.4.1 通用混淆器
5.4.2 混淆最简单的程序
5.4.3 对混淆所有程序的不可能性的证明
5.4.4 小结
5.5 可被证明为安全的混淆:这玩儿还能成吗
5.5.1 跳出不可能性的阴霾
5.5.2 重新审视定义:构造交互式的混淆方法
5.5.3 重新审视定义:如果混淆不保留语义又当如何
5.6 小结
第6章 动态混淆
6.1 定义
6.2 代码迁徙
6.2.1 算法OBFKMNM:替换指令
6.2.2 算法OBFAGswap:自修改状态机
6.2.3 算法OBFMAMDSB:动态代码合并
6.3 加密技术
6.3.1 算法OBFCKSP:把代码作为产生密钥的源泉
6.3.2 算法OBFAGcrypt:结合自修改代码和加密
6.4 小结
第7章 软件防篡改
7.1 定义
7.1.1 对篡改的监测
7.1.2 对篡改的响应
7.1.3 系统设计
7.2 自监测
7.2.1 算法TPCA:防护代码之网
7.2.2 生成hash函数
7.2.3 算法TPHMST:隐藏hash值
7.2.4 Skype中使用的软件保护技术
7.2.5 算法REWOS:攻击自hash算法
7.2.6 讲评
7.3 算法RETCJ:响应机制
7.4 状态自检
7.4.1 算法TPCVCPSJ:易遭忽视的hash函数
7.4.2 算法TPJJV:重叠的指令
7.5 远程防篡改
7.5.1 分布式监测和响应机制
7.5.2 解决方案
7.5.3 算法TPZG:拆分函数
7.5.4
算法TPSLSPDK:通过确保远程机器硬件配置来防篡改
7.5.5 算法TPCNS:对代码进行持续的改变
7.6 小结
第8章 软件水印
8.1 历史和应用
8.1.1 应用
8.1.2 在音频中嵌入水印
8.1.3 在图片中嵌入水印
8.1.4 在自然语言文本中嵌入水印
8.2 软件水印
8.3 定义
8.3.1 水印的可靠性
8.3.2 攻击
8.3.3 水印与指纹
8.4 使用重新排序的方法嵌入水印
8.4.1 算法WMDM:重新排列基本块
8.4.2 重新分配资源
8.4.3 算法WMQP:提高可靠性
8.5 防篡改水印
8.6 提高水印的抗干扰能力
8.7 提高隐蔽性
8.7.1 算法WMMIMIT:替换指令
8.7.2 算法WMVVS:在控制流图中嵌入水印
8.7.3 算法WMCC:抽象解析
8.8 用于隐写术的水印
8.9 把水印值分成几个片段
8.9.1 把大水印分解成几个小片段
8.9.2 相互冗余的水印片段
8.9.3 使用稀疏编码提高水印的可靠性
8.10 图的编/解码器
8.10.1 父指针导向树
8.10.2 底数图
8.10.3 排序图
8.10.4 根延伸的平面三叉树枚举编码
8.10.5 可归约排序图
8.11 讲评
8.11.1 嵌入技术
8.11.2 攻击模型
第9章 动态水印
9.1 算法WMCT:利用别名
9.1.1 一个简单的例子
9.1.2 水印识别中的问题
9.1.3 增加数据嵌入率
9.1.4 增加抵御攻击的抗干扰性能
9.1.5 增加隐蔽性
9.1.6 讲评
9.2 算法WMNT:利用并发
9.2.1 嵌入水印的基础构件
9.2.2 嵌入示例
9.2.3 识别
9.2.4 避免模式匹配攻击
9.2.5 对构件进行防篡改处理
9.2.6 讲评
9.3 算法WMCCDKHLSpaths:扩展执行路径
9.3.1 水印的表示和嵌入
9.3.2 识别
9.3.3 讲评
9.4 算法WMCCDKHLSbf:防篡改的执行路径
9.4.1 嵌入
9.4.2 识别
9.4.3 对跳转函数进行防篡改加固
9.4.4 讲评
9.5 小结
第10章 软件相似性分析
10.1 应用
10.1.1 重复代码筛选
10.1.2 软件作者鉴别
10.1.3 剽窃检测
10.1.4 胎记检测
10.2 定义
10.3 基于k-gram的分析
10.3.1 算法SSSWAwinnow:有选择地记录k-gram
hash
10.3.2 算法SSSWAMOSS:软件剽窃检测
10.3.3 算法SSMCkgram:Java
字节码的k-gram“胎记”
10.4 基于API的分析
10.4.1 算法SSTNMM:面向对象的“胎记”
10.4.2 算法SSTONMM:动态函数调用“胎记”
10.4.3 算法SSSDL:动态k-gram
API“胎记”
10.5 基于树的分析
10.6 基于图的分析
10.6.1 算法SSKH:基于PDG的重复代码筛选
10.6.2 算法SSLCHY:基于PDG的剽窃检测
10.6.3 算法SSMCwpp:整个程序的动态“胎记”
10.7 基于软件度量的分析方法
10.7.1 算法SSKK:基于软件度量的重复代码筛选
10.7.2 算法SSLM:基于度量的软件作者鉴别
10.8 小结
第11章 用硬件保护软件
11.1 使用发行的物理设备反盗版
11.1.1 对发行盘片的保护
11.1.2 软件狗和加密锁
11.2 通过可信平台模块完成认证启动
11.2.1 可信启动
11.2.2 产生评估结果
11.2.3 TPM
11.2.4 盘问式验证过程
11.2.5 社会可信性和隐私问题
11.2.6 应用和争议
11.3 加密的可执行文件
11.3.1 XOM体系结构
11.3.2 阻止重放攻击
11.3.3 修补有漏洞的地址总线
11.3.4 修补有漏洞的数据总线
11.3.5 讲评
11.4 攻击防篡改设备
11.4.1 监听总线——破解微软的XBOX
11.4.2
猜测指令——破解达拉斯半导体公司的DS5002FP微处理器
11.4.3 破解智能卡
11.4.4 非侵入式攻击
11.4.5 主板级的保护
11.5 小结
参考文献
章节摘录
版权页: 插图: 2.2 防御方法 你已经学了很多破解者分析程序和找出(有时是摧毁)程序中隐藏秘密的方法了。这些技术有些是在调试器中单步执行每条指令,也有些要在模拟器中运行程序,还有些是要把程序反编译成更易于理解的源码形式。现在探险结束,你又恢复了好人的身份。毕竟,你最终想通过本书解答的问题是,如何保护你的程序不被破解。 你会发现,在本书中我们将以不同的形式反复强调一些基本的原则。而且最有意思的是,这些基本原则既不是新提出来的,也不是专用于软件领域的:自混沌初分以来,各种动植物就拥有各式各样的自卫方法,而自从有人类社会这天起,人们也想出了很多隐藏秘密以保护自身不受环境和敌人伤害的方法。在本节中,我们将向你展示一个描述这些基本方法并且把它们应用到软件保护方面的模型(84)。我们的目标是,指出各个可用于软件保护的基本方法并把它们用于本书接下来讨论的部分中,同时我们还要使用这些方法对各种已发表的软件保护技术进行分类。此外,我们希望这个模型也可以为研究员和工程师在讨论已有的或者开发新的软件保护技术时提供一种统一语言。 每当看见一种新的防护技术的时候,你都可以用这个模型对它进行归类。绝大多数情况下,你会说“这个技术只是另一个以前已经发表过的技术的简单变形”或者“这个办法比较有创意地把两个已知的方法给结合起来了,我估计它有如下属性”……但极少数情况下(但这也是很有用的),你可能会发现,“这个技术没法归类到这个模型中去——它含有某种全新的想法,我们必须要重新考虑整个模型的架构问题。”反之,要是我们的模型能够预言出某些新的软件保护的方法的话,那我们就再高兴不过了。如果你的需求是“啊,我需要一个具有下列属性的保护方法”,而使用我们的模型,你可以推出“如果以这样一种方法把这两个基本方法组合起来使用,那就能满足这些属性”,我觉得这个模型就算是很实用的了。虽然这个模型还不是很完善,但是它已经足以描述本书剩余部分的内容并对文献中已经发表过的所有保护技术进行分类了。 尽管建立这一模型的灵感是源自动植物的防御自卫的本能和人类社会之间的斗争艺术。但是我们还是没有在模型中把三十六计全部罗列一遍。比如河豚鱼在遭遇攻击时会把自己像吹气球一样鼓起来,以吓唬对方,但是这一招虚张声势在软件保护中显然是用不上的,于是我们就将其舍弃掉了。
编辑推荐
《软件加密与解密》详尽地介绍了相关技术。探讨了计算机科学的各个相关领域。包括密码学、隐写术、水印、软件度量、逆向工程和编译优化等。《软件加密与解密》通过大量的示例代码。向读者展示了代码混淆、软件水印、代码防篡改和“胎记”技术等保护算法的实现方式,并且从理论和实践两个角度探讨了这些技术的局限。《软件加密与解密》适合各层次软件开发人员阅读。近十年来,人们在软件防盗版和防篡改技术的研发上取得了重大进展。这些技术在保护软件开发人员的知识产权方面具有不可替代的作用。无论是研究人员、在校学生。还是开发人员.要了解这些技术及其能提供的安全级别和可能引发的性能开销,都可以从本书获得权威、全面的参考资料。
名人推荐
“本书透彻、严谨地介绍了计算机安全中一个日益重要的领域,是从事软件保护的研究、学习和实践的‘必备手册’。” ——Mikhail Atallah,普度大学计算机科学系教授
图书封面
图书标签Tags
无
评论、评分、阅读与下载