The present invention relates to the art of software protection, and more particularly, to the art of software protection using binary encoding.
Today's networked computer systems have greatly increased productivity as well as quality of life. The ubiquity and reliance on computer systems to control vital infrastructure (e.g. transportation systems, communication systems, financial systems, defense systems, etc.) and to serve as a common appliance for carrying out life's everyday tasks (e.g., shopping, education, communicating with friends and relatives, entertainment, etc.) has made protecting these systems a priority. To underscore the vulnerability of the software infrastructure, an average of 50 security vulnerabilities are discovered weekly. A virulent computer virus or worm, undetected and unchecked, could wreak havoc on such infrastructure.
Computing monoculture is one of the major culprits for the fragile software infrastructure. The respective market for operating systems, routers, firewalls, cable modems, servers, browsers and other clients, media players, and embedded systems, (to name only a few examples) is dominated by a handful of providers. A promising approach inspired by biology is to use diversity to combat this monoculture. Just as a genetically diverse population potentially protects species from widespread diseases, a diverse software population would protect against widespread attacks on our cyber infrastructure. If each copy of a software application were different enough, an attacker would need to craft a separate and tailored attack for each copy, thereby greatly increasing the difficulty of mounting a successful attack for at least two reasons: (1) it would make it harder to mount an attack on a single application; and (2) it would make it harder to mount an automated and/or self-propagating attack, e.g., a worm that successfully subverts an application and uses the subverted application to attack other applications.
One way of preventing attack is to write software without faults, i.e., without defects in the software, as some faults represent security vulnerabilities, e.g., buffer overflows. However, despite decades of research and progress in software engineering practices, applications are still shipped today with numerous faults. Some of these faults represent security vulnerabilities waiting to be exploited. One approach towards reducing the number of vulnerabilities is to perform static analysis on the source code (such as that disclosed in Evans 1996, Larochelle and Evans 2001), and warn developers of potential vulnerabilities. Another is to write applications in a type-safe language such as Java or C# language in which certain classes of security vulnerabilities are prevented. Other possible techniques defend against specific attacks (such as that disclosed in Cowan, Pu et al. 1998; Cowan, Barringer et al. 2001). Yet other techniques provide protection by detecting deviation from an application's normal behavior (Abadi, Budiu et al. 2005) or by constraining the behavior of applications (Kiriansky, Bruening et al. 2002). Yet others seek to introduce diversity in software (Forrest, Somayaji et al. 1997; Barrantes, Ackley et al. 2003; Kc, Keromytis et al. 2003; Barrantes, Ackley et al. 2005).
One diversity technique, instruction set randomization (ISR) (Kc, Keromytis et al. 2003; Barrantes, Ackley et al. 2005), seeks to protect software by randomizing the instruction set of software applications and invalidating the attacker's knowledge of the application's instruction set. Using ISR, even if an attacker is successful in injecting code into an application, the attacker would not be able to execute this code as it will not be understood (since the application under ISR now speaks a “different language”). Advantages of ISR are that it is a generic defense technique that protects software against both known and unknown code-injection attacks provided the attacker cannot guess or obtain the randomizing key(s); and it can be deployed without needing access to source code.
However, ISR suffers from several critical deficiencies. Under ISR, injected code attacks can result in the execution of random instruction sequences (Barrantes, Ackley et al. 2005). The assumption is that the execution of such sequences will eventually fail without doing any damage. Such an assumption may not be correct, and furthermore, while the attack did not succeed in gaining control of the application, the attack will cause the application to fail or fault in some unknown way. A second deficiency is that for performance reasons, current implementations of ISR use simple encode/decode mechanisms such as XOR operation. The ostensible reason is that stronger encryption methods would incur too much runtime overhead. Unfortunately, recent research has shown that these simple schemes can be cracked even when used with a one-time pad (Sovarel, Evans et al. 2005). A third deficiency is that the proposed systems rely on emulation and incur significant runtime overhead costs that make the use of ISR impractical for many applications.
What is desired are improved methods and systems for protecting software.
The objects and advantages of the present invention will be obvious, and in part appear hereafter and are accomplished by the present invention that provides a method and system for protecting software using binary encoding.
As an example of the invention, a method for protecting software is disclosed herein. The method comprises: encoding a set of instructions associated with the software using a block encryption technique, wherein the block has more than 8-bits; executing the encoded set of instructions.
As another example of the invention, a method of executing a set of encoded instructions is disclosed herein. The method comprises: loading the set of encoded instructions into a virtual machine, decoding the instructions; and executing the decoded instructions by the virtual machine or a computing device on which the virtual machine is hosted.
As yet another example of the invention, a method is disclosed herein. The method comprises: a first computing device having a first computer-executable instructions for performing a method comprising: encoding a set of instructions associated with the software using a block encryption technique, wherein the block has more than 8-bits; a second computing device having a second computer-executable instructions for performing a method comprising: executing the encoded set of instructions. The first and second computers may or may not be networked.
As yet another example of the invention, a method for protecting software is disclosed herein. The method comprises: retrieving a set of instructions associated with the software; calculating an integrity of at least a portion of the set of instructions; inserting the integrity to the instructions; encoding the instructions and the integrity with an encoding key; and executing the instructions, further comprising: decoding the instructions and integrity; inspecting the integrity; and executing the decoded instructions if the integrity matches the instruction after being decoded.
Such objects of the invention are achieved in the features of the independent claims attached hereto. Preferred embodiments are characterized in the dependent claims. In the claims, only elements denoted by the words “means for” are intended to be interpreted as means plus function claims under 35 U.S.C. §112, the sixth paragraph.
While the appended claims set forth the features of the present invention with particularity, the invention, together with its objects and advantages, may be best understood from the following detailed description taken in conjunction with the accompanying drawings of which:
a is a diagram schematically illustrates an example of performing the binary encoding using an ISR technique according to an embodiment of the invention;
b is a diagram schematically illustrates an example of performing the decoding and execution of the encoded instructions with a Strata virtual machine according to an embodiment of the invention;
This invention provides a method and system for protecting software using binary encoding. In the following, the invention will be discussed in connection with various embodiments. In view of the many possible embodiments to which the principles of this invention may be applied, it should be recognized that the embodiments described herein in connection with the drawings are meant to be illustrative only and should not be taken as limiting the scope of invention. Those of skill in the art will recognize that the illustrated embodiments can be modified in arrangement and detail without departing from the spirit of the invention. The embodiments that will be discussed herein are not mutually exclusive, unless so stated, or if readily apparent to those of ordinary skill in the art.
Referring to the drawings,
The source instructions to which the invention is applicable can be binary machine codes (byte codes, and/or generally interpreted codes of any kind) that are executable by a computing device, such as a computer, or can be object code instructions. Encoder 102 is provided to encode the source instructions with a predetermined encryption scheme, such as a block encryption technique with the block having more than 8-bits, more preferably having more than 32 bits. For example, the encoder can be a module using an instruction-set-randomization (ISR) technique. In particular, the encoder can use an Advanced Encryption Standard (hereafter “AES”) technique or “Rijndael” technique as s Daemen and Rijmen 2001, the subject matter of which is incorporated herein by reference. AES is a symmetric algorithm that uses the same security key for both encryption and decryption. AES has been approved by the National Security Agency for secret and top-secret communications and is a de facto standard for commercial software and hardware that uses encryption. AES uses a fixed block size of 128-bits and a 128-bit, 192-bit, or 256-bit security key. Rijndael can be specified with key and block sized in any multiple of 32 bits, with a minimum of 128 bits and a maximum of 256 bits. Longer key lengths provide greater security. Instead of AES or in combination with AES, other encryption techniques, such as techniques that use both symmetric-key and asymmetric-key algorithms are also applicable.
The encoded instructions are passed to instruction execution module 104 wherein the instructions are executed. In an embodiment of the invention, the instruction execution module is a Strata virtual machine and is employed to perform the dynamic decryption, which will be detailed afterwards with reference to
In the following, this invention will be discussed with particular examples wherein embodiments of the invention are implemented in IA-32 architecture; and results are measured under Linux, of course other architectures and operating systems can be used. Without loss of generality, an AES encryption technique with 128 bits security keys that are used for both encoding and decoding the software instructions is employed. A Strata virtual machine, or any other suitable virtual machine, is employed for performing dynamic translation. Specifically, the Strata virtual machine is modified to incorporate a decrypt engine for decoding the instructions. It will be appreciated by those ordinary skill in the art that the following discussion is for demonstration purposes only, and should not be interpreted as a limitation. Instead, other variations without departing from the spirit of the invention are also applicable. For example, embodiments of the invention are also applicable to other architectures. Other security keys with different lengths are also applicable. Moreover, the encoding and decoding may use different security keys, an encryption scheme of which is often referred to as “asymmetric encryption.” In addition to the Strata virtual machine, other type of virtual machines can also be employed, such as Java Virtual machines and common language runtime virtual machines, among others. In addition to an AES encryption technique, other suitable encryption techniques could be utilized, such as Blowfish, CAST, DES, Triple DES, etc.
For demonstration purpose, a block diagram showing an exemplary system for encoding the instructions according to an embodiment of the invention is illustrated in
Referring to
The instructions are encoded with an AES algorithm, which is accomplished by security key module 112 that generates and/or maintains a security key, static binary rewriter 114, and encrypted application container 116. The AES algorithm, however, requires the instruction chunks to be equal to the size of the security key that is 128-bits in this example. This requirement may not always be satisfied given the variable-size instruction length of the IA-32 architecture, where the length of the instruction can be anywhere from one byte (equal to 8 bits) in length up to 15 bytes. In order to ensure that both encryption and decryption operate on instructions blocks that begin and end at 128-bit boundaries, static binary rewriter 114, such as Diablo as set forth in “Linktime optimization of ARM Binaries Bus”, B. D., B. D. Sutter, et al., ACM SIG-PLAN Notices 39(7): 211-220, (2004), the subject matter of which is incorporated herein by reference in its entirety, is employed; though other tools available to manipulate programs could also be used.
As illustrated in
The encoded instructions are passed to an instruction execution module (e.g. execution module 104 in
An exemplary Strata virtual machine according to an embodiment of the invention is illustrated in
To be compatible with the encryption with AES as discussed earlier, a decryption engine capable of decrypting the encoded instructions with the AES is embedded in the Strata virtual machine. In this example, the decryption engine comprises pre-fetch module 132, decrypt and validate module 133, tag inspection module 130, stop attack module 126, and a decoding buffer (not shown in the figure for simplicity) that has 256-bits.
In operation, the pre-fetch module Strata may fetch two consecutive 128-bit blocks into the decoding buffer. Specifically, the pre-fetch module fetches the block that contains the first byte of the instruction and the following 128-bit block. Both blocks are then decrypted at decrypt and validate module 133, which will be detailed with reference to
As a way of example,
Referring back to
As an alternative feature, embodiments of the invention can be modified so as to remedy the deficiency of current ISR implementation in the art that suffers from code-injection attacks, software tampering, or the like. The current ISR implementation decrypts the injected code and then executes the injected code after the decoding operation. While a crash is somewhat better than allowing an attacker to gain unfettered control, it is still unsatisfactory in executing the injected codes after decoding. At the very least, denial-of-service attacks are possible, and at the worst the execution of garbage code could cause unanticipated actions (particularly with an embedded system that may control over external devices). This problem can be solved by modifying the Diablo (as shown in
If it is determined (130) that the calculated and stored MAC are identical, the instruction is passed for further process at fetch module, 136, decode module 138, translator module 140, and next PC module 142. It is noted that using Strata can be sufficient to compute a MAC for the first instruction of each basic block only. However, in other embodiments of the present invention method and system, a MAC or perhaps a hash could also be computed on entire blocks of code.
The encryption scheme, including encoding and decoding for protecting software as discussed above has many advantages. For example, while the binary program is padded with no-op instructions (as shown in 116 of
Turning to
The software protection method of the invention has many advantages over existing software protection techniques. For example, the software protection method of the invention allows binary programs to be encrypted so that they are difficult to comprehend by an adversary or software attacker who does not have the encryption key either when they are stored on a computer or transmitted between computers. Moreover, the method of the invention breaks the software monoculture by allowing different copies of a binary program on different machines to be encrypted using different keys so that knowledge of how to attack one machine is of no advantage when attacking other machines. To remedy the deficiencies in preventing code-injection attacks in many other software protection techniques, such as ISR, legitimate instruction integrity inspection is employed. As a way of example, a message authentication checksum (hereafter, “MAC”) can be attached to the set of instructions before encoding, and then encoded with the set of instructions. After decoding, the MAC is inspected to exam the integrity of the decoded instructions. In this way, successfully injected codes from attackers can be identified. Such identified foreign codes (or malicious codes) can be discarded and will not be executed.
As an alternative embodiment of the invention, a compiler, such as a language compiler (e.g. C compiler and Java compiler) can be modified, instead of using a link-time optimizer such as Diablo (or any other binary rewriting tool), to generate the encoded binary program, including computing any needed checksums or hash functions over the code, and any needed alignment and padding.
In another alternative embodiment of the invention, the binary program to be protected can be encoded, e.g. encrypted dynamically when the program is first loaded into the memory (instead of statically at compile or link time) using a security key that is also generated at load time. The key can then be passed to Strata virtual machine and used for decryption. An advantage of this approach is that the security key will never be stored on disk but is generated dynamically, e.g. on the fly. Every time a program is restarted, i.e. is reloaded, it would be protected using a different security key.
As yet another alternative embodiment of the invention, shared libraries and Dynamic Link Libraries (DLLs), instead of static libraries, can also be incorporated using this invention. When a shared library or DLL is loaded into memory, it can be encoded, e.g. encrypted, in a similar manner to the software application. The shared library or DLL may be generated in such a manner as to be compatible with the selected encoding/decoding scheme, e.g. processes as padding and alignment are desired to be taken care of (if needed) as with the binary software program. As an option, each shared library may have its own security key for added protection.
As yet another alternative embodiment of the invention, other encoding schemes besides AES can easily be used. A simple example is XOR operation. Any combination of encryption techniques (including both symmetric and asymmetric methods), and message authentication codes or checksums or parity bits can be used. In addition, the encoding scheme can include transforming the original instruction set into a new and potentially unique instruction set, to be decoded by the virtual machine. If desired, obfuscation techniques, such as that disclosed in “Watermarking, tamper-proofing, and obfuscation—tools for software protection”, Collberg, C. S. and C. Thomborson, IEEE Transactions on Software Engineering 28: 735-746 (2002), can be used as part of the encoding process. In general, any encoding schemes that can be decoded at run-time, i.e. when the program runs, can be employed. Of course, it is desirable that the selected encoding and decoding techniques can detect when foreign code (or malicious codes) has been injected to avoid the major problem with existing techniques.
While the embodiments of the invention as discussed above use the Strata virtual machine as an example, other software dynamic translators, interpreters, or emulators can also be used. Other applicable software dynamic translators can be VMW (EMC Corporation, http://www.vmware.com/) and Transitive (Transitive Corporation, http://www.transitive.com/).
The present invention can be implemented as software in a computing device, or alternatively, on hardware, such as hardware using a processor such as Transmeta Corporation's Crusoe processor. An exemplary computing device in which embodiment of the invention can be implemented is schematically illustrated in
Referring to
Additionally, device 144 may also have other features and/or functionality. For example, the device could also include additional removable and/or non-removable storage including, but not limited to, magnetic or optical disks or tape, as well as writable electrical storage media. Such additional storage is the figure by removable storage 162 and non-removable storage 148. Computer storage media includes volatile and nonvolatile, removable and non-removable media implemented in any method or technology for storage of information such as computer readable instructions, data structures, program modules or other data. The memory, the removable storage and the non-removable storage are all examples of computer storage media. Computer storage media includes, but is not limited to, RAM, ROM, EEPROM, flash memory or other memory technology CDROM, digital versatile disks (DVD) or other optical storage, magnetic cassettes, magnetic tape, magnetic disk storage or other magnetic storage devices, or any other medium which can be used to store the desired information and which can accessed by the device. Any such computer storage media may be part of, or used in conjunction with, the device.
The device may also contain one or more communications connections 164 that allow the device to communicate with other devices (e.g. other computing devices). The communications connections carry information in a communication media. Communication media typically embodies computer readable instructions, data structures, program modules or other data in a modulated data signal such as a carrier wave or other transport mechanism and includes any information delivery media. The term “modulated data signal” means a signal that has one or more of its characteristics set or changed in such a manner as to encode information in the signal. By way of example, and not limitation, communication medium includes wired media such as a wired network or direct-wired connection, and wireless media such as eadio, RF, infrared and other wireless media. As discussed above, the term computer readable media as used herein includes both storage media and communication media.
In addition to a stand-alone computing machine, embodiments of the invention can also be implemented on a network system comprising a plurality of computing devices that are in communication with a networking means, such as a network with an infrastructure or an ad hoc network. The network connection can be wired connections or wireless connections. As a way of example,
Embodiments of the invention are also applicable to prevent software tampering. Software tampering can be defined as carrying out unauthorized modifications on software that allows for an adversary to misuse the software in some way. Software tampering can be conducted by adversaries for many reasons, such as changing the software's functionality. For correct operation, all computer systems depend on the use of the software that was designed and built to realize the computer systems' intended purpose. If that software is altered or replaced by an adversary or other third party with malicious intent, the result could be serious. For example, information could be compromised or service could be altered. In a weapon system, an ATM machine, financial software, a “smart” card and similar systems, tremendous damage could be done.
Software tampering can be conducted by adversaries to reverse engineer the software. Software often contains valuable intellectual property that would be useful to an adversary. By stealing a copy of the software and reverse engineering it, the adversary can obtain the intellectual property with little cost.
Software tampering can be conducted by adversaries to change the software's target. In some cases, reverse engineering is not necessary for an adversary to gain value from an existing piece of software, it is often only necessary to execute the software under conditions different from those intended by the software's owners. By stealing a copy and using his or her own target computer, an adversary gains the value of the software without paying for it. This type of malicious behavior is often called piracy. Since software tampering can have serious consequences, the owners and operators of many computer systems desire a mechanism to make tampering as difficult as possible, i.e., they desire their software to be hardened against tampering, and, if possible, made tamperproof.
Tamperproofing software is difficult because the software is often stored at many different locations and often transmitted between locations. A given software system S might be built using hundreds of source-code files that are kept in a file system maintained by S's manufacturer. That file system will usually be shared so that a number of people might have access to the file system and possibly also to all or part of S.
Once the system S is built, it will be in one of several different forms usually referred to as binary and be stored using one of several different media. Supplying the binary form of S to those who will use it might involve physical movement of the media or transmission over a network. The binary software used by a computer is usually stored in a file system that is physically close to that computer. When it is not being used, the software remains available in that file system. When it is being used, the software is also stored in the main memory of the computer using it. An adversary only needs to gain access to the software once in order to tamper with it, and, for some forms of tampering, the access gained need not be to all of the software. If the adversary wants to change the functionality of the software, all that he or she needs to do is gain access to that part of the software which provides the functionality to be changed. Access might be to the source files, the binary files, to the tools that are used to build the software (such as compilers and linkers), to shared libraries that the software uses, or to the software during execution. If the change is not detected, then the adversary has met his or her goal. The number of locations in which the software resides in its various forms makes protecting software from tampering very difficult. The goal of those with a stake in the correct operation of the software is to ensure that the software is protected from tampering in all locations and all in all forms. Protection of the software at the manufacturer's location requires trust in all of those preparing the software. This is similar to any situation in which information is being developed, and so traditional techniques, such as access restriction, can be employed. Beyond the site of the software's original manufacturer, however, the problem of protecting the software against tampering is much harder since most people with access to the software are not known to be trustworthy. The invention described here achieves the stakeholders' goal and defeats all known credible tampering threats. The invention works by encrypting the software using a strong encryption algorithm. The protection that this affords is assured, and it is much more reliable as an anti-tampering technique than software obfuscation approaches. The invention implements anti-tampering efficiently requiring only a small execution overhead, can be applied to virtually any software system, and can be applied retroactively to existing systems.
The invention meets the anti-tampering goal discussed above by maintaining the software in encrypted form until it is executed. The protection provided by encryption can be strong as compared to those in the art because: (1) decryption by an adversary using state-space exploration requires resources that are beyond those available; and (2) decryption by an adversary using the appropriate key or keys is only possible if the key or keys are not protected properly. Existing techniques are available for key distribution and protection. Those software encryption mechanisms in the art, however, either leave the software in plain form to such an extent that the software becomes vulnerable to tampering or the decryption process is extremely inefficient. The invention presented herein addresses both of these problems.
As a way of example, tamperproofing of software can be accomplished by the following steps: (1) the software is encrypted on a host computer in a trusted facility by its owners or the manufacturer prior to its deployment; (2) the software is conveyed to any locations where it is needed in encrypted form; (3) the software is stored on the target computer upon which it is to run in encrypted form; (4) the software is loaded into memory on the target computer in encrypted form; (5) the software is decrypted just prior to execution. Only part of the software is kept in decrypted form at any given time. The decrypted software is held in a protected memory area.
Encryption at the trusted facility can be carried out using an unspecified encryption mechanism. Decryption just prior to execution is effected using an unspecified decryption mechanism. An example of how decryption might be implemented in practice is the use of a supplemental specialized hardware unit of which many are available. Such devices contain the decryption key(s) and the processing hardware that executes the decryption algorithms. Without this device, the encrypted software cannot be decrypted. The keys used for encryption and decryption are made available to the host and target computers using a conventional key management system. An example of how decryption might be controlled is by the use of a dynamic binary translation mechanism. With this approach, each fragment of the software is fetched as needed and sent to the decryption mechanism. The decrypted version of the fragment is stored in a region of memory called a fragment cache and then executed. If the fragment is executed more than once, the originally decrypted version is fetched from the fragment cache provided it is still there. The fragment cache is emptied periodically to ensure that only a small amount of the software is stored in plaintext form.
In order to tamper with the software after it has been encrypted, an adversary would have to either: (1) break the encryption; or (2) tamper with the software during execution. Decrypting the software is as difficult as decrypting any form of encrypted information. Provided the software is free of tampering when it is encrypted, the chances of tampering prior to execution are the same as the chances that the encryption can be broken.
Tampering during execution requires that the adversary gain access to that part of the software maintained in plain text form by the decryption mechanism. Nothing is specified in this invention about the decryption mechanism and so nothing is specified about what parts of the software will be in plain text form at any given point during execution. Using the example of a decryption mechanism given above in which dynamic binary translation is used the only place where the software is maintained in plain text form is the fragment cache. In this example, the fragment cache is protected with a variety of software and hardware mechanisms.
With the method according to embodiment of the invention, changing the software's functionality can be prevented. This form of software tampering is prevented by the fact that the software remains encrypted everywhere that it is stored and during all transmissions prior to execution. Without the decryption key(s), any modification(s) effected by an adversary to the encrypted software would either not survive the decryption process or would be detected.
Reverse engineering the software can also be prevented by the method according to the embodiments of the invention. This form of tampering is prevented by the fact that the software remains encrypted everywhere that it is stored and during all transmissions prior to execution. As a result, the adversary would only be able to acquire an encrypted version of the software. Acquiring the encrypted software does the adversary no good because he or she will not be able to conduct any form of static or dynamic analysis on the software.
Changing the software's target can be prevented by the method according to the embodiments of the invention. This form of tampering is prevented by the fact that the software requires a decryption key in order for it to be executed. Thus, copying the software will not allow it to be executed on an unauthorized target.
Embodiments of the invention are accomplished through encoding and decoding of the software to be protected. The encoding and decoding processes are performed with one or more security keys depending upon the encryption scheme used. The security keys can be managed in multiple ways, as those known in the art. In particular, the decoding key can be delivered with the encoded software, or more preferably, delivered by an alternative means other than that used for delivering the encoded software. In fact, the security keys can also be encrypted before delivery. As a way of example wherein a symmetric key scheme is employed, the security key can be delivered to the customer via an email attachment or a telephone call, while the encoded software can be delivered to the customer via an electronic copy or by mail. In the above, the invention is discussed with reference to encoding and coding instructions associated with the software to be protected. It is readily appreciated by those ordinary skilled in the art that the instructions may or may not be associated with the entire software. Specifically, software can be protected by applying the embodiments to only a portion (or segment) of the software so as to protect the entire software. Specifically, instructions corresponding to only a portion (not entire) of the software can be encoded; while the instructions associated with the entire software are delivered to the customer. At run time, the encoded portion of the instructions is decoded with a decoding scheme corresponding to the encoding scheme during the encoding process; while the instructions not encoded are not included in the decoding process. This encoding-decoding scenario may require that the encoded (and/or the decoded) portion of the entire instructions to be tagged. As another alternative feature, different portions of the software can be encoded/decoded differently. Specifically, the instructions associated with the software may have a first portion that is encoded/decode with a scheme other than the second portion that is encoded/decoded with a different scheme. The instructions may still have the third portion that is not encoded/decoded, but is to be executed along with the decoded instructions. As yet another feature, any one of the first, second, and third portions of instructions may not be consecutive. Instead, encoded instructions (or differently encoded instructions) and un-encoded instructions (if any) can be located anywhere across the entire instruction set associated with the software.
As an alternative feature, the decoded and valid instructions can be removed according to a pre-determined policy so as to enhance the software protection. For example, the decoded and validated instructions can be removed every Nth instruction, wherein N is an integer number, such as 1, or more, 10 or more, 100 or more, 1000 or more, and 2000 or more. For another example, the decoded and valid instructions can be removed every X second(s) or more, such as every 1 second or more, 5 seconds or more, 10 seconds or more, and 60 seconds or more. For yet another example, the decoded and valid instructions can be removed after executing a given function more than M times, wherein M is an integer number, such as 1, 2, 3, 4, etc.
If will be appreciated by those of skill in the art that a new and useful method and apparatus for protecting software have been described herein. In view of the many possible embodiments to which the principles of this invention may be applied, however, it should be recognized that the embodiments described herein with respect to the drawing figures are meant to be illustrative only and should not be taken as limiting the scope of invention. Those of skill in the art will recognize that the illustrated embodiments can be modified in arrangement and detail without departing from the spirit of the invention. Therefore, the invention as described herein contemplates all such embodiments as may come within the scope of the following claims and equivalents thereof.
This US patent application claims priority from co-pending U.S. provisional application Ser. No. 60/698,137 to Davidson et al., field on Jul. 11, 2005, the subject matter of which is incorporated herein by reference in its entirety. The subject matter of each one of the following publications is incorporated herein by reference in its entirety: 1) “Control-Flow Integrity” Abadi, M., M. Budiu, et al., Microsoft Technical Report MSR-TR—05-18, 2005;2) “Randomized Instruction Set Emulation to Disrupt Binary Code Injection Attacks” Barrantes, E. G., D. H. Ackley, et al., ACM Conference on Computer and Communications Security 2003;3) “Randomized instruction set emulation” Barrantes, E. G., D. H. Ackley, et al. ACM Transactions on Information System Security 8(1): 3-40;4) “Linktime optimization of ARM Binaries Bus”, B. D., B. D. Sutter, et al., ACM SIG-PLAN Notices 39(7): 211-220, (2004);5) “Watermarking, tamper-proofing, and obfuscation—tools for software protection”, Collberg, C. S. and C. Thomborson, IEEE Transactions on Software Engineering 28: 735-746 (2002);6) “FormatGuard: Automatic Protection From print Format String Vulnerabilities” Cowan, C., M. Barringer, et al., USENIX Security Symposium (2001);7) “StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks” Cowan, C., C. Pu, et al., 7th USENIX Security Conference (1998);8) “Algorithm alley: Rijndael: The Advanced Encryption Standard” Daemen, J. and V. Rijmen, Dr. Dobb's Journal of Software Tools 26(3): 137-139 (2001);9) “Static Detection of Dynamic Memory Errors” Evans, D. (1996), ACM SIGPLAN Conference on Programming Language Design and Implementation (2001);10) “Building Diverse Computer Systems” Forrest, S., A. Somayaji, et al. Sixth Workshop on Hot Topics in Operating Systems (1997);11) Countering Code-Injection Attack With Instruction-Set Randomization” Kc, G. S., A. D. Keromytis, et al. ACM Computer and Communication Security (CCS) (2003);12) “Secure Execution Via Program Shepherding” Kiriansky, V., D. Bruening, et al. 11th Usenix Security Symposium (2002);13) “Statically Detecting Likely Buffer Overflow Vulnerabilities” Larochelle, D. and D. Evans, USENIX Security Symposium (2001);14) “Dynamic binary analysis and instrumentation” Nethercote, N., Technical Report UCAM-CL-TR-606, University of Cambridge, Computer Laboratory (2004);15) “Retargetable and reconfigurable software dynamic translation” Scott, K., N. Kumar, et al. International Symposium on Code Generation and Optimization (2003); and16) “Where's the FEEB? The Effectiveness of Instruction Set Randomization” Sovarel, A. N., D. Evans, et al., 14th Usenix Security Symposium, Baltimore (2005).17) “A Survey of Anti-Tamper Technologies”, Atallah, M., E. Bryant, and M. Stytz, CrossTalk: The Journal of Defense Software Engineering, November (2004).18) Government Accounting Office, DOD Needs to Better Support Program Managers' Implementation of Anti-Tamper Protection, GAO-04-302, March (2004).
Filing Document | Filing Date | Country | Kind | 371c Date |
---|---|---|---|---|
PCT/US2006/026932 | 7/11/2006 | WO | 00 | 2/29/2008 |
Number | Date | Country | |
---|---|---|---|
60698137 | Jul 2005 | US |