US 7,028,149 B2Grant
System and method for resetting a platform configuration register
Issue Date:2006-04-11
•13 Claims
•7 Drawing Sheets
Abstract
A method and apparatus for resetting and modifying special registers in a security token is described. In one embodiment, a register may be reset when a reset flag is true when a special transmission on a bus demonstrates the mutual locality of the associated processor and chipset. A modify flag may also be used to indicate whether the register contents may be modified. Modifications may also be dependent upon demonstration of mutual locality.
Metadata
Assignee
- Intel Corporation
Inventors
- David W. Grawrock
- James A. Sutton, II
Application Information
Application Number:US 10/112,124
Filing Date:2002-03-29
Priority Date:2002-03-29
Art Unit:2185
Classifications
IPC:
G06F13/00
Patent Drawings (7 sheets)
Description
Field
[0001] The present disclosure relates generally to microprocessor systems, and more specifically to microprocessor systems that may operate in a trusted or secured environment.
Background
[0002] The increasing number of financial and personal transactions being performed on local or remote microcomputers has given impetus for the establishment of “trusted” or “secured” microprocessor environments. The problem these environments try to solve is that of loss of privacy, or data being corrupted or abused. Users do not want their private data made public. They also do not want their data altered or used in inappropriate transactions. Examples of these include unintentional release of medical records or electronic theft of funds from an on-line bank or other depository. Similarly, content providers seek to protect digital content (for example, music, other audio, video, or other types of data in general) from being copied without authorization.
[0003] One component of such a trusted microprocessor system may be a trusted platform module (TPM), as disclosed in the Trusted Computing Platform Alliance (TCPA) Main Specification, version 1. 1a,1 Dec. 1, 2001, issued by the Trusted Computing Platform Alliance (available at www.trustedpc.com at the time of filing of the present application). The TPM may include several special registers, called platform configuration registers (PCR). The PCRs may be used to store encrypted digests of files, including software programs, which may later be retrieved to further the process of authentication. As the contents of these PCRs are therefore significant to the secure or trusted nature of the system, the PCRs should not be reset by general-purpose operations of the system. Current design limits the PCRs to be reset only upon a general system reset (e.g. power-on reset).
Brief Description of the Drawings
[0004] The present invention is illustrated by way of example, and not by way of limitation, in the figures of the accompanying drawings and in which like reference numerals refer to similar elements and in which:
[0005] FIG. 1 is a diagram of an exemplary trusted or secured software environment, according to one embodiment of the present invention.
[0006] FIG. 2 is a diagram of certain exemplary trusted or secured software modules and exemplary system environment, according to one embodiment of the present invention.
[0007] FIG. 3 is a detailed diagram of the security token of the system of FIG. 2A , according to one embodiment of the present invention.
[0008] FIG. 4 is a schematic diagram of an exemplary microprocessor system adapted to support the secured software environment of FIG. 1 , according to one embodiment of the present invention.
[0009] FIG. 5 is a flowchart showing resetting of platform configuration registers, according to one embodiment of the present invention.
[0010] FIG. 6 is a flowchart showing resetting of platform configuration registers, according to another embodiment of the present invention.
Detailed Description
[0011] The following description describes techniques for resetting or modifying special registers used in a trusted or secured environment in a microprocessor system. In the following description, numerous specific details such as logic implementations, software module allocation, encryption techniques, bus signaling techniques, and details of operation are set forth in order to provide a more thorough understanding of the present invention. It will be appreciated, however, by one skilled in the art that the invention may be practiced without such specific details. In other instances, control structures, gate level circuits and full software instruction sequences have not been shown in detail in order not to obscure the invention. Those of ordinary skill in the art, with the included descriptions, will be able to implement appropriate functionality without undue experimentation. The invention is disclosed in the form of a microprocessor system. However, the invention may be practiced in other forms of processor such as a digital signal processor, a minicomputer, or a mainframe computer.
[0012] In one embodiment, a new kind of platform configuration register (PCR) is used in conjunction with a trusted platform module (TPM) within a security token. Each new PCR may have associated with it a pair of flags that may be used to indicate whether or not the PCR may be either reset or have its contents modified. The security token may have a bus interface that may receive special locality-confirming messages. These locality-confirming messages may indicate both that the security token is in direct physical connection with other system resources and also that trusted software desires to reset or modify PCR contents.
[0013] Referring now to FIG. 1 , a diagram of an exemplary trusted or secured software environment is shown, according to one embodiment of the present invention. In the FIG. 1 embodiment, trusted and untrusted software may be loaded simultaneously and may execute simultaneously on a single computer system. A secure virtual machine monitor (SVMM) 350 selectively permits or prevents direct access to hardware resources 380 from one or more untrusted operating systems 340 and untrusted applications 310 through 330. In this context, “untrusted” does not necessarily mean that the operating system or applications are deliberately misbehaving, but that the size and variety of interacting code makes it impractical to reliably assert that the software is behaving as desired, and that there are no viruses or other foreign code interfering with its execution. In a typical embodiment, the untrusted code might consist of the normal operating system and applications found on today's personal computers.
[0014] SVMM 350 also selectively permits or prevents direct access to hardware resources 380 from one or more trusted or secure kernels 360 and one or more trusted applications 370. Such a trusted or secure kernel 360 and trusted applications 370 may be limited in size and functionality to aid in the ability to perform trust analysis upon it. The trusted application 370 may be any software code, program, routine, or set of routines which is executable in a secure environment. Thus, the trusted application 370 may be a variety of applications, or code sequences, or may be a relatively small application such as a Java applet.
[0015] Instructions or operations normally performed by operating system 340 or kernel 360 that could alter system resource protections or privileges may be trapped by SVMM 350, and selectively permitted, partially permitted, or rejected. As an example, in a typical embodiment, instructions that change the processor's page table that would normally be performed by operating system 340 or kernel 360 would instead be trapped by SVMM 350, which would ensure that the request was not attempting to change page privileges outside the domain of its virtual machine.
[0016] Referring now to FIG. 2 , a diagram of certain exemplary trusted or secured software modules and exemplary system environment 200 is shown, according to one embodiment of the present invention. In the FIG. 2 embodiment, processor 202, processor 212, processor 222, and optional other processors (not shown) are shown. In other embodiments, the number of processors may differ, as may the boundary of various components and functional units.
[0017] Processors 202, 212, 222 may contain certain special circuits or logic elements to support secure or trusted operations. For example, processor 202 may contain secure enter (SENTER) logic 204 to support the execution of special SENTER instructions that may initiate trusted operations. SENTER is one example of a privileged instruction, defined as a machine instruction that usually can only be executed when in a special mode and usually available to the operating system or systems but not to other users. Privileged operations may occur upon the execution of privileged instructions. Processor 202 may also contain bus message logic 206 to support special bus messages on system bus 230 in support of special SENTER operations. In alternate embodiments, memory control functions of chipset 240 may be allocated to circuits within the processors, and for multiple processors may be included on a single die. In these embodiments, special bus messages may also be sent on busses internal to the processors. The use of special bus messages may increase the security or trustability of the system for several reasons. Circuit elements such as processors 202, 212, and 222 or chipset 240 may only issue or respond to such messages if they contain the appropriate logic elements of embodiments of the present disclosure, or their equivalents. Therefore successful exchange of the special bus messages may help ensure proper system configuration. Special bus messages may also permit activities that should normally be prohibited, such as resetting a platform configuration register 286. The ability of potentially hostile untrusted code to spy on certain bus transactions may be curtailed by allowing special bus messages to be issued only in response to special security instructions.
[0018] Additionally, processor 202 may contain secure memory to support secure initialization operations. In one embodiment secure memory 208 may be an internal cache of processor 202, perhaps operating in a special mode.
[0019] A “chipset” may be defined as a group of circuits and logic that support memory and input/output (I/O) operations for a connected processor or processors. Individual elements of a chipset may be grouped together on a single chip, a pair of chips, or dispersed among multiple chips, including processors. In the FIG. 2 embodiment, chipset 240 may include circuitry and logic to support memory and I/O operations to support processors 202, 212, and 222. In one embodiment, chipset 240 may interface with a number of memory pages 250 through 262 and a device-access page table 248 containing control information indicating whether non-processor devices may access the memory pages 250 through 262. Chipset 240 may include device-access logic 247 that may permit or deny direct memory access (DMA) from I/O devices to selected portions of the memory pages 250 through 262. In some embodiment the device access logic 247 may contain all relevant information required to permit or deny such accesses. In other embodiments, the device access logic 247 may access such information held in the device access page table 248. The functions of chipset 240 may further be allocated among one or more physical devices in alternate embodiments. Chipset 240 may additionally include its own bus message logic 242 to support special bus messages on system bus 230 in support of special SENTER operations.
[0020] Chipset 240 may support standard I/O operations on I/O busses such as peripheral component interconnect (PCI), accelerated graphics port (AGP), universal serial bus (USB), low pin count (LPC) bus, or any other kind of I/O bus (not shown). An interface 290 may be used to connect chipset 240 with token 276, containing one or more platform configuration registers (PCR) 286, 294. In one embodiment, interface 290 may be the LPC bus (Low Pin Count (LPC) Interface Specification, Intel Corporation, rev. 1.0, 29 Dec. 1997) modified with the addition of certain security enhancements. One example of such a security enhancement would be a locality confirming message, utilizing a previously-reserved message header and address information targeting a platform configuration register (PCR) 286 within token 276. In one embodiment, token 276 may contain special security features, and in one embodiment may include the trusted platform module (TPM) 278 disclosed in the Trusted Computing Platform Alliance (TCPA) Main Specification, version 1.1a, 1 Dec. 2001, issued by the TCPA (available at the time of filing of the present application at www.trustedpc.com). The interface 290 may provide a data path for various two-way communications between chipset 240 and token 276. The security bus logic 266 of chipset 240 may include circuits to generate and transmit locality-confirming messages to token 276.
[0021] Two software components identified in system environment 200 are a Secure Virtual Machine Monitor (SVMM) 282 module and a Secure Initialization Authenticated Code (SINIT-AC) 280 module. The SVMM 282 module may be stored on a system disk or other mass storage, and moved or copied to other locations as necessary. In one embodiment, prior to beginning the secure launch process SVMM 282 may be moved or copied to one or more memory pages 250 through 262. Following the secure enter process, a virtual machine environment may be created in which the SVMM 282 may operate as the most privileged code within the system, and may be used to permit or deny direct access to certain system resources by the operating system or applications within the created virtual machines.
[0022] Some of the actions required by the secure enter process may be beyond the scope of simple hardware implementations, and may instead advantageously use a software module whose execution can be implicitly trusted. In one embodiment, these actions may be performed by Secure Initialization (SINIT) code. Such action may include checking critical portions of the system configuration to ensure that is supports the correct instantiation of the secure environment, configuring the device access logic 247 and device access page table 248, and calculate and register the SVMM 282 identity prior to transferring system control to it. Here “register” means placing a trust measurement of SVMM 282 into a register, for example into PCR 286 or into PCR 294. When this last action is taken, the trustworthiness of the SVMM 282 may be inspected by a potential system user.
[0023] The SINIT code may be produced by the manufacturer of the processors or of the chipsets. For this reason, the SINIT code may be trusted to aid in the secure launch of chipset 240. In order to distribute the SINIT code, in one embodiment a well-known cryptographic hash is made of the entire SINIT code, producing a value known as a “digest”. One embodiment produces a 160-bit value for the digest. The digest may then be encrypted by a private key, held in one embodiment by the manufacturer of the processor, to form a digital signature. When the SINIT code is bundled with the corresponding digital signature, the combination may be referred to as SINIT authenticated code (SINIT-AC) 280. Copies of the SINIT-AC 280 may be later validated as discussed below.
[0024] Any logical processor may initiate the secure launch process, and may then be referred to as the initiating logical processor (ILP). In the present example processor 202 becomes the ILP, although any of the processors on system bus 230 could become the ILP. Neither memory-resident copy of SINIT-AC 280 nor memory-resident copy of SVMM 282 may be considered trustworthy at this time since, among other reasons, the other processors or the DMA devices may overwrite memory pages 250–262.
[0025] The ILP (processor 202) then executes a privileged instruction. This privileged instruction may in one embodiment be referred to as a secured enter (SENTER) instruction, and may be supported by SENTER logic 204. Execution of the SENTER instruction may cause the ILP (processor 202) to issue special bus messages on system bus 230. In other embodiments, other privileged instructions may be executed.
[0026] After issuing the special bus message, the ILP (processor 202) may check to see when and if the other processors, which may be referred to as responding logical processors (RLPs) are ready to enter secure operations. When the RLPs are ready, the ILP (processor 202) may move both a copy of SINIT-AC 280 and key 284 into secure memory for the purpose of authenticating and subsequently executing the SINIT code included in SINIT-AC 280. In one embodiment, this secure memory may be an internal cache of the ILP (processor 202), perhaps operating in a special mode. Key 284 represents the public key corresponding to the private key used to encrypt the digital signature included in the SINIT-AC 280 module, and is used to verify the digital signature and thereby authenticate the SINIT code. In one embodiment, key 284 may already be stored in the processor, perhaps as part of the SENTER logic 204. In another embodiment, key 284 may be stored in a read-only key register 244 of chipset 240, which is read by the ILP. In yet another embodiment, either the processor or the chipset's key register 244 may actually hold a cryptographic digest of key 284, where key 284 itself is included in the SINIT-AC 280 module. In this last embodiment, the ILP reads the digest from key register 244, calculates an equivalent cryptographic hash over the key 284 embedded in SINIT-AC 280, and compares the two digests to ensure the supplied key 284 is indeed trusted.
[0027] A copy of SINIT-AC and a copy of a public key may then exist within secure memory. The ILP may now validate the copy of SINIT-AC by decrypting the digital signature included in the copy of the SINIT-AC using the copy of a public key. This decryption produces an original copy of a cryptographic hash's digest. If a newly-calculated digest matches this original digest then the copy of SINIT-AC and its included SINIT code may be considered trustable.
[0028] The ILP may now register the unique identity of the SINIT-AC module by writing the SINIT-AC module's cryptographic digest value to a platform configuration register 286 in the security token 276, as outlined below. The ILP's execution of its SENTER instruction may now terminate by transferring execution control to the trusted copy of the SINIT code held within the ILP's secure memory. The trusted SINIT code may then perform its system test and configuration actions and may register the memory-resident copy of SVMM, in accordance with the definition of “register” above.
[0029] Registration of the memory-resident copy of SVMM may be performed in several manners. In one embodiment, the SENTER instruction running on the ILP writes the calculated digest of SINIT-AC into PCR 286 within the security token 276. Subsequently, the trusted SINIT code may write the calculated digest of the memory-resident SVMM to the same PCR 286 or another PCR 294 within the security token 276. If the SVMM digest is written to the same PCR 286, the security token 276 hashes the original contents (SINIT digest) with the new value (SVMM digest) and writes the result back into the PCR 286. In embodiments where the first (initializing) write to PCR 286 is limited to the SENTER instruction, the resulting digest may be used as a root of trust for the system.
[0030] Once the trusted SINIT code has completed its execution, and has registered the identity of the SVMM in a PCR, the SINIT code may transfer ILP execution control to the SVMM. In a typical embodiment, the first SVMM instructions executed by the ILP may represent a self-initialization routine for the SVMM. The ILP may in one embodiment cause each of the RLPs to join in operations under the supervision of the now-executing copy of SVMM. From this point onwards, the overall system is operating in trusted mode as outlined in the discussion of FIG. 1 above.
[0031] Referring now to FIG. 3 , a detailed diagram of the security token 276 of the system of FIG. 2 is shown, according to one embodiment of the present invention. Token 276 may include a TPM 278 containing several prior-art PCRs 232, 234, 236, 238. These prior-art PCRs may be reset only at a general system reset event. The present TPM 278 may contain 16 or more prior-art general-purpose PCRs.
[0032] Additionally, in one embodiment token 276 may include PCRs 286, 294 of the present invention. Each PCR 286, 294 may be associated with flags indicating the behavior of the PCR under differing conditions. For example, PCR 286 has associated with it a reset flag 288 and a modify flag 292, and PCR 294 has associated with it a reset flag 296 and a modify flag 298. When reset flag 288 has the logical value true, PCR 286 may be reset under the command of a locality-confirming message arriving on the interface 290. When modify flag 292 has the logical value true, PCR 286 may have its contents modified under the command of a locality-confirming message arriving on the interface 290. In one embodiment, an encrypted digest of SINIT-AC 280 is intended to be written into PCR 286 and an encrypted digest of SVMM 282 is intended to be written into PCR 294. These digests may be exhibited upon request as part of an attestation process that may demonstrate to a local or remote user that system environment 200 is operating in a secure or trusted manner.
[0033] In another embodiment, digests of SINIT-AC 280 and of SVMM 282 may be written into a single PCR, such as PCR 286. In this embodiment, first the digest of SINIT-AC is written into PCR 286. Then the contents of PCR 286 are cryptologically combined with a digest of SVMM 282, and the resulting combined digest written into PCR 286. In one embodiment, circuitry within token 276, configured to support PCR 286, may take the value of an incoming write request over interface 290, cryptologically combine this value with the current value within PCR 286, and then place the resulting new value within PCR 286. This process may be referred to as an “extend” operation. The value of the incoming write request may be said to be “extended onto” the current value within PCR 286. This extended value within PCR 286, representing a combined digest, may then be exhibited upon request as part of an attestation process that may demonstrate to a local or remote user that system environment 200 is operating in a secure or trusted manner.
[0034] Reset flags 288, 296 and modify flags 292, 298 may be set to logic true values at the time of manufacture of token 276. This will permit the resetting and content modification of PCR 286, 294 upon receipt of a locality-confirming bus message on interface 290. In other embodiments, reset flags 288, 296 and modify flags 292, 298 may have their values changed between true and false depending upon specific security actions taken under the control of TPM 278.
[0035] In the FIG. 3 embodiment, exemplary additional PCRs 201, 203, and 205 of an embodiment are shown. In alternate embodiments fewer or additional PCRs in accordance with an embodiment of the present invention may be utilized. Additional PCRs such as PCRs 201, 203, and 205 may be utilized to store security-related information, such as digests of code, in other embodiments. Any additional PCRs, such as exemplary PCRs 201, 203, and 205, may have the associated reset flags 207, 209, and 211, respectively, and the associated modify flags 213, 215, and 217, respectively.
[0036] The PCRs 286, 294 may be reset or modified at times other than general system resets when the system environment 200 causes locality-confirming messages to be sent from chipset 240 to token 276. In one embodiment, the locality-confirming messages may be generated by security bus logic 266 of chipset 240 in response to the bus message logic 242 receiving a SENTER special bus message over system bus 230. The SENTER special bus message in turn may result from the execution of a SENTER instruction in a processor. Such a SENTER instruction may be executed days, weeks, or months subsequent to any general system reset event. Details of the SENTER process, transferring system operation from insecure operations to secure operations, are described below in connection with FIGS. 3 through 6 .
[0037] In the FIG. 3 embodiment, token 276 is shown in an exemplary trusted or secure personal computer environment. Specifically, token 276 is shown connected with chipset 240 via an interface 290. In alternate embodiments, token 276 of an embodiment of the present invention may be used in other system environments. Examples of such environments may include a data server environment, a cellular or other form of mobile telephone, a mobile data port, an automotive system, a cable or satellite television system, or a personal digital assistant (PDA). These examples should not be construed as limiting, as there are many other system environments that may utilize a token of a present embodiment. An interface 290 or alternate equivalent interface may connect the other embodiment token to circuitry within one of the above exemplary system environments, wherein chipset 240 may be a portion of, for example, an integrated cellular telephone controller or a PDA controller. These embodiments are in accordance with the definition of “chipset” included in the discussion of FIG. 2 above.
[0038] Referring now to FIG. 4 , one embodiment of a microprocessor system 400 adapted to support the secured software environment of FIG. 1 is shown. CPU A 410, CPU B 414, CPU C 418, and CPU D 422 may be similar to the processors of FIG. 1 , but may be configured with additional microcode or logic circuitry to support the execution of special instructions. In one embodiment, this additional microcode or logic circuitry may be the SENTER logic 204 of FIG. 2 . These special instructions may support the issuance of special bus messages on system bus 420. In one embodiment, the issuance of special bus messages may be supported by circuitry such as the bus message logic 206 of FIG. 2 . Similarly chipset 430 may be similar to chipset 130 but may support the above-mentioned special cycles on system bus 420. Additionally chipset 430 may possess additional page protection circuitry for protecting page tables within physical memory 434. In one embodiment, the page protection circuitry may be the device access logic 247 of FIG. 2 .
[0039] In one embodiment, chipset 430 interfaces an additional data bus called a modified low pin count (LPC) bus 450 through a LPC bus logic (LPC-BL) 452. Modified LPC bus 450 may be used to connect chipset 430 with a security token 454. Token 454 may in one embodiment include the trusted platform module (TPM) 460 envisioned by the TCPA. In one embodiment, token 454 may include SINIT PCR 470 and SVMM PCR 480. Each PCR 470, 480 may be associated with flags indicating the behavior of the PCR under differing conditions. For example, SINIT PCR 470 has associated with it a reset flag 472 and a modify flag 474, and SVMM PCR 480 has associated with it a reset flag 482 and a modify flag 484. When reset flag 472 has the logical value true, SINIT PCR 470 may be reset under the command of a locality-confirming message arriving on the modified LPC bus 450. When modify flag 474 has the logical value true, SINIT PCR 470 may have its contents modified under the command of a locality-confirming message arriving on the modified LPC bus 450. In one embodiment, an encrypted digest of SINIT-AC is intended to be written into SINIT PCR 470 and an encrypted digest of SVMM is intended to be written into SVMM PCR 480. These digests may be exhibited upon request as part of an attestation process that may demonstrate to a local or remote user that microprocessor system 400 is operating in a secure or trusted manner.
[0040] In an alternate embodiment, digests of SINIT-AC and of SVMM may be written into a single PCR, such as SINIT PCR 470. In this embodiment, first the digest of SINIT-AC is written into SINIT PCR 470. Then the contents of SINIT PCR 470 are cryptologically combined with a digest of SVMM, and the resulting combined digest written into SINIT PCR 470. In one embodiment, circuitry within token 454, configured to support SINIT PCR 470, may take the value of an incoming write request over modified PC bus 450, cryptologically combine this value with the current value within SINIT PCR 470, and then place the resulting new value within SINIT PCR 470. This combined digest may then be exhibited upon request as part of an attestation process that may demonstrate to a local or remote user that microprocessor system 400 is operating in a secure or trusted manner.
[0041] Reset flags 472, 482 and modify flags 474, 484 may be set to logic true values at the time of manufacture of token 454. This will permit the resetting and content modification of SINIT PCR 470 and SVMM PCR 480 upon receipt of a locality-confirming bus message on modified LPC bus 450. In other embodiments, reset flags 472, 482 and modify flags 474, 484 may have their values changed between true and false depending upon specific security actions taken within microprocessor system 400, such as a SENTER or other privileged instruction execution.
[0042] In order to use a SVMM 350 in a microprocessor system such as microprocessor system 400, several actions may need to be taken. One action may be that the system configuration should be tested for trustworthiness, both in terms of hardware configuration, the SVMM 350 itself, and any software that loads and starts the SVMM 350. Another action may be to register the SVMM 350 identity and transfer system control to it. When this last action is taken the trustworthiness of the SVMM 350 may be inspected by a potential system user.
[0043] In one embodiment, a copy of SINIT-AC may be stored in the fixed media 444 for use when the microprocessor system 400 needs to enter secure operations. When a logical processor, for example physical processor CPU 414, desires to initialize system wide secure operations using the SVMM 350, it may load a copy of SINIT-AC into memory 434 to form a memory-resident copy of SINIT-AC. Any logical processor starting up secure operations in this manner may be referred to as an initiating logical processor (ILP). In the present example CPU B 414 becomes the ILP. CPU B 414 as ILP may then load a copy of SVMM into memory to form a memory-resident copy of SVMM. This copy of SVMM may be on non-contiguous pages of memory, but the chipset 430 will maintain a page table for it. Neither SINIT-AC nor SVMM may be considered trustworthy at this time since, among other reasons, the other processors or the DMA devices may overwrite memory 434.
[0044] The ILP then may execute a special or privileged instruction implemented in microcode or other processor logic, such as SENTER. Execution of the SENTER instruction may cause the ILP to issue special bus messages on system bus 420, and then wait considerable time intervals for subsequent system actions. In other embodiments, other privileged instructions may be executed.
[0045] After issuing the special bus message, the ILP (CPU B 414) checks to see when and if all the RLPs have properly responded. When the RLPs are ready to enter secure operations, the ILP may move both the memory-resident copy of SINIT-AC and a cryptographic public key of chipset 430 into secure memory. In one embodiment, this secure memory may be the internal cache of the ILP, CPU B 414. Copy of SINIT-AC and copy of public key may then exist within internal cache. The ILP may now validate the cache-resident copy of SINIT-AC by decrypting the digital signature of this copy of the SINIT-AC using the cache-resident copy of public key. This decryption produces an original copy of a cryptographic hash's “digest”. If a newly-calculated “digest” matches this original “digest” then the cache-resident copy of SINIT-AC may be considered trustable.
[0046] At this point during the execution of the SENTER instruction, a pair of locality-confirming messages may be generated by LPC-BL 452. This allows the resetting of SINIT PCR 470 and the writing of the SINIT digest into SINIT PCR 470.
[0047] The ILP may now issue another special bus message, via system bus 420 signaling the waiting RLP's (CPU A 410, CPU C 418, CPU D 422) and chipset 430 that secured operations are going to be initiated. The trusted cache-resident copy of SINIT-AC may then test and validate the copy of SVMM residing in physical memory 434. In one embodiment, SINIT-AC may read the page table entries for the copy of SVMM located in memory 434. SINIT-AC may then command chipset 430 to prevent DMA access from I/O devices to those page table entries. Validation and subsequent registration of the memory-resident copy of SVMM may be performed in several manners. Again during this portion of the execution of the SENTER instruction, another pair of locality-confirming messages may be generated by LPC-BL 452. This allows the resetting of SVMM PCR 480 and the writing of the SVMM digest into SVMM PCR 480.
[0048] At this point the memory-resident copy of SVMM may begin execution, at the ending of execution of the SENTER instruction. The ILP may in one embodiment cause each of the RLPs to join in operations under the supervision of the now-executing memory-resident copy of SVMM. From this point onwards the overall system is operating in trusted mode as outlined in the discussion of FIG. 1 above.
[0049] Referring now to FIG. 5 , a flowchart showing resetting of platform configuration registers is shown, according to one embodiment of the present invention. The method shown in FIG. 5 may be used for the secure or trusted computer environments of FIG. 1 and FIG. 3 . The method may also be used in other environments, such as a cellular or other form of mobile telephone, automobile or other security systems, or in a digital or satellite television or other media exchange system. In these latter embodiments, circuits within the named equipment may serve as the equivalent of the chipset 240 or chipset 430 for the purpose of sending locality-confirming messages to a security token.
[0050] The FIG. 5 embodiment starts in block 520, where a first locality-confirming message is sent over an interface, addressed to a first PCR. Data within the first locality-confirming message indicates a reset is to be performed, and in block 530 the reset flag of the first PCR is checked to see if resets may be allowed. If so, then the first PCR is reset. Then in block 540 a second locality-confirming message is sent, addressed to the first PCR. Data within the second locality-confirming message indicates a digest (or other data) write is to be performed, and in block 550 the modify flag of the first PCR is checked to see if modifications to the value contained within the first PCR may be allowed. If so, then the first PCR is written with the digest contained within the second locality-confirming message.
[0051] In block 560, a third locality-confirming message may then be sent that is addressed to a second PCR. Data within the third locality-confirming message indicates a reset is to be performed, and in block 570 the reset flag of the second PCR is checked to see if resets may be allowed. If so, then the second PCR is reset. Then in block 580 a fourth locality-confirming message is sent, addressed to the second PCR. Data within the fourth locality-confirming message indicates a digest (or other data) write is to be performed, and in block 590 the modify flag of the second PCR is checked to see if modifications to the value contained within the second PCR may be allowed. If so, then the second PCR is written with the digest contained within the fourth locality-confirming message.
[0052] Referring now to FIG. 6 , a flowchart showing resetting of platform configuration registers is shown, according to another embodiment of the present invention. The method of FIG. 6 may be used in various environments as listed above in connection with the method of FIG. 5 . The FIG. 6 embodiment starts in block 620, where a first locality-confirming message is sent over an interface, addressed to a first PCR. Data within the first locality-confirming message indicates a reset is to be performed, and in block 630 the reset flag of the first PCR is checked to see if resets may be allowed. If so, then the first PCR is reset. Then in block 640 a second locality-confirming message is sent, addressed to the first PCR. Data within the second locality-confirming message indicates a digest (or other data) write is to be performed, and in block 650 the modify flag of the first PCR is checked to see if modifications to the value contained within the first PCR may be allowed. If so, then the first PCR is written with the digest contained within the second locality-confirming message.
[0053] Then in block 660 a third locality-confirming message is sent, addressed again to the first PCR. Data within the third locality-confirming message indicates a digest (or other data) write is to be performed, and in block 670 the modify flag of the first PCR is checked to see if modifications to the value contained within the first PCR may still be allowed. If so, then in block 680 the token cryptographically hashes the digest contained within the third locality-confirming message onto the existing contents of the first PCR. Then in block 690 the resulting combined digest may be written into the first PCR. This process may be the extend process as described above in connection with FIG. 2 .
[0054] In the foregoing specification, the invention has been described with reference to specific exemplary embodiments thereof. It will, however, be evident that various modifications and changes may be made thereto without departing from the broader spirit and scope of the invention as set forth in the appended claims. The specification and drawings are, accordingly, to be regarded in an illustrative rather than a restrictive sense.
Claims
What is claimed is:
1. A system, comprising:
a circuit including a first register, with a first flag coupled to said first register;
a first bus coupled to said circuit to convey a locality confirming message wherein said first flag indicates permission to reset said first register; and
a second flag coupled to said first register to indicate permission to modify a content of said first register.
2. The system of claim 1, wherein said first flag coupled to said first register indicates permission to modify a content of said first register.
3. The system of claim 2, wherein said content of said first register is capable of being modified during execution of a privileged instruction by a processor.
4. The system of claim 3, further comprising a second register to contain a second digest of a second code.
5. A system, comprising:
a circuit including a first register;
a first bus coupled to said circuit to convey a locality confirming message;
a chipset to transmit said locality confirming message across said first bus, wherein said chipset transmits said locality confirming message responsively to a special bus message; and
a processor to transmit said special bus message on said second bus, wherein said processor transmits said special bus message during an execution of a privileged instruction.
6. An apparatus, comprising:
a first register to store a first digest;
a first flag coupled to said first register to indicate whether to permit said first register to reset responsive to a locality confirming message; and
a second flag coupled to said first register to indicate whether to permit contents of said first register to change responsive to said locality confirming message.
7. An apparatus, comprising:
a first register to store a first digest; and
a first flag coupled to said first register to indicate whether to permit said first register to reset responsive to a locality confirming message;
a second register to store a second digest;
a third flag coupled to said second register to indicate whether to permit said second register to reset responsive to said locality confirming message; and
a fourth flag coupled to said second register to indicate whether to permit contents of said second register to change responsive to said locality confirming message.
8. A method, comprising:
transmitting a first locality confirming message on a first bus;
determining whether to reset a first register responsively to said first locality confirming message;
determining whether to reset said first register responsive to a first flag;
transmitting a second locality confirming message on said first bus;
determining whether to modify a first content of said first register responsively to said second locality confirming message; and
determining whether to modify said first content of said first register responsive to a second flag.
9. The method of claim 8, further comprising transmitting a third locality confirming message on said first bus; and further comprising determining whether to reset a second register responsively to said third locality confirming message.
10. The method of claim 9, further comprising transmitting a fourth locality confirming message on said first bus; and further comprising determining whether to modify a second content of said second register responsively to said fourth locality confirming message.
11. The method of claim 8, further comprising transmitting a third locality confirming message on said first bus; and further comprising determining whether to modify a second content of said first register responsively to said third locality confirming message.
12. The method of claim 9, further comprising modifying said second content of said first register using a cryptological combination with a digest.
13. An apparatus, comprising:
a first register to store a first digest;
a first flag coupled to said first register to indicate whether to permit contents of said first register to be modified responsive to a locality confirming message; and
a second flag coupled to said first register to indicate whether to permit said first register to reset responsive to said locality confirming message.
Patent Citations (243)
| Patent | Date | Inventor | Cited By |
|---|---|---|---|
| US3699532(A) | 1972-10-01 | Schaffer et al. | Applicant |
| US3996449(A) | 1976-12-01 | Attanasio | Applicant |
| US4037214(A) | 1977-07-01 | Birney et al. | Applicant |
| US4162536(A) | 1979-07-01 | Morley | Applicant |
| US4207609(A) | 1980-06-01 | Luiz et al. | Applicant |
| US4247905(A) | 1981-01-01 | Yoshida et al. | Applicant |
| US4276594(A) | 1981-06-01 | Morley | Applicant |
| US4278837(A) | 1981-07-01 | Best | Applicant |
| US4307447(A) | 1981-12-01 | Provanzano et al. | Applicant |
| US4319233(A) | 1982-03-01 | Matsuoka et al. | Applicant |
| US4319323(A) | 1982-03-01 | Ermolovich et al. | Applicant |
| US4347565(A) | 1982-08-01 | Kaneda et al. | Applicant |
| US4366537(A) | 1982-12-01 | Heller et al. | Applicant |
| US4403283(A) | 1983-09-01 | Myntti et al. | Applicant |
| US4419724(A) | 1983-12-01 | Branigan et al. | Applicant |
| US4430709(A) | 1984-02-01 | Schleupen | Applicant |
| US4521852(A) | 1985-06-01 | Guttag | Applicant |
| US4571672(A) | 1986-02-01 | Hatada et al. | Applicant |
| US4759064(A) | 1988-07-01 | Chaum | Applicant |
| US4795893(A) | 1989-01-01 | Ugon | Applicant |
| US4802084(A) | 1989-01-01 | Ikegaya et al. | Applicant |
| US4825052(A) | 1989-04-01 | Chemin et al. | Applicant |
| US4907270(A) | 1990-03-01 | Hazard | Applicant |
| US4907272(A) | 1990-03-01 | Hazard | Applicant |
| US4910774(A) | 1990-03-01 | Barakat | Applicant |
| US4975836(A) | 1990-12-01 | Hirosawa et al. | Applicant |
| US5007082(A) | 1991-04-01 | Cummins | Applicant |
| US5022077(A) | 1991-06-01 | Bealkowski et al. | Applicant |
| US5075842(A) | 1991-12-01 | Lai | Applicant |
| US5079737(A) | 1992-01-01 | Hackbarth | Examiner |
| US5187802(A) | 1993-02-01 | Inoue et al. | Applicant |
| US5230069(A) | 1993-07-01 | Brelsford et al. | Applicant |
| US5237616(A) | 1993-08-01 | Abraham et al. | Applicant |
| US5255379(A) | 1993-10-01 | Melo | Applicant |
| US5287363(A) | 1994-02-01 | Wolf et al. | Applicant |
| US5293424(A) | 1994-03-01 | Hotley et al. | Applicant |
| US5295251(A) | 1994-03-01 | Wakui et al. | Applicant |
| US5317705(A) | 1994-05-01 | Gannon et al. | Applicant |
| US5319760(A) | 1994-06-01 | Mason et al. | Applicant |
| US5361375(A) | 1994-11-01 | Ogi | Applicant |
| US5386552(A) | 1995-01-01 | Garney | Applicant |
| US5421006(A) | 1995-05-01 | Jablon et al. | Applicant |
| US5434999(A) | 1995-07-01 | Goire et al. | Applicant |
| US5437033(A) | 1995-07-01 | Inoue et al. | Applicant |
| US5442645(A) | 1995-08-01 | Ugon et al. | Applicant |
| US5455909(A) | 1995-10-01 | Blomgren et al. | Applicant |
| US5459867(A) | 1995-10-01 | Adams et al. | Applicant |
| US5459869(A) | 1995-10-01 | Spilo | Applicant |
| US5469557(A) | 1995-11-01 | Salt | Applicant |
| US5473692(A) | 1995-12-01 | Davis | Applicant |
| US5479509(A) | 1995-12-01 | Ugon | Applicant |
| US5504922(A) | 1996-04-01 | Seki et al. | Applicant |
| US5506975(A) | 1996-04-01 | Onodera | Applicant |
| US5511217(A) | 1996-04-01 | Nakajima et al. | Applicant |
| US5522075(A) | 1996-05-01 | Robinson et al. | Applicant |
| US5528231(A) | 1996-06-01 | Patarin | Applicant |
| US5533126(A) | 1996-07-01 | Hazard | Applicant |
| US5555385(A) | 1996-09-01 | Osisek | Applicant |
| US5555414(A) | 1996-09-01 | Hough et al. | Applicant |
| US5560013(A) | 1996-09-01 | Scalzi et al. | Applicant |
| US5564040(A) | 1996-10-01 | Kubals | Applicant |
| US5566323(A) | 1996-10-01 | Ugon | Applicant |
| US5568552(A) | 1996-10-01 | Davis | Applicant |
| US5574936(A) | 1996-11-01 | Ryba et al. | Applicant |
| US5582717(A) | 1996-12-01 | Di Santo | Applicant |
| US5604805(A) | 1997-02-01 | Brands | Applicant |
| US5606617(A) | 1997-02-01 | Brands | Applicant |
| US5615263(A) | 1997-03-01 | Takahashi | Applicant |
| US5628022(A) | 1997-05-01 | Ueno et al. | Applicant |
| US5633929(A) | 1997-05-01 | Kaliski | Applicant |
| US5657445(A) | 1997-08-01 | Pearce | Applicant |
| US5668971(A) | 1997-09-01 | Neufeld | Applicant |
| US5684948(A) | 1997-11-01 | Johnson et al. | Applicant |
| US5706469(A) | 1998-01-01 | Kobayashi | Applicant |
| US5717903(A) | 1998-02-01 | Bonola | Applicant |
| US5720609(A) | 1998-02-01 | Pfefferle | Applicant |
| US5721222(A) | 1998-02-01 | Bernstein et al. | Applicant |
| US5729760(A) | 1998-03-01 | Poisner | Applicant |
| US5737604(A) | 1998-04-01 | Miller et al. | Applicant |
| US5737760(A) | 1998-04-01 | Grimmer, Jr. et al. | Applicant |
| US5740178(A) | 1998-04-01 | Jacks | Applicant |
| US5752046(A) | 1998-05-01 | Oprescu et al. | Applicant |
| US5757919(A) | 1998-05-01 | Herbert et al. | Applicant |
| US5764969(A) | 1998-06-01 | Kahle et al. | Applicant |
| US5796835(A) | 1998-08-01 | Saada | Applicant |
| US5796845(A) | 1998-08-01 | Serikawa et al. | Applicant |
| US5805712(A) | 1998-09-01 | Davis | Applicant |
| US5809546(A) | 1998-09-01 | Greenstein et al. | Applicant |
| US5825875(A) | 1998-10-01 | Ugon | Applicant |
| US5825880(A) | 1998-10-01 | Sudia et al. | Applicant |
| US5835594(A) | 1998-11-01 | Albrecht et al. | Applicant |
| US5844986(A) | 1998-12-01 | Davis | Applicant |
| US5852717(A) | 1998-12-01 | Bhide et al. | Applicant |
| US5854913(A) | 1998-12-01 | Goetz et al. | Applicant |
| US5867577(A) | 1999-02-01 | Patarin | Applicant |
| US5872994(A) | 1999-02-01 | Akiyama et al. | Applicant |
| US5890189(A) | 1999-03-01 | Nozue et al. | Applicant |
| US5900606(A) | 1999-05-01 | Rigal | Applicant |
| US5901225(A) | 1999-05-01 | Ireton et al. | Applicant |
| US5903752(A) | 1999-05-01 | Dingwall et al. | Applicant |
| US5919257(A) | 1999-07-01 | Trostle | Applicant |
| US5935242(A) | 1999-08-01 | Madany et al. | Applicant |
| US5935247(A) | 1999-08-01 | Pai | Applicant |
| US5937063(A) | 1999-08-01 | Davis | Applicant |
| US5953502(A) | 1999-09-01 | Helbig, Sr. | Applicant |
| US5956408(A) | 1999-09-01 | Arnold | Applicant |
| US5970147(A) | 1999-10-01 | Davis et al. | Applicant |
| US5978475(A) | 1999-11-01 | Schneier | Applicant |
| US5978481(A) | 1999-11-01 | Ganesan et al. | Applicant |
| US5987557(A) | 1999-11-01 | Ebrahim | Applicant |
| US6014745(A) | 2000-01-01 | Ashe | Applicant |
| US6035374(A) | 2000-03-01 | Panwar et al. | Applicant |
| US6044478(A) | 2000-03-01 | Green | Applicant |
| US6055637(A) | 2000-04-01 | Hudson et al. | Applicant |
| US6058478(A) | 2000-05-01 | Davis | Applicant |
| US6061794(A) | 2000-05-01 | Angelo | Applicant |
| US6075938(A) | 2000-06-01 | Bugnion et al. | Applicant |
| US6085296(A) | 2000-07-01 | Karkhanis et al. | Applicant |
| US6088262(A) | 2000-07-01 | Nasu | Applicant |
| US6092095(A) | 2000-07-01 | Maytal | Applicant |
| US6093213(A) | 2000-07-01 | Favor | Applicant |
| US6101584(A) | 2000-08-01 | Satou et al. | Applicant |
| US6108644(A) | 2000-08-01 | Goldschlag et al. | Applicant |
| US6115816(A) | 2000-09-01 | Davis | Applicant |
| US6125430(A) | 2000-09-01 | Noel et al. | Applicant |
| US6131166(A) | 2000-10-01 | Wong-Isley | Applicant |
| US6148379(A) | 2000-11-01 | Schimmel | Applicant |
| US6158546(A) | 2000-12-01 | Hanson et al. | Applicant |
| US6173417(B1) | 2001-01-01 | Merrill | Applicant |
| US6175924(B1) | 2001-01-01 | Arnold | Applicant |
| US6175925(B1) | 2001-01-01 | Nardone et al. | Applicant |
| US6178509(B1) | 2001-01-01 | Nardone et al. | Applicant |
| US6182089(B1) | 2001-01-01 | Ganapathy et al. | Applicant |
| US6188257(B1) | 2001-02-01 | Buer | Applicant |
| US6192455(B1) | 2001-02-01 | Bogin et al. | Applicant |
| US6199152(B1) | 2001-03-01 | Kelly et al. | Applicant |
| US6205550(B1) | 2001-03-01 | Nardone et al. | Applicant |
| US6212635(B1) | 2001-04-01 | Reardon | Applicant |
| US6222923(B1) | 2001-04-01 | Schwenk | Applicant |
| US6249872(B1) | 2001-06-01 | Wildgrube et al. | Applicant |
| US6252650(B1) | 2001-06-01 | Nakaumra | Applicant |
| US6269392(B1) | 2001-07-01 | Cotichini et al. | Applicant |
| US6272533(B1) | 2001-08-01 | Browne | Applicant |
| US6272637(B1) | 2001-08-01 | Little et al. | Applicant |
| US6275933(B1) | 2001-08-01 | Fine | Applicant |
| US6282650(B1) | 2001-08-01 | Davis | Applicant |
| US6282651(B1) | 2001-08-01 | Ashe | Applicant |
| US6282657(B1) | 2001-08-01 | Kaplan et al. | Applicant |
| US6292874(B1) | 2001-09-01 | Barnett | Applicant |
| US6301646(B1) | 2001-10-01 | Hostetter | Applicant |
| US6308270(B1) | 2001-10-01 | Guthery et al. | Applicant |
| US6314409(B1) | 2001-11-01 | Schneck et al. | Applicant |
| US6321314(B1) | 2001-11-01 | Van Dyke | Applicant |
| US6327652(B1) | 2001-12-01 | England et al. | Applicant |
| US6330670(B1) | 2001-12-01 | England et al. | Applicant |
| US6339815(B1) | 2002-01-01 | Feng | Applicant |
| US6339816(B1) | 2002-01-01 | Bausch | Applicant |
| US6357004(B1) | 2002-03-01 | Davis | Applicant |
| US6363485(B1) | 2002-03-01 | Adams | Applicant |
| US6374286(B1) | 2002-04-01 | Gee et al. | Applicant |
| US6374317(B1) | 2002-04-01 | Ajanovic et al. | Applicant |
| US6378068(B1) | 2002-04-01 | Foster | Applicant |
| US6378072(B1) | 2002-04-01 | Collins et al. | Applicant |
| US6389537(B1) | 2002-05-01 | Davis et al. | Applicant |
| US6397242(B1) | 2002-05-01 | Devine et al. | Applicant |
| US6397379(B1) | 2002-05-01 | Yates et al. | Applicant |
| US6412035(B1) | 2002-06-01 | Webber | Applicant |
| US6421702(B1) | 2002-07-01 | Gulick | Applicant |
| US6435416(B1) | 2002-08-01 | Slassi | Applicant |
| US6445797(B1) | 2002-09-01 | McGough et al. | Applicant |
| US6463535(B1) | 2002-10-01 | Drews | Examiner |
| US6463537(B1) | 2002-10-01 | Tello | Applicant |
| US6499123(B1) | 2002-12-01 | McFarlane et al. | Applicant |
| US6505279(B1) | 2003-01-01 | Phillips et al. | Applicant |
| US6507904(B1) | 2003-01-01 | Ellison et al. | Applicant |
| US6529909(B1) | 2003-03-01 | Bowman-Amuah | Applicant |
| US6535988(B1) | 2003-03-01 | Poisner | Applicant |
| US6557104(B1) | 2003-04-01 | Vu et al. | Applicant |
| US6560627(B1) | 2003-05-01 | McDonald et al. | Applicant |
| US6609199(B1) | 2003-08-01 | DeTreville | Applicant |
| US6615278(B1) | 2003-09-01 | Curtis | Applicant |
| US6633963(B1) | 2003-10-01 | Ellison et al. | Applicant |
| US6633981(B1) | 2003-10-01 | Davis | Applicant |
| US6651171(B1) | 2003-11-01 | England | Applicant |
| US6678825(B1) | 2004-01-01 | Ellison et al. | Applicant |
| US6684326(B1) | 2004-01-01 | Cromer et al. | Applicant |
| US2001/0021969(A1) | 2001-09-01 | Burger et al. | Applicant |
| US2001/0027511(A1) | 2001-10-01 | Wakabayashi et al. | Examiner |
| US2001/0027527(A1) | 2001-10-01 | Khidekel et al. | Applicant |
| US2001/0037450(A1) | 2001-11-01 | Metlitski et al. | Applicant |
| US2002/0007456(A1) | 2002-01-01 | Peinado et al. | Applicant |
| US2002/0023032(A1) | 2002-02-01 | Pearson et al. | Applicant |
| US2002/0026576(A1) | 2002-02-01 | Das-Purkayastha et al. | Examiner |
| US2002/0147916(A1) | 2002-10-01 | Strongin et al. | Examiner |
| US2002/0166061(A1) | 2002-11-01 | Falik et al. | Examiner |
| US2002/0169717(A1) | 2002-11-01 | Challener | Applicant |
| US2003/0018892(A1) | 2003-01-01 | Tello | Applicant |
| US2003/0074548(A1) | 2003-04-01 | Cromer et al. | Examiner |
| US2003/0084285(A1) | 2003-05-01 | Cromer et al. | Examiner |
| US2003/0115453(A1) | 2003-06-01 | Grawrock | Applicant |
| US2003/0126442(A1) | 2003-07-01 | Glew | Applicant |
| US2003/0126453(A1) | 2003-07-01 | Glew et al. | Examiner |
| US2003/0159056(A1) | 2003-08-01 | Cromer et al. | Examiner |
| US2003/0188179(A1) | 2003-10-01 | Challener et al. | Examiner |
| US2003/0196085(A1) | 2003-10-01 | Lampson et al. | Applicant |
| US2004/0117539(A1) | 2004-06-01 | Bennett et al. | Applicant |
| DE4217444 | 1992-12-01 | Applicant | |
| EP473913 | 1992-03-01 | Applicant | |
| EP892521(A2) | 1999-01-01 | Applicant | |
| EP930567(A) | 1999-07-01 | Applicant | |
| EP961193(A2) | 1999-12-01 | Applicant | |
| EP965902(A2) | 1999-12-01 | Applicant | |
| EP1030237 | 2000-08-01 | Applicant | |
| EP1055989(A1) | 2000-11-01 | Applicant | |
| EP1056014(A1) | 2000-11-01 | Applicant | |
| EP1085396(A1) | 2001-03-01 | Applicant | |
| EP1146715 | 2001-10-01 | Applicant | |
| EP1271277(A2) | 2003-01-01 | Applicant | |
| EPPCT/US03/08764 | 2004-06-01 | Examiner | |
| WO95/24696 | 1995-09-01 | Applicant | |
| WO98/12620 | 1996-09-01 | Applicant | |
| WO9729567 | 1997-08-01 | Applicant | |
| WO9834365(A) | 1998-08-01 | Applicant | |
| WO9844402 | 1998-10-01 | Applicant | |
| WO9905600 | 1999-02-01 | Applicant | |
| WO9909482 | 1999-02-01 | Applicant | |
| WO99/18511 | 1999-04-01 | Applicant | |
| WO9957863 | 1999-11-01 | Applicant | |
| WO99/65579 | 1999-12-01 | Applicant | |
| WO99/65579(A1) | 1999-12-01 | Applicant | |
| WO/21238 | 2000-04-01 | Applicant | |
| WO62232 | 2000-10-01 | Applicant | |
| WO127723 | 2001-04-01 | Applicant | |
| WO127821 | 2001-04-01 | Applicant | |
| WO1/63994(A2) | 2001-08-01 | Applicant | |
| WO175564(A2) | 2001-10-01 | Applicant | |
| WO175565(A2) | 2001-10-01 | Applicant | |
| WO175595 | 2001-10-01 | Applicant | |
| WO2/01794(A2) | 2002-01-01 | Applicant | |
| WO217555(A2) | 2002-02-01 | Applicant | |
| WO2/060121(A1) | 2002-08-01 | Applicant | |
| WO2086684(A2) | 2002-10-01 | Applicant | |
| WO3/058412(A2) | 2003-07-01 | Applicant |
Non-Patent Literature (33)
- Heinrich, J., Memory Management “MIPS R4000 Microprocessor User's Manual,”Apr. 1, 1993, MIPS, Mt. View, XP002184449, pp. 61-97.Applicant
- Heinrich, J., “MIPS R4000 Microprocessor User's Manual,” 1994, MIPS Technology, Inc., Mountain View, CA, pp. 67-79.Applicant
- “M68040 User's Manual,” 1993, Motorola, Inc., pp. 1-20.Applicant
- “Intel 386 DX Microprocessor 32-Bit CHMOS Microprocessor With Integrated Memory Management,” Dec. 31, 1995, Intel, Inc., pp. 32-56; figures 4-14.Applicant
- Berg, C., “How do I Create a Signed Applet?,” Dr. Dobb's Journal, M&T Publ., Redwood City, CA, US, vol. 22, No. 8, Aug. 1997, pp. 109-111, 122.Applicant
- Gong, L., et al., “Going Beyond the Sandbox: An Overview of the New Security Architecture in the JAVA Development Kit 1.2,” Proceedings of the Usenix Symposium on the Internet Technologies and Systems, Monterrey, CA Dec. 1997, pp. 103-112.Applicant
- Goldberg, R., “Survey of virtual machine research,” IEEE Computer Magazine 7(6), pp. 34-45, 1974.Applicant
- Gum, P.H., “System/370 Extended Architecture: Facilities for Virtual Machines,” IBM J. Research Development, vol. 27, No. 6, pp. 530-544, Nov. 1983.Applicant
- Rosenblum, M. “Vmware's Virtual Platform: A Virtual Machine Monitor for Commodity PCs,” Proceedings of the 11th Hotchips Conference, pp. 185-196, Aug. 1999.Applicant
- Lawton, K., “Running Multiple Operating Systems Concurrently on an IA32 PC Using Virtualization Techniques,” http://www.plex86.org/reseacrh/paper.txt; Nov. 29, 1999; pp. 1-31.Applicant
- “Trust Computing Platform Alliance (TCPA),” Main Specification Version 1.1a, Compaq Computer Corporation, Hewlett-Packard Company, IBM Corporation, Intel Corporation, Microsoft Corporation, Dec. 2001.Applicant
- Brands, Stefan, “Restrictive Blinding of Secret-Key Certificates”, Springer-Verlag XP002201306, (1995),Chapter 3.Applicant
- Davida, George I. et al., “Defending Systems Against Viruses through Cryptographic Authentication”, Proceedings of the Symposium on Security and Privacy, IEEE Comp. Soc. Press, ISBN 0-8186-1939-2, (May 1989).Applicant
- Intel, “IA-32 Intel Architecture Software Developer's Manual Citation: vol. 3: System Programming Guide Miscellaneous Information”, (2003), pp. 13-1 through 13-24.Applicant
- Kashiwagi, Kazuhiko et al., “Design and Implementation of Dynamically Reconstructing System Software”, Software Engineering Conference, Proceedings 1996 Asia-Pacific Seoul, South Korea Dec. 4-7, 1996, Los Alamitos, CA USA, IEEE Comput. Soc, US, ISBN 0-8186-7638-8, (1996).Applicant
- Luke, Jahn et al., “Replacement Strategy for Aging Avionics Computers”, IEEE AES Systems Magazine, XP002190614, (Mar. 1999).Applicant
- Menezes, Oorschot, “Handbook of Applied Cryptography”, CRC Press LLC, USA XP002201307, (1997), p. 475.Applicant
- Richt, Stefan et al., “In-Circuit-Emulator Wird Echtzeittauglich”, Elektronic, Franzis Verlag GMBH, Munchen, DE, vol. 40, No. 16, XP000259620, (Aug. 6, 1991), pp. 100-103.Applicant
- Saez, Sergio et al., “A Hardware Scheduler for Complex Real-Time Systems”, Proceedings of the IEEE International Symposium on Industrial Electronics, XP002190615, (Jul. 1999), pp. 43-48.Applicant
- Sherwood, Timothy et al., “Patchable Instruction ROM Architecture”, Dept. of Computer Science and Engineering, University of California, San Diego, La Jolla, CA, (Nov. 2001).Applicant
- Intel Corporation, “IA-64 System Abstraction Layer Specification”, Intel Product Specification, Order No. 245359-001, 112 pages, Jan. 2000.Applicant
- Intel Corporation, “Intel IA-64 Architecture Software Developer's Manual—vol. 2: IA-64 System Architecture”, Intel Product Manual, Order No. 245318-001, pp. i, ii, 5.1-5.3, 11.1-11.8, 11.23-11.26, Jan. 2000.Applicant
- Coulouris, G. et al., “Distributed Systems: Concepts and Design”, 2nd Edition, Addison-Wesley Publishers Ltd., Essex, England, pp. 422-424 (1994).Applicant
- Crawford, J., “Architecture of the Intel 80386”, Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers (ICCD '86), ISBN 0-8186-0735-1, pp. 155-160 (Oct. 6-9, 1986).Applicant
- Fabry, R.S., “Capability-Based Addressing”, Communications of the ACM, vol. 17, No. 7, pp. 403-412 (Jul. 1974).Applicant
- Frieder, G., “The Architecture and Operational Characteristics of the VMX Host Machine”, IEEE Proceedings of the 15th Annual Workshop on Microprogramming, pp. 9-16, (Oct. 5, 1982).Applicant
- Hewlett Packard Company, “Mobile Security Overview”, pp. 1-9, (Sep. 2002).Applicant
- European Patent Office, International Search Report for International Application No. PCT/US 03/08764, 7 pages (Jun. 14, 2004).Applicant
- “Information Display Technique for a Terminate Stay Resident Program,” IBM Technical Disclosure Bulletin, TDB-ACC-No. NA9112156, vol. 34, Issue No. 7A, pp. 156-158, (Dec. 1, 1991).Applicant
- Karger, Paul A. et al., “A VMM Security Kernel for the VAX Architecture,” Proceedings of the Symposium on Research in Security and Privacy, Boxborough, MA, XP010020182, ISBN: 0-8186-2060-9, pp. 2-19 (May 7, 1990).Applicant
- Chien, Andrew A. et al., “Safe and Protected Execution for the Morph/AMRM Reconfigurable Processor,” 7th Annual IEEE Symposium, FCCM '99 Proceedings, Los Alamitos, CA, XP010359180, ISBN: 0-7695-0375-6, pp. 209-221 (Apr. 21, 1999).Applicant
- Robin, John Scott and Irvine, Cynthia E., “Analysis of the Pentium's Ability to Support a Secure Virtual Machine Monitor,” Proceedings of the 9th USENIX Security Symposium, Denver, CO, XP002247347, pp. 1-17 (Aug. 14, 2000).Applicant
- Compaq Computer Corporation, Hewlett-Packard Company, IBM Corporation, Intel Corporation, Microsoft Corporation. “Trusted Computing Platform Alliance (TCPA)” Main Specification Version1.1a Dec. 2001. 326 pgs.Applicant