Overview

“This book gives thorough, scholarly coverage of an area of growing importance in computer security and is a ‘must have’ for every researcher, student, and practicing professional in software protection.”     —Mikhail Atallah, Distinguished Professor of Computer Science at Purdue University Theory, Techniques, and Tools for Fighting Software Piracy, Tampering, and Malicious Reverse Engineering The last decade has seen significant progress in the development of techniques for resisting software piracy and tampering. These techniques are indispensable for software developers seeking to protect vital intellectual property. Surreptitious Software is the first authoritative, comprehensive resource for researchers, developers, and students who want to understand these approaches, the level of security they afford, and the performance  penalty they incur. Christian Collberg and Jasvir Nagra bring together techniques drawn from related areas of computer science, including cryptography, steganography, watermarking, software metrics, reverse engineering, and compiler optimization. Using extensive sample code, they show readers how to implement protection schemes ranging from code obfuscation and software fingerprinting to tamperproofing and birthmarking, and discuss the theoretical and practical limitations of these techniques. Coverage includes Mastering techniques that both attackers and defenders use to analyze programs Using code obfuscation to make software harder to analyze and understand Fingerprinting software to identify its author and to trace software pirates Tamperproofing software using guards that detect and respond to illegal modifications of code and data Strengthening content protection through dynamic watermarking and dynamic obfuscation Detecting code theft via software similarity analysis and birthmarking algorithms Using hardware techniques to defend software and media against piracy and tampering Detecting software tampering in distributed system Understanding the theoretical limits of code obfuscation

Full Product Details

Author:   Christian Collberg ,  Jasvir Nagra ,  Jasvir Nagra
Publisher:   Pearson Education (US)
Imprint:   Addison-Wesley Educational Publishers Inc
Dimensions:   Width: 18.10cm , Height: 3.90cm , Length: 23.20cm
Weight:   1.250kg
ISBN:  

9780321549259

ISBN 10:   0321549252
Pages:   792
Publication Date:   06 August 2009
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Out of Print
Availability:   Awaiting stock  

Table of Contents

Preface xv About the Authors xxv Acknowledgments xxvii Chapter 1: What Is Surreptitious Software?      1 1.1   Setting the Scene 1 1.2   Attack and Defense 6 1.3   Program Analysis 7 1.4   Code Obfuscation 13 1.5   Tamperproofing 32 1.6   Software Watermarking 36 1.7   Software Similarity 43 1.8   Hardware-Based Protection Techniques 49 1.9   Discussion 55 1.10 Notation 58 Chapter 2: Methods of Attack and Defense      59 2.1   Attack Strategies 60 2.2   Defense Strategies 86 2.3   Discussion 114 Chapter 3: Program Analysis      117 3.1   Static Analysis 118 3.2   Dynamic Analysis 145 3.3   Reconstituting Source 170 3.4   Pragmatic Analysis 190 3.5   Discussion 198 Chapter 4: Code Obfuscation      201 4.1   Semantics-Preserving Obfuscating Transformations 202 4.2   Definitions 217 4.3   Complicating Control Flow 225 4.4   Opaque Predicates 246 4.5   Data Encodings 258 4.6   Breaking Abstractions 277 4.7   Discussion 298 Chapter 5: Obfuscation Theory      301 5.1   Definitions 304 5.2   Provably Secure Obfuscation: Possible or Impossible? 307 5.3   Provably Secure Obfuscation: It’s Possible (Sometimes)! 313 5.4   Provably Secure Obfuscation: It’s Impossible (Sometimes)! 335 5.5   Provably Secure Obfuscation: Can It Be Saved? 344 5.6   Discussion 354 Chapter 6: Dynamic Obfuscation      357 6.1   Definitions 360 6.2   Moving Code Around 362 6.3   Encryption 383 6.4   Discussion 398 Chapter 7: Software Tamperproofing      401 7.1   Definitions 405 7.2   Introspection 412 7.3   Algorithm TPTCJ: Response Mechanisms 440 7.4   State Inspection 444 7.5   Remote Tamperproofing 453 7.6   Discussion 464 Chapter 8: Software Watermarking      467 8.1   History and Applications 468 8.2   Watermarking Software 478 8.3   Definitions 480 8.4   Watermarking by Permutation 486 8.5   TamperproofingWatermarks 494 8.6   Improving Resilience 498 8.7   Improving Stealth 505 8.8   Steganographic Embeddings 522 8.9   SplittingWatermark Integers 526 8.10 Graph Codecs 533 8.11 Discussion 537 Chapter 9: Dynamic Watermarking      541 9.1   Algorithm WMCT: Exploiting Aliasing 546 9.2   Algorithm WMNT: Exploiting Parallelism 565 9.3   Algorithm WMCCDKHLS paths: Expanding Execution Paths 583 9.4   Algorithm WMCCDKHLS bf : Tamperproofing Execution Paths 592 9.5   Discussion 598 Chapter 10: Software Similarity Analysis      601 10.1   Applications 602 10.2   Definitions 611 10.3   k-gram-Based Analysis 616 10.4   API-Based Analysis 625 10.5   Tree-Based Analysis 631 10.6   Graph-Based Analysis 635 10.7   Metrics-Based Analysis 644 10.8   Discussion 652 Chapter 11: Hardware for Protecting Software      655 11.1   Anti-Piracy by Physical Distribution 657 11.2   Authenticated Boot Using a Trusted Platform Module 670 11.3   Encrypted Execution 683 11.4   Attacks on Tamperproof Devices 695 11.5   Discussion 711 Bibliography 713 Index 737

Reviews

Author Information

Christian Collberg received a B.Sc. in computer science and numerical analysis and a Ph.D. in computer science from Lund University, Sweden. He is currently an associate professor in the department of computer science at the University of Arizona and has also worked at the University of Auckland, New Zealand, and the Chinese Academy of Sciences in Beijing. Professor Collberg is a leading researcher in the intellectual property protection of software, and also maintains an interest in compiler and programming language research. In his spare time he writes songs, sings, and plays guitar for The Zax and hopes one day to finish his Great Swedish Novel. Jasvir Nagra received his B.Sc. in mathematics and computer science and a Ph.D. in computer science from the University of Auckland, New Zealand. He’s been a postdoctoral scholar on the RE-TRUST project at the University of Trento, where his focus is on applying obfuscation, tamperproofing, and watermarking techniques to protect the integrity of software executing on a remote untrusted platform. His research interests also include the design of programming languages and its impact on the security of applications. He’s currently with Google Inc., where he is building Caja, an open source, secure subset of JavaScript. In his spare time Jasvir dabbles with Lego and one day hopes to finish building his Turing machine made entirely out of Lego blocks.

Tab Content 6

Author Website:  

Countries Available

All regions