Ensuring that a software update may be installed or run only on a specific device or class of devices

Abstract

Described is a system and method in which a system and method in which a device manufacturer or software image provider controls which devices are allowed to install or to run a software image. An image keying mechanism uses package data and UUID associated with the device or class of devices to key an image. Because the UUID is used in the key, an installer verifier and/or boot-time verifier can ensure that the device is authorized to install and/or run the image. Any package, including existing device packages or the package for which installation is requested can demand that keying be enforced. An installer mechanism checks whether the device is allowed to install the image. A boot-time enforcement mechanism prevents an improperly installed image from operating by halting the boot process if a demanded key is invalid or missing.

Description

FIELD OF THE INVENTION

The invention relates generally to computing devices, and more particularly to updating non-volatile storage of computing devices.

BACKGROUND

Mobile computing devices such as personal digital assistants, contemporary mobile telephones, and hand-held and pocket-sized computers are becoming important and popular user tools. In general, they have become small enough to be extremely convenient, while consuming less battery power, and at the same time have become capable of running more powerful applications.

During the process of manufacturing such devices, embedded operating system images are typically built into a monolithic image file and stored in non-volatile storage (e.g., NAND or NOR flash memory, a hard disk and so forth) of each device. As a result, updating such a device is necessary or desirable on occasion. Note that updating the persistent application image of a device is different from the way applications are typically installed on a computing device where they are stored in a user-accessible file system and mingled with user data.

However, some manufacturers want to be able to control access to their device software updates (as well as access to the initial image with which the device ships). Among the reasons for this is that one manufacturer may not want another manufacturer's update image installed on its device. Still other manufactures want to be able to charge money to customers willing to pay for certain updates to images or new images, whereas other manufacturers do not. Still other manufactures want to be able to charge money to customers willing to pay for certain updates to images or new images, as these new images may contain new applications or features (note that an “update” can be a complete application or new feature).

What is needed is a mechanism to control access to initial images and/or update images, but in a flexible way that can be implemented or not depending on a manufacturer's particular set of circumstances regarding an initial image or update.

SUMMARY OF THE INVENTION

Briefly, the present invention is directed towards a system and method in which a manufacturer (or other initial image or update image provider) controls which devices are allowed to install or run an image. To this end, the present invention provides an image keying mechanism, by which the installation of an initial component or update component (a keyed image subcomponent, also referred to herein as a package) will fail if an attempt is made to install it on a device other than one the manufacturer (or other update provider) has specified. Further, the software will not run on an invalid device even if the keyed image is applied to the device through some other means, for example via a hardware JTAG probe. To this end, the device will not boot without the proper key countersignature. Note that image keying applies to the initial manufacturing image as well as to updateable packages.

In one implementation, a package is keyed based on the package and a universally-unique identifier (UUID) associated with the device. The UUID allows packages to be keyed to a single device or a class of devices, depending on whether the UUID corresponds to a device or a class of devices. With the UUID, the keying process is able to securely associate the device's UUID with an image, such that an installer verifier and/or boot-time verifier can ensure that the keying is appropriate for that device, based on the UUID. The installer and/or boot-time verifier will then allow or disallow the image update/boot depending on whether the device is authorized for the image.

To key a package, the UUID of the device is communicated to a server having the image, which then applies a hashing algorithm to the UUID and package-related data, and then signs the result. The signature is stored in the image in a known location, and the keyed image is provided to the device.

For a keyed image to be verified at install or boot time, the install code or pre-boot code are designed to detect any image that is not keyed and halt the install or the device boot-up, as appropriate. This is accomplished by applying the same encoding algorithm to the image and to the UUID that was used to key the image at the server (e.g., of the provider or manufacturer).

In one implementation, keying of an image is optional, such that a software vendor and/or manufacturer can determine whether to key an image. In order to have a system which is optionally keyed, the system has a mechanism for representing a demand for keying on a particular image (or part of an image). The demand for a keyed image may come from within the same package, or from within a different package on the same device. Note that a provider of the package can key the package, or a manufacturer may key a package even when the manufacturer is not the provider of that package.

In one implementation, the package data that is used in the hash corresponds to a description of the package that is maintained on the device after package installation. A manifest file that accompanies the package to describe the contents of that package to the system, by including a package identifier, version number and a list of files in the package, provides the package-related data for hashing.

Once the package is keyed and obtained at the device, the device determines whether it has a demand for keying on the package being installed. The demand may be from within the package or may be a demand from another, previously installed package. If there is a keying demand, the algorithm for computing the hash is reapplied to the package contents and the device UUID, and the results are compared with the results that were determined on the server side and stored in the package. If the results concur, the signature on the key is found to be valid, and installation is allowed.

A boot-time enforcement mechanism may also be employed, to ensure that an image is not maliciously updated through a means other than the normal image update mechanism, for example by using a hardware JTAG probe, or by physical manipulation of the data in flash via the bus. The boot-time checking process halts the boot process if it finds the key to be invalid or missing.

Other advantages will become apparent from the following detailed description when taken in conjunction with the drawings, in which:

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a block diagram generally representing a computer system into which the present invention may be incorporated;

FIG. 2 is a block diagram representing a package keyed for installation and operation on a specific device, in accordance with an aspect of the present invention;

FIG. 3 is a flow diagram representing logic for determining whether to install a keyed package on a device based on the correct key for that device, in accordance with an aspect of the present invention;

FIG. 4 is a flow diagram representing logic for determining whether to boot a device based on whether that device has one or more keyed packages, in accordance with an aspect of the present invention; and

FIG. 5 is a block diagram representing the concept of a chain of trust, in accordance with an aspect of the present invention.

DETAILED DESCRIPTION

Exemplary Operating Environment

FIG. 1 shows functional components of one such handheld computing device 120, including a processor 122, a memory 124, a display 126, and a keyboard 128 (which may be a physical or virtual keyboard, or may represent both). A microphone 129 may be present to receive audio input. The memory 124 generally includes both volatile memory (e.g., RAM) and non-volatile memory (e.g., ROM, PCMCIA cards, and so forth). An operating system 130 is resident in the memory 124 and executes on the processor 122, such as the Windows® operating system from Microsoft Corporation, or another operating system.

One or more application programs 132 are loaded into memory 124 and run on the operating system 130. Examples of applications include email programs, scheduling programs, PIM (personal information management) programs, word processing programs, spreadsheet programs, Internet browser programs, and so forth. The handheld personal computer 120 may also include a notification manager 134 loaded in the memory 124, which executes on the processor 122. The notification manager 134 handles notification requests, e.g., from the application programs 132. Also, as described below, the handheld personal computer 120 includes networking software 136 (e.g., hardware drivers and the like) and network components 138 (e.g., a radio and antenna) suitable for connecting the handheld personal computer 120 to a network, which may include making a telephone call.

The handheld personal computer 120 has a power supply 140, which is implemented as one or more batteries. The power supply 140 may further include an external power source that overrides or recharges the built-in batteries, such as an AC adapter or a powered docking cradle.

The exemplary handheld personal computer 120 represented in FIG. 1 is shown with three types of external notification mechanisms: one or more light emitting diodes (LEDs) 142 and an audio generator 144. These devices may be directly coupled to the power supply 140 so that when activated, they remain on for a duration dictated by a notification mechanism even though the handheld personal computer processor 122 and other components might shut down to conserve battery power. The LED 142 preferably remains on indefinitely until the user takes action. Note that contemporary versions of the audio generator 144 use too much power for today's handheld personal computer batteries, and so it is configured to turn off when the rest of the system does or at some finite duration after activation.

Note that although a basic handheld personal computer has been shown, virtually any device capable of receiving data communications and processing the data in some way for use by a program, such as a mobile telephone, is equivalent for purposes of implementing the present invention.

Device-Specific Updates

The present invention is generally directed towards installing and/or updating software that is stored on small mobile computing devices, such as Microsoft Windows® CE based devices, including those in which the initial software or software update is written to the embedded device's non-volatile memory, e.g., flash memory. Notwithstanding, the present invention provides benefits to computing in general, and thus may apply to other computing devices and other types of storage, including various types of memory and/or other types of storage media such as hard disk drives. For purposes of simplicity, the term “flash” hereinafter will be used with reference to the updatable storage of a device, although it is understood that any storage mechanism is equivalent. Further, the term “image” will generally include the concept of the initial software installation image as well as subsequent software updates to an image, even when only part of an existing image is updated.

Software updates are self-contained, secure entities that may contain full updates to some set of software, and/or only the changes to a previous update or image. Software updates can contain both executable code and data. Note that for the purposes of describing the keying-related processes and mechanisms of the present invention, initial manufacturing images and updateable image components (installed in the field after the product is sold) will be treated the same, and hereafter referred to generically as an “image entity” which may be an image (for the whole image) or an image subcomponent/package (for subcomponents of an image).

In accordance with an aspect of the present invention, there is provided an image keying method and system that prevents a keyed software image from being installed on an unauthorized device when installation is attempted through conventional means. Further, the method and system prevents keyed software that is installed in some other manner (e.g., via a hardware hack) from running on an unauthorized device. The present invention applies to the initial manufacturing image as well as to the updateable packages. As can be readily appreciated, keying allows a device manufacturer/OEM/software vendor to tightly control the array of devices that are allowed to install or to run the initial manufacturing image and/or the updateable packages.

As generally represented in FIG. 2, a package 202 (e.g., a .CAB compressed file) in an image has a signature array 204 including least one signature, which is used to verify that the package 202 is a valid image (e.g., update) for the device. A second signature, or countersignature, if present, is the key 206 that is used to associate that update to a particular device. This countersignature generally will be referred to herein as the “key.” The provider that originally made the package and the entity that has the key information on the device (e.g., an OEM) can key a package. The key 206 is constructed using information about the package and the device ID, as described below.

As indicated above, the keying process relies on the ability to uniquely identify the device for which the image is to be keyed. To this end, each device needs to provide a universally-unique identifier (UUID) 208. To function properly, this UUID should be hardware-generated, permanent, guaranteed unique across the set of devices on which an image may be installed and cannot be set by any other mechanism. In addition, the device needs to be able to return the same UUID value whenever it is asked, via system software on the device that is in charge of obtaining and providing the UUID when it is requested. Note that devices already typically have such a UUID as the device ID, although it should be noted that for security reasons it may be desirable to keep the device ID from being accessible to unauthorized components.

As can be appreciated, the UUID 208 allows packages to be keyed corresponding to a granularity of as little as one package per device. However, if desired, a UUID can be used for a class of devices. For example, a manufacturer can build many such devices for a single customer, and the UUID could apply to the class of devices sold to that customer, rather than to one device. For example, this may be accomplished by having the class of device share the most significant bits in the UUID, with the least significant bits used to identify the device within that class. Then, only the most significant bits of each UUID are used as the (class) UUID for keying purposes. Note that when determining whether an update is allowed, the checking mechanism can use the device UUID and the class UUID to determine whether to allow the update. As a result, rather than require each device to individually request a keyed update, a manufacturer can allow a single keyed update to be installed on multiple devices of the same class. For purposes of simplicity herein, the UUID will primarily be described with respect to a single device, however as is understood the concept is equivalent to having the UUID shared among a class of multiple devices.

With such a UUID, the keying process is able to securely associate the device's UUID with an image, such that an installer verifier and/or boot-time verifier can ensure that the keying is appropriate for the device's UUID. The installer and/or boot-time verifier will then allow or disallow (provided the pre-boot validation code is hardware-secure, as described below with respect to chain-of-trust) the image update/boot depending on whether the device is authorized for the image.

For a keyed image to be verified at install or boot time, the install code 210 or pre-boot code 212 are designed to detect any image that is not keyed and halt the install or the device boot-up, as appropriate. This is accomplished by applying the same encoding algorithm to the image and to the UUID that was used by the provider of the image, and verifying that the result matches the key stored in the image, e.g., by the provider's server. In this way, if a non-keyed image or an image keyed for another device is detected, the image will fail to install initially, or, if the install process is bypassed and another mechanism such as a hardware JTAG probe is used to flash the image, the image will fail to run.

In one implementation, keying of an image is optional, such that a software vendor and/or manufacturer can determine whether to key an image. In order to have a system which is optionally keyed, the system has a mechanism for representing a demand for keying on a particular image (or part of an image). The demand for a keyed image may come from within the same image, or from within a different image subcomponent on the same device. Note, for example, that this allows a manufacturer to key an image even when the manufacturer is not the provider of that image.

The keying signature may be signed by the owner of the image or by the entity which issued the demand for the keying. This duplication ensures that another entity producing software on the device can demand a key for an image which they do not control, but also that the owner of the image does not lose update control of their image. Moreover, as can be readily appreciated, internally, a vendor can act as both the creator and the OEM in a build system. Thus, for example, before an image leaves the build lab, the build lab acts as the OEM and keys the builds. The packages will then be tied to the device to which they were keyed, and cannot be flashed onto another device. Among other benefits, this will prevent leakage of daily builds.

In order to provide an appropriately keyed image, e.g., on demand, the image to be keyed is initially stored on a server 220. Through a secure mechanism, the UUID of the device is communicated to the server, where it is then used to key the image. For example, the device owner can securely send the UUID when requesting an update, or the device manufacturer can maintain an internal database of UUIDs that are authorized to receive an update. As with other controlled access to sensitive data, authenticated access to the server 220, the security of the UUID exchange, and the server-side processing are requirements to ensure that the keying process is secure and that the exchange cannot be spoofed.

Once the server 220 obtains the device UUID and has access to the image, in one implementation the server applies a hashing algorithm to both entities to obtain (e.g., via concatenation) a single entity, which in turn can be signed. This can be represented essentially as a formula:Sign_key(Hash(Hash(pkg data)|Hash(device ID))). Once a signature is generated from the hash results, the signature is stored in the image in a known location within the image, and the keyed image is then made ready for download to the device.

The package data that is used in the hash can be based on an actual hash of the package contents, although as described below, the package is not kept by the device after installation, and thus this causes difficulties, and makes the keying mechanism vulnerable to being spoofed. Instead of using the contents as the package data, a description of the package that is maintained after installation is a more desirable entity to hash, and in one implementation, is used instead of the package contents. More particularly, as described in the aforementioned related patent application entitled, “Self-Describing Software Image Update Components,” images may be arranged within packages, with a manifest file 230 that accompanies the package and describes the contents of that package to the system. The manifest file 230 includes the package identifier, version number and a list of files in the package. Moreover, the manifest file 230 remains on the device after installation of the package, (as represented in FIG. 2 by the installed manifest file 230i), which means that its hash can be obtained at boot time even though the package itself has been discarded after installation. As a result, the manifest file 230 serves as an excellent entity for hashing in the above formula (as the package data) to represent the package, which as described above is then combined with the hash of the device UUID, with the result signed.

Once keyed, the package is downloaded to the device. The device will determine if it has a demand for keying on the package being installed, which may be a demand within the package, or a demand from another, previously installed package. There can also be demand from any other package that may be being installed at the same time. If there is a keying demand, the same algorithm for computing the hash is reapplied to the image and the device UUID, and the results are compared with the results that were determined on the server side and stored in the package. If the results concur, the signature on the key is found to be valid. Assuming other image validation checks succeed, (e.g., image dependency requirements are met, image is complete and correct, and so forth as described in the aforementioned related patent application entitled, “Determining the Maximal Set of Dependent Software Updates Valid for Installation”), the image will be installed on the device.

One benefit of verifying that a package is properly keyed at install time is that the install or update can be canceled. Canceling an update before installing it leaves the user with a bootable device. Of course, the device will not have the update that the user was trying to install, but the device will at least boot to its previous state. As can be readily appreciated, if protection was only performed by checking for proper keying only at boot time, scenarios such as a user installing the wrong update would result in the user being left with a device that will not boot unless and until it is re-flashed.

A second enforcement mechanism may also be employed. More particularly, the process of checking the keying of an image can also be applied during the boot process to ensure that an image is not maliciously updated through a means other than the normal image update mechanism, for example by using a hardware JTAG probe, or by physical manipulation of the data in flash via the bus. Note that it is feasible to have verification performed elsewhere and at some other time, such as before each program launch corresponding to a keyed package, however for purposes of simplicity, the enforcement will be explained herein with respect to boot-time verification.

The boot-time checking process requires that a pre-boot authority (e.g., within a bootloader) be designed to validate the key (or keys) in the image or images (as would be done by an installer verifier) and halt the boot process if it finds the key to be invalid or missing. In order to protect from hardware-level attacks, the pre-boot verification authority 212 also needs to be hardware protected (e.g., in read-only ROM or the like) so that it cannot be replaced/overridden (because a bootloader in ROM can be replaced by a hacker with hardware access to the device). This is part of the chain of trust description, described below, and is accomplished by using CPUs with a secure boot feature (e.g., similar to that designed for mobile phones) which verifies a signature on the bootloader before the CPU boots. The chain of trust takes the CPU-based secure boot through the applications running under the operating system.

FIG. 2 shows an example memory layout 240, wherein the contents of some package version Vl including the code 232i, the manifest 230i and (possibly) a key information file 234i (described below) have been installed into a system partition 236, referred to as ImageFS. Note that in this example implementation, packages can also be installed into another, kernel partition known as an NK region or partition; partitions are generally described in the aforementioned related patent application entitled “Creating File Systems Within a File In a Storage Technology-Abstracted Manner.”

As represented in FIG. 2, each package such as the package 202 may be keyed, that is, have an associated countersignature 206, which as described above is a hash of the device ID and a hash of the package-related data (e.g., the manifest file that contains the package information). As a result, not only is a package tied to the device, but the key from that package cannot be used for another package, even on the same device.

To enforce the keying protection, at install or boot time, like the server 220 the device likewise hashes the package manifest file 230i and concatenates the hash it with a hash of the UUID 208. That result is hashed (e.g., signed with a public key) and used as the countersignature.

In one implementation, the countersignature is a PKCS7 signature. The certificates necessary to build and validate a certificate chain for the signature are found within the PKCS#7 data structure. The certificate which the key signature needs to be signed against may be stored in the manifest for the package (in the case where the keyer is the owner of the package) or in the key information file (in the case where the keyer is the entity that is demanding the keying).

The key information file 234 is a binary file format that contains a magic number that is used only for this file type, in order to verify that this is the correct file type. The key information file also contains the size of the structure, a count of demands, an index into the public key array and the number of certificates. In one implementation, all keys in the array are scanned to find a keying signature, which may be identified via an unauthenticated attribute.

Key information files are system files which contain a list of demands for keying any package on the device. When installing a package onto a device, the key information files in the image are enumerated. This includes the key information file 234i that is in the new package, plus any key information files in the current image corresponding to one or more other packages that were previously installed, such as the key information file 238i, plus any key demands from other packages in the set of packages being installed. If any key information file in the current image or the key information file on the new update package demands that the package be keyed, the package needs to be keyed. As a consequence, a manufacturer can require that a package can be keyed, even if the software vendor that provided the package does not require that package to be keyed. Note that there cannot be conflicting keying requirements because a key information file can only require that a package is keyed, rather than requiring that a package not be keyed. For example, a vendor cannot include a key information file that demands that a particular package is never keyed. Thus, a package can either be keyed by the entity that originally made the package or by the entity that has the key information on the device.

As represented in FIG. 2, the signatures are kept in a signed file in an array of certificates 204, in one implementation named wincertArry. The countersignature 206 used to key packages to a device contains a signature with a protected attribute. This protected attribute is an authenticated attribute (which is new). To determine whether a package contains a valid signature, the certificate array 204 is enumerated, and each element in the array is checked for the authenticated attribute 206. If this attribute is found, this is a keying signature.

To validate each signature, the countersignature 206 in the certificate array is compared to the certificate from the key information file (e.g., 234 or 238i) that says the package 202 must be keyed. The public key file is located in a package manifest, which is in the package, or can otherwise be attached to the package itself. If any of the signatures is validated and works, the package 202 will be applied to the device. If no signatures are validated, the user will be notified of the error through a suitable user interface dialog or the like.

FIG. 3 shows various example steps that may be performed to verify keying information when installing a package on a device, beginning at step 300 where the key information files are enumerated. Step 302 evaluates whether there are any key information file demands keying for this package. If not, no additional keying work is necessary and the process ends, as represented by step 304. Otherwise, keying is demanded and the set of signatures (in the certificate array) are validated via steps 306 and 308. If the set does not contain any valid signatures at step 310, the package validation fails at step 312 for having no valid key.

Note that in one alternative implementation wherein the package (rather than the manifest file) is used in the hash computation, the signature as well as the hash of the package needs to be preserved after installation, because the package (e.g., the compressed CAB file) will not be kept after installation. Thus, as represented by optional step 314, in this alternative implementation, a valid signature is extracted from the new package, and stored by writing it into a file on the system. In this alternative implementation, after verifying the keying information of a particular package and executing the package update, the update application may write a hash of the package into the package in plain text into the same file as the other hash at install time. Such a package keying information file (e.g., named [GUID].pki) would be needed for boot time verification, when the package hash is no longer accessible.

Key information files act as a regular file in the update process. The key information file (or lack thereof) in the update will replace whatever was originally in the package. If a package is not originally keyed and the package creator or the OEM decides to key the package, the package can be updated with a package which includes a key information file demanding the package be keyed. It is also possible to update a package (with a key information file that declares the package is to be keyed) with a package that does not include a key information file. This would mean that the package would no longer demand that it be keyed. Note, however, that this does not guarantee there is not another key information file on the device (corresponding to some other package) that demands that the particular package be keyed.

In accordance with an aspect of the present invention, as described above, keying information for each package that requires keying is also verified against all of the key information files at boot time, as generally represented in the flow diagram of FIG. 4. In one implementation, the same evaluation is performed (step 404) for each package that any key information file (step 400) indicates requires keying (steps 402 and 408), that is, a hash of the manifest file and the UUID is obtained, signed, and compared with the key. If the comparison is not valid for any package, the device does not boot (step 406) otherwise the device will boot (step 410).

In an alternative implementation where the device manifest file is not used in the hash computation, recall that at install time, the signature was extracted from the new package and put into the file system as a file. The hash of the package is stored in addition to the signature in this case. The signature needs to be stored for boot time verification, even when the package data is the hash of the manifest file. At boot time, the key information files are scanned to determine which packages need to be keyed, and then the corresponding files which contain the extracted signature are scanned, opened and the signature contents verified.

Note that the key information files will also contain a signature. Only if everything is valid will the device boot. Further, note that to deal with RAM shadowing concerns, the key information file and signature is opened at boot time and the file attributes checked. If this file is not in ROM or is not a system file (in ImageFS), the boot verification mechanism will attempt to delete the file. If such a file that is not a system file nor in ROM, and cannot be deleted, the device will not boot.

Chain of Trust

As described above, for true security, the pre-boot validation code needs to be hardware-secure, otherwise, for example, a hardware hacker could overwrite the validation code. Such true security depends on a CPU having a secured boot feature, because if the CPU boots securely, trusted code can be started. Thereafter, the concept of a chain of trust can provide such a verification mechanism for other components, based on the premise of transitivity. That is, if a user trusts component A, component A trusts component B and component B trusts component C, then the user can trust component C. Thus, with the components of the present invention, if the user knows that the initial program loader can be trusted, and the initial program loader can verify that the master boot record and the NK region is trusted and in turn the NK region (e.g., a security loader therein) verifies that other components are trusted, then the user can trust those components.

Thus, in the present invention, the chain of trust depends on protecting the initial program loader, represented in FIG. 5 as block 502. To this end, a CPU may have a secure boot feature which can validate the signature of the initial program loader. If the signature is not valid, the device will not boot. This depends on a secure boot feature of the CPU.

The exact mechanism by which the CPU verifies the signature on the initial program loader is CPU-dependent and will vary among manufacturers, but as a rule, the CPU will not boot if the code at the reset vector does not contain the correct signature.

As represented in FIG. 5, the initial program loader 502 contains a list of root certificates 504 that are authorized to sign the rest of the signed components in image update, namely the master boot record 506, update loader code 508 and NK code 510. The root certificates in this list may be trusted because they are included in the initial program loader image 502, which was verified by the CPU itself.

The root certificate list 504 should include an operating system vendor certificate for verifying signatures on files in vendor-supplied packages in the NK partition, and at least one OEM provided certificate for verifying signatures on the master boot record, update loader code and reserve regions. To protect the master boot record 506, the initial program loader 502 validates the signature on the master boot record 506, using a hash of the entire master boot record 506 signed with a public key.

The master boot record 506 may also contain a security directory, wherein a security directory 506 is a new structure incorporated into the master boot record 506 in FIG. 5; (otherwise, the security directory will be found elsewhere). The security directory 506 contains an array of signatures used to validate the existing partitions, which are not internally signed. Signatures in the security directory will be used to sign reserve regions.

To protect the update loader 508, the initial program loader 502 validates the signature on the update loader 508, using a hash of the entire UL signed with a public key (essentially the same way the MBR is validated). Another option for validating the update loader 508 is by an internal signature (as described for the NK partition below), e.g., the update loader 508 could contain one catalog file, which would include every file in the UL update loader 508 For each file, the hash would be calculated and verified against the hash in the catalog file. The signature in the catalog file would be verified by a certificate chain where the root is in the initial program loader 502.

To protecting the NK partition, the NK partition is validated by the initial program loader 502 before control is transferred from the initial program loader 502 to the kernel in the NK partition.

As described above, the NK partition is made up of packages, with the manifest file for each package containing a pointer to a single catalog file that contains a signed list of filenames and hashes. To protect the NK partition, each manifest file and catalog is enumerated. For each file named in the catalog, the hash is calculated and used to verify the hash in the catalog. The signature in the catalog file is verified by a certificate chain; the signature should be a PKCS#7 signature block which supports certificate chaining. The root certificate needs to be must be in the initial program loader root certificate list 504. Then, the files in the NK partition are enumerated, and the protection process validates that of the files are covered by the catalogs. If any of the signatures do not match, or there are any files which are not listed in one of the catalogs, then the signature check for the partition fails and the device does not boot.

Once control is transferred from the initial program loader 502 to the kernel, the system is running under control of the kernel. From this point forward, to protect the IMGFS partition 512, the chain-of-trust-based protection process depends on the signature validation that takes place as part of the secure loader, and an evidence generator, which is associated with the secure loader and performs the signature verification, including verifying a signature format corresponding to the multi-stream relmerge modules that make up the majority of the modules in the system.

Any other partitions defined on the device need to adhere to these security checks, including the radio and other reserved partitions. More particularly, OEMs having OEM-specific partitions (e.g., Test Code, or Radio Stack) need to have these partitions validated by a signature. Signatures for reserved sections will be found in the security directory, and should be PKCS#7 signature blocks and chain up to a root in the initial program loader's root certificate list 504.

Conclusion

As can be seen from the foregoing detailed description, there is provided a mechanism that uses keying to control access to initial images and/or update images. The mechanism is flexible, and by applying to installation as well as boot-time enforcement, cannot be easily defeated.

While the invention is susceptible to various modifications and alternative constructions, certain illustrated embodiments thereof are shown in the drawings and have been described above in detail. It should be understood, however, that there is no intention to limit the invention to the specific forms disclosed, but on the contrary, the intention is to cover all modifications, alternative constructions, and equivalents falling within the spirit and scope of the invention.

Claims

1. In a computing environment, a method comprising: identifying a device set containing a device or class of devices for which an image entity comprising an image or a subcomponent of an image is to be keyed; and securely associating an identifier corresponding to the device set with the image entity such that an enforcement mechanism associated with a device of the set can determine whether the image entity is allowed to run on that associated device.

2. The method of claim 1 wherein identifying the device set for which the image entity is to be keyed comprises providing a UUID associated with the device set to a server that keys the image entity.

3. The method of claim 2 wherein the server keys the image entity by obtaining a first hash of data corresponding to the image entity, obtaining a second hash of the UUID, combining the first and second hashes, signing the combined first and second hashes to produce a key, and associating the key with the image entity.

4. The method of claim 3 wherein the image entity comprises a package, and wherein obtaining a first hash of data corresponding to the image entity comprises obtaining a hash corresponding to the package.

5. The method of claim 3 wherein obtaining a hash corresponding to the package comprises obtaining a hash of a device manifest file that describes the package.

6. The method of claim 3 wherein the enforcement mechanism checks the key by obtaining a first hash of data corresponding to the image entity, obtaining a second hash of the UUID, combining the first and second hashes, and signing the combined first and second hashes to produce a second key to compare with the key associated with the image entity.

7. The method of claim 3 wherein the enforcement mechanism is implemented in an installer, and wherein the enforcement mechanism determines whether the image entity is allowed to run on the device set by preventing installation unless the key is valid for the device set and the image entity.

8. The method of claim 7 further comprising, verifying, in a secure boot process, validity of boot loader code that boots the device, and verifying in the boot loader code, validity of the installer that contains the enforcement mechanism.

9. The method of claim 3 wherein the enforcement mechanism is implemented in a device boot process, and wherein the enforcement mechanism determines whether the image entity is allowed to run on the associated device by preventing booting of the associated device unless, for at least some of the subcomponents of the image entity, there is a key which is valid for the associated device.

10. The method of claim 9 further comprising, verifying, in a secure boot process, the validity of the code that contains the enforcement mechanism.

11. The method of claim 1 wherein the enforcement mechanism determines whether the image entity is allowed to run on the associated device by checking a key associated with a subcomponent of the image that is based on the an identifier corresponding to the associated device of the set.

12. The method of claim 11 wherein the enforcement mechanism operates in response to a keying demand.

13. The method of claim 11 wherein the keying demand is obtained with the image entity.

14. The method of claim 11 wherein the keying demand is obtained from a file corresponding to another package that has a corresponding image already installed on the associated device.

15. The method of claim 11 wherein the keying demand is obtained from a file corresponding to another package that is to be processed for installing data onto the associated device.

16. The method of claim 11 wherein the key is obtained from a signed hash, the signed hash comprising a first hash of data corresponding to the image and second hash of the identifier corresponding to the associated device.

17. The method of claim 16 wherein the identifier corresponding to the device is an identifier for a class of devices.

18. The method of claim 16 wherein the data corresponding to the image comprises a description of a package containing the image.

19. One or more computer-readable media having computer-executable instructions which when executed perform the method of claim 1.

20. In a computing environment, a system comprising: a keying mechanism that signs a package with a key, the key based on a data corresponding to the package and data corresponding to the first device identifier; and an enforcement mechanism associated with a device that has a second device identifier which may or may not be the same as the first device identifier used by the keying mechanism, the enforcement mechanism determining based on the key and the second device identifier whether an image corresponding to contents of the package is allowed to run on the device having the second device identifier.

21. The system of claim 20 wherein the first and second identifiers are each in the form of a UUID associated with a device or a class of devices.

22. The system of claim 20 wherein the data corresponding to the package is a hash of a file in the package that describes the package.

23. The system of claim 20 wherein the data corresponding to the first device identifier is a hash of a UUID of the first device identifier.

24. The system of claim 20 wherein the data corresponding to the package is a hash of a file in the package that describes the package, the data corresponding to the first device identifier is a hash of a UUID of the first device identifier and wherein the keying mechanism signs a concatenation of the hashes.

25. The system of claim 20 wherein the enforcement mechanism comprises an install time verifier that prevents the image from running or allows the image to run by preventing installation or allowing installation based on a comparison of the key against a value computed with the second identifier value.

26. The system of claim 20 wherein the enforcement mechanism comprises a boot time verifier that prevents the device booting or allows the device to boot based on a comparison of the key against a value computed with the second identifier value.

27. The system of claim 20 wherein the enforcement mechanism checks the key by obtaining a first hash of data corresponding to the package, obtaining a second hash of the UUID, combining the first and second hashes, and signing the combined first and second hashes to produce a signature to compare with the key associated with the package.

28. The system of claim 20 wherein the enforcement mechanism operates in response to a keying demand.

29. The system of claim 28 wherein the keying demand is obtained with the package.

30. The system of claim 28 wherein the keying demand is obtained from a file corresponding to another package that has a corresponding image already installed on the associated device.

31. The system of claim 28 wherein the keying demand is obtained from a file corresponding to another package that is to be processed for installing data onto the associated device.

32. The system of claim 20 wherein the first identifier corresponding to the device is an identifier for a class of devices.

33. The system of claim 20 wherein the first and second identifiers are identical.

34. The system of claim 20 further comprising means for verifying validity of the enforcement mechanism prior to running the enforcement mechanism.

35. The system of claim 20 wherein the enforcement mechanism comprises a boot-time verifier, and wherein the means for the verifying validity of the enforcement mechanism comprises a secure boot mechanism in device hardware.

36. The system of claim 20 wherein the enforcement mechanism comprises an install-time verifier, and wherein the means for the verifying validity of the enforcement mechanism comprises code in a boot loader that loads the code containing the install-time verifier.