軟件加密與解密：全面權威的軟件保護指南

第1章   什么是隱蔽軟件    1
1.1   概述    1
1.2   攻擊和防御    5
1.3   程序分析的方法    6
1.4   代碼混淆    11
1.4.1   代碼混淆的應用    13
1.4.2   混淆技術概述    17
1.4.3   被黑客們使用的代碼混淆技術    21
1.5   防篡改技術    27
1.5.1   防篡改技術的應用    27
1.5.2   防篡改技術的例子    29
1.6   軟件水印    30
1.6.1   軟件水印的例子    32
1.6.2   攻擊水印系統(tǒng)    34
1.7   軟件相似性比對    36
1.7.1   代碼剽竊    36
1.7.2   軟件作者鑒別    37
1.7.3   軟件“胎記”    38
1.7.4   軟件“胎記”的案例    40
1.8   基于硬件的保護技術    41
1.8.1   把硬件加密鎖和軟件一起發(fā)售    42
1.8.2   把程序和CPU綁定在一起    43
1.8.3   確保軟件在安全的環(huán)境中執(zhí)行    43
1.8.4   加密可執(zhí)行文件    44
1.8.5   增添物理防護    45
1.9   小結    46
1.9.1   使用軟件保護技術的理由    46
1.9.2   不使用軟件保護技術的理由    47
1.9.3   那我該怎么辦呢    47
1.10   一些說明    48
第2章   攻擊與防御的方法    49
2.1   攻擊的策略    50
2.1.1   被破解對象的原型    50
2.1.2   破解者的動機    52
2.1.3   破解是如何進行的    54
2.1.4   破解者會用到的破解方法    55
2.1.5   破解者都使用哪些工具    58
2.1.6   破解者都會使用哪些技術    59
2.1.7   小結    69
2.2   防御方法    70
2.2.1   一點說明    71
2.2.2   遮掩    73
2.2.3   復制    75
2.2.4   分散與合并    78
2.2.5   重新排序    80
2.2.6   映射    81
2.2.7   指引    84
2.2.8   模仿    85
2.2.9   示形    87
2.2.10   條件—觸發(fā)    88
2.2.11   運動    90
2.2.12   小結    91
2.3   結論    92
2.3.1   對攻擊/防御模型有什么要求    92
2.3.2   該如何使用上述模型設計算法    93
第3章   分析程序的方法    94
3.1   靜態(tài)分析    95
3.1.1   控制流分析    95
3.1.2   數據流分析    103
3.1.3   數據依賴分析    107
3.1.4   別名分析    109
3.1.5   切片    115
3.1.6   抽象解析    116
3.2   動態(tài)分析    118
3.2.1   調試    118
3.2.2   剖分    129
3.2.3   trace    132
3.2.4   模擬器    135
3.3   重構源碼    137
3.3.1   反匯編    139
3.3.2   反編譯    146
3.4   實用性分析    155
3.4.1   編程風格度量    156
3.4.2   軟件復雜性度量    158
3.4.3   軟件可視化    159
3.5   小結    162
第4章   代碼混淆    163
4.1   保留語義的混淆轉換    164
4.1.1   算法OBFCF：多樣化轉換    164
4.1.2   算法OBFTP：標識符重命名    170
4.1.3   混淆的管理層    173
4.2   定義    177
4.2.1   可以實用的混淆轉換    178
4.2.2   混淆引發(fā)的開銷    181
4.2.3   隱蔽性    181
4.2.4   其他定義    182
4.3   復雜化控制流    183
4.3.1   不透明表達式    183
4.3.2   算法OBFWHKD：壓扁控制流    184
4.3.3   使用別名    186
4.3.4   算法OBFCTJbogus：插入多余的控制流   191
4.3.5   算法OBFLDK：通過跳轉函數執(zhí)行無條件轉移指令   195
4.3.6   攻擊    198
4.4   不透明謂詞    201
4.4.1   算法OBFCTJpointer：從指針別名中產生不透明謂詞   202
4.4.2   算法OBFWHKDopaque：數組別名分析中的不透明值   204
4.4.3   算法OBFCTJthread：從并發(fā)中產生的不透明謂詞   205
4.4.4   攻擊不透明謂詞    207
4.5   數據編碼    211
4.5.1   編碼整型數    213
4.5.2   混淆布爾型變量    217
4.5.3   混淆常量數據    220
4.5.4   混淆數組    222
4.6   結構混淆    226
4.6.1   算法OBFWCsig：合并函數簽名    226
4.6.2   算法OBFCTJclass：分解和合并類    229
4.6.3   算法OBFDMRVSL：摧毀高級結構    232
4.6.4   算法OBFAJV：修改指令編碼方式    239
4.7   小結    243
第5章   混淆理論    245
5.1   定義    248
5.2   可被證明是安全的混淆：我們能做到嗎    249
5.2.1   圖靈停機問題    250
5.2.2   算法REAA：對程序進行反混淆    252
5.3   可被證明是安全的混淆：有時我們能做到    254
5.3.1   算法OBFLBS：混淆點函數    254
5.3.2   算法OBFNS：對數據庫進行混淆    261
5.3.3   算法OBFPP：同態(tài)加密    263
5.3.4   算法OBFCEJO：白盒DES加密    267
5.4   可被證明是安全的混淆：（有時是）不可能完成的任務   272
5.4.1   通用混淆器    273
5.4.2   混淆最簡單的程序    276
5.4.3   對混淆所有程序的不可能性的證明    277
5.4.4   小結    278
5.5   可被證明為安全的混淆：這玩兒還能成嗎    279
5.5.1   跳出不可能性的陰霾    280
5.5.2   重新審視定義：構造交互式的混淆方法    281
5.5.3   重新審視定義：如果混淆不保留語義又當如何    283
5.6   小結    286
第6章   動態(tài)混淆    288
6.1   定義    290
6.2   代碼遷徙    292
6.2.1   算法OBFKMNM：替換指令    293
6.2.2   算法OBFAGswap：自修改狀態(tài)機    296
6.2.3   算法OBFMAMDSB：動態(tài)代碼合并    307
6.3   加密技術    311
6.3.1   算法OBFCKSP：把代碼作為產生密鑰的源泉   312
6.3.2   算法OBFAGcrypt：結合自修改代碼和加密   318
6.4   小結    324
第7章   軟件防篡改    325
7.1   定義    327
7.1.1   對篡改的監(jiān)測    328
7.1.2   對篡改的響應    331
7.1.3   系統(tǒng)設計    332
7.2   自監(jiān)測    333
7.2.1   算法TPCA：防護代碼之網    335
7.2.2   生成hash函數    338
7.2.3   算法TPHMST：隱藏hash值    342
7.2.4   Skype中使用的軟件保護技術    349
7.2.5   算法REWOS：攻擊自hash算法    352
7.2.6   講評    356
7.3   算法RETCJ：響應機制    357
7.4   狀態(tài)自檢    360
7.4.1   算法TPCVCPSJ：易遭忽視的hash函數   362
7.4.2   算法TPJJV：重疊的指令    365
7.5   遠程防篡改    368
7.5.1   分布式監(jiān)測和響應機制    368
7.5.2   解決方案    369
7.5.3   算法TPZG：拆分函數    369
7.5.4   算法TPSLSPDK：通過確保遠程機器硬件配置來防篡改   372
7.5.5   算法TPCNS：對代碼進行持續(xù)的改變    375
7.6   小結    376
第8章   軟件水印    378
8.1   歷史和應用    378
8.1.1   應用    379
8.1.2   在音頻中嵌入水印    382
8.1.3   在圖片中嵌入水印    383
8.1.4   在自然語言文本中嵌入水印    384
8.2   軟件水印    387
8.3   定義    388
8.3.1   水印的可靠性    389
8.3.2   攻擊    391
8.3.3   水印與指紋    392
8.4   使用重新排序的方法嵌入水印    392
8.4.1   算法WMDM：重新排列基本塊    394
8.4.2   重新分配資源    396
8.4.3   算法WMQP：提高可靠性    397
8.5   防篡改水印    400
8.6   提高水印的抗干擾能力    403
8.7   提高隱蔽性    408
8.7.1   算法WMMIMIT：替換指令    409
8.7.2   算法WMVVS：在控制流圖中嵌入水印    409
8.7.3   算法WMCC：抽象解析    416
8.8   用于隱寫術的水印    421
8.9   把水印值分成幾個片段    425
8.9.1   把大水印分解成幾個小片段    426
8.9.2   相互冗余的水印片段    427
8.9.3   使用稀疏編碼提高水印的可靠性    432
8.10   圖的編/解碼器    432
8.10.1   父指針導向樹    433
8.10.2   底數圖    433
8.10.3   排序圖    434
8.10.4   根延伸的平面三叉樹枚舉編碼    434
8.10.5   可歸約排序圖    435
8.11   講評    436
8.11.1   嵌入技術    437
8.11.2   攻擊模型    438
第9章   動態(tài)水印    439
9.1   算法WMCT：利用別名    443
9.1.1   一個簡單的例子    443
9.1.2   水印識別中的問題    445
9.1.3   增加數據嵌入率    447
9.1.4   增加抵御攻擊的抗干擾性能    452
9.1.5   增加隱蔽性    455
9.1.6   講評    458
9.2   算法WMNT：利用并發(fā)    459
9.2.1   嵌入水印的基礎構件    462
9.2.2   嵌入示例    467
9.2.3   識別    469
9.2.4   避免模式匹配攻擊    470
9.2.5   對構件進行防篡改處理    471
9.2.6   講評    473
9.3   算法WMCCDKHLSpaths：擴展執(zhí)行路徑    474
9.3.1   水印的表示和嵌入    474
9.3.2   識別    479
9.3.3   講評    480
9.4   算法WMCCDKHLSbf：防篡改的執(zhí)行路徑    481
9.4.1   嵌入    481
9.4.2   識別    484
9.4.3   對跳轉函數進行防篡改加固    484
9.4.4   講評    485
9.5   小結    486
第10章   軟件相似性分析    489
10.1   應用    490
10.1.1   重復代碼篩選    490
10.1.2   軟件作者鑒別    492
10.1.3   剽竊檢測    495
10.1.4   胎記檢測    496
10.2   定義    497
10.3   基于k-gram的分析    501
10.3.1   算法SSSWAwinnow：有選擇地記錄k-gramhash    501
10.3.2   算法SSSWAMOSS：軟件剽竊檢測    504
10.3.3   算法SSMCkgram：Java字節(jié)碼的k-gram“胎記”    507
10.4   基于API的分析    509
10.4.1   算法SSTNMM：面向對象的“胎記”    510
10.4.2   算法SSTONMM：動態(tài)函數調用“胎記”    512
10.4.3   算法SSSDL：動態(tài)k-gram API“胎記”   513
10.5   基于樹的分析    514
10.6   基于圖的分析    518
10.6.1   算法SSKH：基于PDG的重復代碼篩選    518
10.6.2   算法SSLCHY：基于PDG的剽竊檢測    521
10.6.3   算法SSMCwpp：整個程序的動態(tài)“胎記”   522
10.7   基于軟件度量的分析方法    525
10.7.1   算法SSKK：基于軟件度量的重復代碼篩選    525
10.7.2   算法SSLM：基于度量的軟件作者鑒別    527
10.8   小結    532
第11章   用硬件保護軟件    534
11.1   使用發(fā)行的物理設備反盜版    535
11.1.1   對發(fā)行盤片的保護    536
11.1.2   軟件狗和加密鎖    541
11.2   通過可信平臺模塊完成認證啟動    545
11.2.1   可信啟動    546
11.2.2   產生評估結果    548
11.2.3   TPM    550
11.2.4   盤問式驗證過程    551
11.2.5   社會可信性和隱私問題    553
11.2.6   應用和爭議    555
11.3   加密的可執(zhí)行文件    556
11.3.1   XOM體系結構    557
11.3.2   阻止重放攻擊    560
11.3.3   修補有漏洞的地址總線    561
11.3.4   修補有漏洞的數據總線    564
11.3.5   講評    565
11.4   攻擊防篡改設備    565
11.4.1   監(jiān)聽總線——破解微軟的XBOX    566
11.4.2   猜測指令——破解達拉斯半導體公司的DS5002FP微處理器   567
11.4.3   破解智能卡    570
11.4.4   非侵入式攻擊    573
11.4.5   主板級的保護    574
11.5   小結    576
參考文獻    578