A method for verifying the integrity of platform software of an electronic device is provided, the method comprising accessing a module of said platform software, obtaining a signature (S), obtaining a verification key (VK), said verification key (VK) corresponding to a signing key (SK), verifying if said signature (S) was derived by signing said platform software module with said signing key (SK), by using said verification key (VK), and establishing a positive verification of said platform software module if said verification is successful. The invention also provides a method for providing a platform software module to perform the aforementioned method, and a device on which the aforementioned method can be performed.
|
1. A method for verifying integrity of a platform software of an electronic device, the method comprising:
obtaining a hash derived by performing a hash function on a software module of the platform software;
obtaining a signature associated with the software module;
obtaining a verification key, the verification key corresponding to a signing key;
using the verification key to verify whether the signature was derived by signing the hash using the signing key; and
establishing a positive verification of integrity of the platform software of the electronic device if the verification is successful.
8. An electronic device including a platform software having a software module, the electronic device comprising:
a monitoring module that obtains a hash derived by performing a hash function on the software module of the platform software;
a receptor module that obtains the signature associated with the software module and a verification key, the verification key corresponding to a signing key; and
a verification module that uses the verification key to verify whether the signature was derived by signing the hash using the signing key and establishes a positive verification of the integrity of the platform software of the electronic device if the verification is successful.
2. The method of
4. The method of
5. The method of
6. The method of
7. The method of
9. The device of
11. The device of
12. The device of
13. The device of
14. The device of
|
This patent application is a continuation application of U.S. Publication No. 2008/0267406, published on Oct. 30, 2008 (U.S. patent application Ser. No. 11/791,285 filed on Mar. 6, 2008), which is a national stage application of PCT Publication No. 2006/054128 (PCT Patent Application No. PCT/IB2004/003805 filed on Nov. 22, 2004). The subject matter of the previously filed applications are hereby incorporated by reference.
The present invention relates to methods and a device for enabling application software to verify the integrity of platform software of an electronic device.
A software platform on an electronic device is an operating system or a runtime environment (like Java or a mobile agent platform) by which software is loaded and executed. A typical piece of software is, for example, a game application that can be executed on a device with a suitable software platform. In order to provide a wide variety of compatible devices and software applications, different manufacturers may use the same software platform on their products. While the software platform or operating system is thus similar or even identical, the products equipped with it, however, usually comprise very specific hardware. Also, while the core of the platform software might be identical, there are lots of other parts like devices drivers which may not be identical or even at all present in different electronic devices.
So a situation may occur where a software application is to be executed on a device with an unsuitable software platform or hardware. Some reasons for unsuitability are, for example, an insufficient amount of Random-Access Memory (RAM) for storing the needed data, a display without an adequate resolution and/or number of colours, missing online connectivity (W-LAN, bluetooth etc.), or a keyboard not including adequate control and action keys. If any of these requirements are not fulfilled, using the respective application on such a device might not be satisfactory for the user and he will be dissatisfied with the purchased piece of software. In some cases running an application on a wrong device may even result in loss of user data and or malfunctions of the device possibly requiring costly repair services.
Generally there also exists another kind of threat regarding software platforms and imported software, i.e. software from an external source, i.e. malicious software, or so-called “malware”. A lot of attention has been paid to different kinds of methods for a software platform to verify the integrity of imported software. However also the inverse situation may be regarded, i.e., that the software platform may also subvert the operation of imported software. At the moment many protection schemes are based on different kinds of identifications such as device ID or Multi Media Card ID. In other words, the software application relies on a certain piece of platform software to retrieve a needed ID. If an attacker is able to spoof the needed ID, the whole protection scheme falls apart. Therefore the application itself should be able to verify that it is installed on a device that is able and authorized to run it.
In the state of the art a software application can verify the integrity of the software platform by computing a cryptographic hash for a selected software module of the platform software and comparing the hash with a hash contained in the verification routine of the software application. If the hashes correspond to each other the platform is successfully verified and the software application can be executed on the device. The selected software module may be, for example, software like device drivers or some other piece of software that is needed for running the application. The disadvantage of the conventional approach with a fixed expected hash value in the application is that any updates or replacements of a software module of the platform lead to a negative verification of the platform, which, in turn, results in non-execution of older applications. As it is rather common that the software of electronic devices like mobile phones and the like will have to be updated during their lifetime, e.g. to remove security flaws and software errors, such a conventional approach is not suitable to deal with these demands.
Therefore it is an object of the invention to remove or at least alleviate the problems discussed above.
To achieve this object the present invention provides methods and a device for enabling a verification of the integrity of a platform software of an electronic device.
According to a first aspect of the present invention a method for verifying the integrity of platform software of an electronic device is provided. The method comprises accessing a module of the platform software, obtaining a signature, obtaining a verification key, wherein the verification key corresponds to a signing key, using the verification key for verifying if the signature was derived by signing the platform software module with the signing key, and establishing a positive verification of the platform software module if the verification is successful. In this way the integrity of platform software can be verified by application software, to ensure that it will run on an authorized and suitable platform. In this fashion also old applications will be compatible with new or updated versions of platform software modules while still being enabled to verify the integrity.
According to one exemplary embodiment obtaining said signature is preceded by performing a hash function on the platform software module to derive a computed hash, obtaining an expected hash and comparing the computed hash and the expected hash. If the hashes correspond to each other the steps of the following method are performed. Further the verification of the signature comprises verifying if the signature was derived by signing the expected hash with the signing key, by using the verification key. Using hashes is a convenient way of doing the verification, also the additional check of the hashes before the signature is checked provides for an improved security.
According to one exemplary embodiment accessing of the module of the platform software is preceded by accessing a monitor module, performing a hash function on the monitor module to derive a second computed hash, then obtaining a second expected hash and comparing the hashes. If the hashes correspond to each other the method comprises invoking the monitor module to perform the following steps as mentioned before. Checking the integrity of a monitor module and using the monitor module to perform the integrity check of the platform software for an application may be advantageous if the monitor software is not likely to be changed when new parts of platform software are installed. In this fashion application software may be kept more simple and is required to use fewer steps for verification itself.
It should be noted that the keys SK (signing key) and VK. (verification key) may be respective keys of an asymmetric key pair from a suitable public key digital signature scheme like RSA or DSS. However, it is also possible for SK and VK to be the same secret key K (K=SK=VK.) to be used with a symmetric key digital signature scheme like HMAC_SHA1. The latter case may especially be useful in embodiments of the invention using the monitor module, as platform software module and monitor module are presumably provided by the same developer, so that it is tractable to use a shared symmetric key for signatures. The advantage here would be that the signatures will be much smaller.
In order to provide a more reliable integrity check from the application's point of view, the second expected hash may be embedded in the application.
According to one embodiment a negative verification of the monitor module is established and invocation of the monitor module is denied if the hashes do not correspond.
According to another embodiment a negative verification of the platform software module is established and further access to the platform software module is denied if the hashes do not correspond. A negative verification of the platform software module is also established and further access to the platform software module is denied if the verification of the signature is not successful. Hence, a positive verification may only be established when both checks succeed, which provides for a more reliable verification.
According to one exemplary embodiment, the verification key is embedded in the application performing the verification, or in the monitor module. Similar to the aforementioned this might help to improve reliability, as the verification key comes from an obviously trusted source.
According to one exemplary embodiment the expected hash is provided by the platform software module. The signature may also be provided by the platform software module. One way to provide the hash and the signature would be to have one or both of them included in the software module as static variables.
According to a second aspect of the invention a method for providing a platform software module for enabling a verification of the integrity of platform software of an electronic device is provided. The method comprises obtaining a platform software module, obtaining a signing key, deriving a signature by signing the platform software module with the signing key and providing the platform software module and the signature in the electronic device.
According to one exemplary embodiment the method further comprises performing a hash function on said platform software module to derive an expected hash, and additionally providing said expected hash in said electronic device. Further the deriving of said signature comprises signing said expected hash with said signing key.
According to one exemplary embodiment the platform software module is provided in the electronic device with the expected hash being integrated into the platform software module as a static variable. This is a convenient and reliable way to provide the hash.
According to one exemplary embodiment the signature is provided in the electronic device separate from the platform software module. This might be advantageous when the platform software module is stored in a location where an attacker cannot tamper with it, like a ROM or the like. Then the signature can also be provided separately.
According to another embodiment the platform software module is provided in the electronic device with the signature being integrated into the platform software module as a static variable. Similar to the aforementioned this is a convenient and reliable way to provide the signature.
The signing key and the verification key may be respective keys of an asymmetric key pair, e.g. of a public key/private key scheme.
In another embodiment of the invention the signing key and the verification key may be respective keys of a symmetric key pair. As already mentioned this may provide for smaller signatures and simplify the verification, while care has to be taken to keep the symmetric (secret) keys to trustworthy entities.
According to a third aspect of the invention a computer program product is provided, comprising program code means for carrying out a method as described before when the program product is run on a computer or network device.
According to a fourth aspect of the invention computer program product comprising program code means stored on a computer readable medium is provided, for carrying out a method as described before when the software tool is run on a computer or network device.
According to a fifth aspect of the invention a computer program product comprising program code means is provided, downloadable from a server for carrying out a method as described before when the program product is run on a computer or network device.
According to a sixth aspect of the invention an electronic device for enabling a verification of the integrity of platform software of an electronic device is provided. The device comprises a loader component adapted for accessing a module of the platform software and a receptor component adapted for obtaining a signature and a verification key. The device also comprises a verification component adapted for verifying the signature using the verification key.
According to one exemplary embodiment the electronic device further comprises a hash calculator component adapted for performing a hash function on said platform software module to derive a computed hash, and a comparator component adapted for comparing a computed hash from the hash calculator component and an expected hash obtained from the receptor component. The receptor component is further adapted for obtaining the expected hash, and the verification component is further adapted for verifying if the signature was derived by signing the expected hash with the signing key.
Further features and advantages of the present invention will become apparent from the following description and the accompanying drawings, in which:
In
When a software module as described here is to be verified an application software, or in another embodiment of the invention a monitor module, will perform a hashing function, indicated by 304, on the software module. Of course the hash Hc and the signature S, if included, will not be used by the hashing function. The application software or monitor module will also access the hash Hc and the signature S (indicated by 306 and 308) for the verification.
Using such a monitor module can be advantageous, as the application software itself can use a very simple check to verify the integrity of the monitor module, while the monitor module itself performs the major part of the verification procedure. The monitor module can easily be integrated into the platform software.
The present invention utilizes (cryptographic) hash functions and asymmetric cryptographic keys, so-called public/private key pairs. Hash functions take arbitrary binary data as an input and produce a fixed-size binary string as an output. Such hashing and asymmetric cryptography with public and private keys are in itself well known and therefore a detailed description is omitted here. While asymmetric keys are mainly used for encrypting data they may also be used for signing purposes. Using the private key a signature can be derived, for example by a software provider to enable his customers to verify the source of distributed software. The customers can apply the public key to the signature to verify that the software is authentic.
According to an exemplary embodiment of the present invention an application software verifies the integrity of platform software of an electronic device. Application software may be, for example, a game application, an office application, a drawing application, a calendar application, or some part of application software that is to be executed on the device. Platform software that is to be verified may be implemented on, for example, a computer, a mobile phone, a personal digital assistant (PDA) or the like.
The verification of platform software is carried out by an application software such that the application software accesses a software module of platform software and performs a hash function on the software module to derive a hash Hc. The hash function may be of any suitable kind for verifying part of a software. The derived hash Hc is compared to an expected hash He that is provided by the platform software module. The hash He is created by performing a hash function on a selected platform software module and it is included in the platform software module; these steps will usually be performed by the provider of the platform software. The hash He is then signed utilizing a signing key SK to derive a signature S that may be included in the platform software module or alternatively somewhere separate from the platform software module, in case the platform software module is stored in an untamperable location like a ROM or the like. Separating the platform software module and the signature S may in such cases be advantageous, especially if the software module cannot be easily reached by an attacker, as described above. In another exemplary embodiment the hash He and the signing key SK are static variables that are included in the platform software module.
If hashes Hc and He match or correspond, respectively, the application software receives a signature S that is then being verified by a verification key VK. According to one embodiment the verification key VK is embedded in the application software and the signature S is provided by the platform software module. If the verification results of both aforementioned checks are positive, i.e. the authenticity of the software module has been confirmed, the verification is successful and further access to the respective platform software module is allowed. On the other hand, in case of a negative verification of the software module, i.e. if either the hashes Hc and He do not match or if the verification of the signature S is not successful, further access to the platform software module is denied.
According to one exemplary embodiment a monitor software module is utilized in verifying the integrity of the platform software module. Usually monitor software will be included in the platform software module and it is not expected to change when new platform software modules are installed and/or updated. In other words, in this embodiment the verification routine is part of the platform software module itself. Therefore the application software first needs to confirm that this monitor module is authentic. As this monitor module is supposed not to be changed at all, this can be achieved by using (static) integrity metrics. The application software performs a hash function on the monitor software module to derive a hash Hc2. The hash Hc2 is then compared with an expected hash He2, which is embedded in the application software. If hashes Hc2 and He2 match or correspond, the monitor software module is invoked to verify the integrity of the platform software module. On the other hand, in case of a negative verification of the monitor software module, i.e. if the hashes Hc2 and He2 do not match, further access to the monitor software module is denied. This will usually imply that the application software will not execute, as no integrity check may be performed with the monitor module.
If the verification of the monitor software module succeeds, the monitor software module verifies the integrity of the platform software module. Similar to the aforementioned embodiments without the monitor module the monitor software module performs a hash function for the platform software module to derive a hash Hc1 and compares the hash Hc1 with an expected hash He1. Typically the hash He1 is provided by the platform software module, for example, as a static variable that is included in the module. If the hashes Hc1 and He1 match the monitor software uses a verification key VK embedded in the monitor software module to verify a signature S provided by the platform software module. If the result is positive, i.e. both aforementioned security checks give a positive result, the verification is successful and the application software is allowed further access to the platform software module by the monitor module. On the other hand, in case of a negative verification of the software module, i.e. if either the hashes Hc1 and He1 do not match or if the verification of the signature S is not successful, further access to the respective platform software module is denied by the monitor module. This will of course imply that the application software will not execute.
Especially verification keys must of course be obtained from a trusted source. The same holds basically true for expected hashes, however, faking such a hash will not be enough to circumvent the inventive concept completely, as the attacker will then have to fake also the signature, which in absence of the secret signing key may not be done without being noticed. Although in the embodiment with the monitor module the developer of a software has to obtain the expected hash of the monitor module from a trusted source under all circumstances, otherwise the protection scheme will of course not work.
It is to be noted that these approaches can also indirectly be used for a verification of the hardware platform. In other words, application software verifies the operating system module, which, in turn, is able to verify the hardware on which it is running. This is to ensure that for example a game application will not execute on an inappropriate platform. As it is quite common that many electronic devices of the same or even of different manufacturers share an identical operating system and/or parts of software precautions have to be taken to ensure a specific application will only run on those devices that are authorized and suitably equipped to use the application.
For example a game that is designed to run only on a mobile gaming deck like the Nokia® N-Gage may in principle be also executed on a mobile phone using the same operating system. As the phone will most likely not provide enough RAM memory, processing capability or required control and actions keys, respectively, or the like, it is not desirable that the game may be executed on the phone. The user will of course not be satisfied when he is not able to appropriately control the game. If the game uses a special key not present on the phone to terminate the game he might even be forced to shut down the phone by removing the battery to return to normal operation. Other issues that may occur are crashes or the occurrence of data losses, for example if the game uses up all available memory. Such effects are to be avoided by the present invention. On the one hand this improves usability and user comfort. On the other hand it may provide both the manufacturer of electronic devices and providers of application software with a fine-tuned control over which kind of software is allowed to run on which devices.
As mentioned before, the data required for verification must be obtained in a trustworthy manner in order to assure its integrity. When data is embedded in the application software (VK or He2) it must be protected from undetectable modification. This is achieved by, for example, the use of software obfuscation techniques.
When symmetric key digital signatures are used, in addition to integrity the secrecy of a key K must also be assured. Again, this can be achieved by the use of software obfuscation techniques.
It is to be noted that the present invention does not directly involve checking if certain hardware or software features are present that are required for an application. However this can be accomplished by the platform software and the present invention ensures that this platform software is authentic, or in other words, its integrity is valid. The platform software is then able to perform the mentioned checks and deny the execution of an application if this is necessary, in a way the provider of the platform software or the manufacturer of the respective electronic device wishes.
Asokan, Nadarajah, Serafat, Reza, Mantyla, Janne
Patent | Priority | Assignee | Title |
10482238, | Nov 22 2004 | CONVERSANT WIRELESS LICENSING LTD | Method and device for verifying the integrity of platform software of an electronic device |
11126710, | Nov 22 2001 | CONVERSANT WIRELESS LICENSING LTD | Method and device for verifying the integrity of platform software of an electronic device |
Patent | Priority | Assignee | Title |
20040025022, | |||
20060004662, |
Executed on | Assignor | Assignee | Conveyance | Frame | Reel | Doc |
Sep 30 2014 | Core Wireless Licensing S.A.R.L. | (assignment on the face of the patent) | / | |||
Jul 20 2017 | CORE WIRELESS LICENSING S A R L | CONVERSANT WIRELESS LICENSING S A R L | CHANGE OF NAME SEE DOCUMENT FOR DETAILS | 044516 | /0772 | |
Jul 31 2018 | CONVERSANT WIRELESS LICENSING S A R L | CPPIB CREDIT INVESTMENTS, INC | AMENDED AND RESTATED U S PATENT SECURITY AGREEMENT FOR NON-U S GRANTORS | 046897 | /0001 | |
Mar 02 2021 | CPPIB CREDIT INVESTMENTS INC | CONVERSANT WIRELESS LICENSING S A R L | RELEASE BY SECURED PARTY SEE DOCUMENT FOR DETAILS | 055547 | /0618 | |
Nov 30 2022 | CONVERSANT WIRELESS LICENSING S A R L | CONVERSANT WIRELESS LICENSING LTD | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 063493 | /0332 |
Date | Maintenance Fee Events |
Feb 18 2020 | M1551: Payment of Maintenance Fee, 4th Year, Large Entity. |
Apr 29 2024 | REM: Maintenance Fee Reminder Mailed. |
Oct 14 2024 | EXP: Patent Expired for Failure to Pay Maintenance Fees. |
Date | Maintenance Schedule |
Sep 06 2019 | 4 years fee payment window open |
Mar 06 2020 | 6 months grace period start (w surcharge) |
Sep 06 2020 | patent expiry (for year 4) |
Sep 06 2022 | 2 years to revive unintentionally abandoned end. (for year 4) |
Sep 06 2023 | 8 years fee payment window open |
Mar 06 2024 | 6 months grace period start (w surcharge) |
Sep 06 2024 | patent expiry (for year 8) |
Sep 06 2026 | 2 years to revive unintentionally abandoned end. (for year 8) |
Sep 06 2027 | 12 years fee payment window open |
Mar 06 2028 | 6 months grace period start (w surcharge) |
Sep 06 2028 | patent expiry (for year 12) |
Sep 06 2030 | 2 years to revive unintentionally abandoned end. (for year 12) |