A portion of the disclosure of this patent document contains material which is subject to copyright protection. The copyright owner has no objection to the facsimile reproduction by anyone of the patent document or the patent disclosure, as it appears in the Patent and Trademark Office patent file or records, but otherwise reserves all copyright rights whatsoever.
The present invention relates to secure communications, including transportation-related communications among cars, trucks, trains, and possibly other vehicles, as well as pedestrians' smartphones, traffic lights, and other infrastructure.
In recent times, there has been a surge in digital technologies embedded in physical objects, leading to what is today known as Internet of Things (IOT). This trend has also reached the automotive industry, which has shown a growing interest in exploring interaction models such as Vehicle-to-Vehicle (V2V), Vehicle-to-Infrastructure (V2I) and Vehicle-to-Pedestrian (V2P), collectively referred to as Vehicle-to-Everything (V2X) communications. V2X enables several applications aimed at improving transportation safety, efficiency, and human to machine interaction. For example, with V2X, vehicles can exchange or communicate information (e.g., for velocity, direction and brake status) that can help drivers keep a safe distance from other vehicles while maintaining a suitable speed.
Indeed, the U.S. Department of Transportation has initiated a “connected vehicles” program “to test and evaluate technology that will enable cars, buses, trucks, trains, roads and other infrastructure, and our smartphones and other devices to ‘talk’ to one another. Cars on the highway, for example, would use short-range radio signals to communicate with each other so every vehicle on the road would be aware of where other nearby vehicles are. Drivers would receive notifications and alerts of dangerous situations, such as someone about to run a red light as they [are] nearing an intersection or an oncoming car, out of sight beyond a curve, swerving into their lane to avoid an object on the road.” U.S. Department of Transportation at https://www.its.dot.gov/cv_basics/cv_basics_what.htm. “Connected vehicles could dramatically reduce the number of fatalities and serious injuries caused by accidents on our roads and highways. [They] also promise to increase transportation options and reduce travel times. Traffic managers will be able to control the flow of traffic more easily with the advanced communications data available and prevent or lessen developing congestion. This could have a significant impact on the environment by helping to cut fuel consumption and reduce emissions.”
While V2X technology and connected vehicles offer the promise of increased safety, traffic flow, efficiency, etc., the large scale deployment of such technologies also requires addressing some challenges, especially security and privacy concerns. In particular, V2X architectures are expected to (1) ensure that messages exchanged between vehicles are legitimate, banning misbehaving users, while (2) preserving the anonymity of honest users, so their movements cannot be easily tracked by other vehicles or by the system itself.
This section summarizes some features of the invention. Other features may be described in the subsequent sections. The invention is defined by the appended claims, which are incorporated into this section by reference.
Some embodiments of the present invention provide certificate management techniques that reduce the processing and bandwidth costs of the certificate issuance process while providing high security.
This description and the accompanying drawings that illustrate aspects, embodiments, implementations, or applications should not be taken as limiting—the claims define the protected invention. Various mechanical, compositional, structural, electrical, and operational changes may be made without departing from the spirit and scope of this description and the claims. In some instances, well-known circuits, structures, or techniques have not been shown or described in detail as these are known to one skilled in the art. Like numbers in two or more figures represent the same or similar elements.
In this description, specific details are set forth describing some embodiments consistent with the present disclosure. Numerous specific details are set forth in order to provide a thorough understanding of the embodiments. It will be apparent to one skilled in the art, however, that some embodiments may be practiced without some or all of these specific details. The specific embodiments disclosed herein are meant to be illustrative but not limiting. One skilled in the art may realize other elements that, although not specifically described here, are within the scope and the spirit of this disclosure. In addition, to avoid unnecessary repetition, one or more features shown and described in association with one embodiment may be incorporated into other embodiments unless specifically described otherwise or if the one or more features would make an embodiment non-functional.
Memory 150S may be used to store software executed by computing device 100 and/or one or more data structures used during operation of computing device 150. Memory 150S may include one or more types of machine readable media. Some common forms of machine readable media may include floppy disk, flexible disk, hard disk, magnetic tape, any other magnetic medium, CD-ROM, any other optical medium, punch cards, paper tape, any other physical medium with patterns of holes, RAM, PROM, EPROM, EEPROM, FLASH-EPROM, any other memory chip or cartridge, and/or any other medium from which a processor or computer is adapted to read.
Processor 150P and/or memory 150S may be arranged in any suitable physical arrangement. In some embodiments, processor 150P and/or memory 150S may be implemented on a same board, in a same package (e.g., system-in-package), on a same chip (e.g., system-on-chip), and/or the like. In some embodiments, processor 150P and/or memory 150S may include distributed, virtualized, and/or containerized computing resources. Consistent with such embodiments, processor 150P and/or memory 150S may be located in one or more data centers and/or cloud computing facilities. In some examples, memory 150S may include non-transitory, tangible, machine readable media that includes executable code that when run by one or more processors (e.g., processor 150P) may cause the computing device 150, alone or in conjunction with other computing devices in the environment, to perform any of the methods described further herein
Computing device or equipment 150 may include user interface 150i, e.g. such as present in a smartphone, an automotive information device, or of some other type device, for use by pedestrians, vehicle drivers, passengers, traffic managers, and possibly other people.
The vehicle 110V may include or incorporate one or more sensors—such as accelerometers, brake monitors, object detectors, LIDAR, etc.—for sensing conditions within and around vehicles 110V, such as sudden breaking, wheel spin, potential collisions, etc. Using these sensors, the vehicle 110V may, for example, detect the icy road patch at scene 308. The sensors supply information to computing device or equipment 150 (
Different pieces of equipment on the vehicle 110V communicate by exchanging Basic Safety Messages (BSM) and/or other messages with each other and other vehicles. The BSM messages are described in detail in Whyte et al., “A security credential management system for V2V communications,” IEEE Vehicular Networking Conference, 2013, pp. 1-8, and CAMP, “Security credential management system proof-of-concept implementation—EE requirements and specifications supporting SCMS software release 1.1,” Vehicle Safety Communications Consortium, Tech. Rep., May 2016 (available: https://www.its.dot.gov/pilots/pdf/SCMS_POC_EE_Requirements.pdf), both of which are incorporated by reference.
A vehicle or other object 110 can obtain its location, for example, by using GPS satellites 1170 or cellular triangulation. The vehicle 110V may also include communication equipment 150W, which, in some embodiments, can include a Direct Short Range Communications (DSRC) radio and non-DSRC radio equipment such as a mobile phone. The vehicle may thus communicate through a cellular system or road side equipment (RSE) 110RSE directly, i.e., without intermediate network switches. The RSE may act like a gateway to other networks, e.g., the Internet. Using the communication equipment 150W, vehicle 110 can communicate BSM messages and other information to other vehicles, entities, or objects 110 in the V2X or connected vehicle environment. Thus, vehicle 110V/150 may inform the other parts of the environment of the icy patch at scene 308. Likewise, another vehicle 110 may be located in a scene 1020, and may alert other vehicles of winter maintenance operations at that scene.
A traffic management system 110L may comprise equipment—e.g., stoplights, crosswalk lights, etc. located in or near roads, highways, crosswalks, etc.—to manage or control traffic of vehicles, persons, or other objects and entities. Traffic management system 110L may include some of the same or similar equipment as vehicle 110V, including computing devices 150, sensors, user interfaces, communication equipment, etc.
Computer systems 316 process, aggregate, generate, or otherwise operate on information sent to or received from vehicles 110V, traffic management systems 110L, and other objects or entities 110 in the V2X or connected vehicle technology environment, along with their respective computing devices 150. Also shown is a traveler information system 318. Computer systems 316 in can be implemented or incorporate, for example, one or more servers. These computer systems 316, for example, provide or support location and map information, driving instructions, traffic alerts and warnings, information about roadside services (e.g., gas stations, restaurants, hotels, etc.). The computer systems 316 may receive information from the various vehicles, entities, and objects 110 in the environment, process the same, and communicate information or instructions throughout the environment in order to manage the objects, e.g., by adjusting signaling on traffic lights, rerouting traffic, posting alerts or warnings, etc.
This communication capability within the connected vehicle or V2X technology environment is potentially vulnerable to errors and abuse. A malicious user 110 (e.g., a vehicle operator or traffic manager) and/or defective equipment 150 may transmit false or incorrect information to other vehicles, so as to undesirably affect traffic. To protect from such misbehavior, the communications should be authenticated, for example, using a public-key infrastructure (PKI). In PKI, each vehicle 110V or other equipment is provided with a private key (e.g., for signing a message) and a public key (e.g., for signature verification). The public key is distributed to the public, but the private key is kept secret.
Digital certificate 160 has a number of fields or parameters. In some embodiments, these include a certificate ID 161, a user ID 162 (e.g., a vehicle ID number or the user's email address), the vehicle's (or user's) public key 164, and possibly other parameters (called metadata), such as the certificate's validity period 165, an identification of the signature scheme, and maybe others. Certificate 160 also includes a signature 166 formed by a certificate authority (CA) over all the fields of the certificate except the signature itself. The CA may reside on or be implemented in computers 316 for example.
Digital certificate 160 can be issued to a vehicle 110V to authenticate the public key 164. The vehicle 110V attaches its certificate 160 to each message 170 transmitted by the vehicle. The message 170 includes message body or content 171, and a digital signature 172 generated by the vehicle using its private key. The message recipient uses the CA's public key to verify the signature 166 and thus authenticate the certificate 160 including the public key 164. The recipient then uses the public key 164 to verify the message signature 172 and thus authenticate the message. In some embodiments, the verification of the certificate's signature 166 and message signature 172 can also be combined (e.g., for better performance).
If the vehicle misbehaves (maliciously or due to a malfunction), its certificate 160 can be revoked. For example, the CA will not issue a new certificate after the expiration of validity period 165. Validity period 165 can be used by message recipients to detect expired certificates.
A disadvantage of this scheme is potentially compromising user privacy: if a vehicle's transmissions are intercepted, the vehicle can be tracked by tracking the certificate ID 161 or user ID 162 transmitted by the vehicle. To protect user privacy, the user can be issued multiple pseudonym certificates 160p (
The vehicle attaches one of its pseudonym certificates 160p to each message 170 transmitted by the vehicle. The message recipient uses the PCA's public key to verify the PCA signature 167, and uses the pseudonym 164 to verify the message signature 172 and thus authenticate the message 170. In some embodiments, the verification of the certificate's signature 167 and message signature 172 can be combined (e.g., for better performance). Such pseudonym certificates are used in Security Credential Management System (SCMS), originally proposed in Whyte et al., and later extended in CAMP.
In a variation called “implicit certificate” (
When a message recipient needs to verify the message signature 172, the message recipient first reconstructs the user's public key U from the pseudonym 164 (V) and the PCA public key, and then uses the user's public key U to verify the signature. Since this process uses the PCA public key, this process not only authenticates the message 170 as coming from a user possessing the certificate 160p, but also verifies the certificate 160p as authenticated by PCA 210. A separate PCA signature 167 is therefore unnecessary and is omitted, reducing the certificate size. See Certicom.
Security Credential Management System (SCMS) is one of the most prominent among the various pseudonym-based security solutions for V2X. Indeed, SCMS is presently considered one of the leading vehicular public-key infrastructure (VPKI) candidate designs for protecting V2X—vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I)—communications in the United States. SCMS deals with revocable privacy while preventing any given certificate management entity from tracking devices 110/150 by the entity itself, i.e., without colluding with other system entities. By doing so, it copes with security needs of V2X while elegantly addressing a threat model in which the system's entities can be considered “honest-but-curious,” i.e., they follow the correct protocols but may try to track vehicles if this can be done in an undetectable manner, as described in Khodaei et al., “The key to intelligent transportation: Identity and credential management in vehicular communication systems,” IEEE Vehicular Technology Magazine, vol. 10, no. 4, pp. 63-69, Dec 2015, which is incorporated by reference.
For convenience, Table I includes a list of the symbols and general notation adopted in this disclosure for the relevant environment including V2X, connected vehicle, and/or SCMS.
The notation str1∥str2 is used to represent the concatenation of bit strings str1 and str2. The notation enc(key, str) denotes the encryption of a bit string str with key key, which can be done using standard block ciphers such as the Advanced Encryption Standard (AES), as described in more detail in NIST, Federal Information Processing Standard (FIPS 197)—Advanced Encryption Standard (AES), National Institute of Standards and Technology, U.S. Department of Commerce, Gaithersburg, MD, USA, November 2001, available: http://csrc.nist.gov/publications/fips/fips197/fips-197.pdf. Similarly, the notation hash(str) denotes the hash of str, using some standard hash function such as SHA-2 or SHA-3, as described in more detail in NIST, Federal Information Processing Standard (FIPS 180-4)—Secure Hash Standard (SHS), National Institute of Standards and Technology, U.S. Department of Commerce, Gaithersburg, MD, USA, August 2015, DOI:10.6028/NIST.FIPS.180-4, and NIST, Federal Information Processing Standard (FIPS 202)—SHA-3 Standard: Permutation-Based Hash and Extendable-Output Functions, National Institute of Standards and Technology, U.S. Department of Commerce, Gaithersburg, MD, USA, August 2015, DOI: 10.6028/NIST.FIPS.202, both of which are incorporated by reference herein.
The length of a given string str in bytes is denoted |str|. We denote by G the generator point of an elliptic curve group (written additively), denoted as “GE”.
In SCMS, each device (110/150) receives two types of certificates: an enrollment certificate 160, which has a long expiration time T and identifies a valid device in the system; and multiple pseudonym certificates 160p, each having a short validity (e.g., a few days), in such a manner that σ≥1 pseudonym certificates may be valid simultaneously. For protecting its privacy, a particular vehicle may then frequently change the pseudonym certificate employed in the vehicle's communications, thus avoiding tracking by nearby vehicles or by roadside units. In practice, it is useful to limit the value of σ to a small number to avoid “sybil-like” attacks (as described in detail in Douceur, “The Sybil attack,” Proceedings of 1st International Workshop on Peer-to-Peer Systems (IPTPS). Springer, January 2002 (Available: https://www.microsoft.com/en-us/research/publication/the-sybil-attack/), which is incorporated by reference), in which one vehicle poses as a platoon aiming to gain some advantage over the system (see Moalla et al., “Risk analysis study of ITS communication architecture,” 3rd International Conference and The Network of the Future, 2012, pp. 2036-2040, which is incorporated by reference). For example, such a fake platoon could end up receiving preferential treatment from traffic lights programmed to give higher priority to congested roads.
In SCMS, a Registration Authority (RA) 220 provides batches of pseudonym certificates 160p to authorized vehicles or objects 110/150. A batch is generated from a single request received from a vehicle, in the butterfly key expansion process. RA 220 validates the vehicle requests by the vehicles' enrollment certificates 160. In addition to an enrollment certificate, each request includes some public keys (other than 164) generated by the vehicle for the pseudonym certificate provisioning process. These public keys are labeled as 710 in
Linkage Authority (LA) 230, or rather linkage authorities LA1 and LA2—also labeled as 230.1 and 230.2—generate random-like bitstrings that are combined to create a linkage value (lv 234 in
Misbehavior Authority (MA) 250 obtains a misbehaving device's certificate 160p and uses the certificate's lv 234 and data obtained from the RA and PCA to revoke all of the same device's certificates 160p.
In some embodiments, each of RA 220, PCA 210, LAs 230, and MA 250 can be implemented with or incorporate one or more computing devices (e.g., computing device 150 or computer systems 316).
The pseudonym certification provisioning process in SMCS provides an efficient mechanism for devices 110 to obtain arbitrarily large batches of (short-lived) certificates 160p with a small-sized request message. The process is illustrated in
The private keys s and e should be random. The keys are generated using elliptic curve cryptography. The keys (s,S) relate to generation of pseudonyms 164 (
At step 810, the device 110 requests the RA to generate some predefined number β of pseudonym certificates 160p. The request sent to the RA includes the public caterpillar keys S and E, shown at 710. In addition to keys 710, the request includes data defining two suitable pseudorandom functions (PRF) 714, denoted ƒs and ƒe. (In some embodiments, the function-defining data may be the seeds of these functions; the functions' outputs can be computed from the seeds. Alternatively, while less efficient, the function-defining data may include the entire description of the PRFs, including the description of the computational algorithms for the PRFs.)
The RA may receive such requests from different devices 110, and generates β pseudonym certificates 160p for each device as follows. For each request, the corresponding keys S and E are employed by the RA, at step 814, for generating public cocoon keys 718. Specifically, at step 814, the key S is used in the generation of β public cocoon signature keys:
for all i such that 0≤i<β. Similarly, at the same step 14, the RA uses the key E for generating β public cocoon encryption keys:
Pairs of cocoon keys 718, i.e. (Ŝi, Êi), from different devices 110 are then shuffled together by RA 220 (step 818) and sent individually or in batch to PCA 210 for the generation of the corresponding pseudonym certificates 160p. Each pair of cocoon keys is accompanied by the corresponding metadata, such as validity period 165 and data required for computation of linkage value (lv) 234; see
For each pair of cocoon keys (Ŝi, Êi), the PCA can either create an explicit pseudonym certificate 160p (
For the explicit process (
At step 826, the PCA forms the certificate 160p, also shown as certi, by: (1) combining Uiwith the metadata, e.g. the certificate's validity period 165 and the linkage value (lv) 234; and (2) digitally signing the combination to form the signature 167 (
The PCA then encrypts the certificate 160p together with the value of ri, using the corresponding cocoon key Êi (step 830). The encrypted package (certificate 160p and value ri) is signed again by the PCA (step 834) using the PCA's private signature key. The signature is shown at 730.
The result, i.e. the encrypted and signed package, is sent to the RA (step 900). The RA forwards the result to the requesting device 110.
Only the requesting device 110 can decrypt the value:
(see step 834) because only the requesting device 110 knows the private key corresponding to the cocoon key Êi. This private key is given by the following equation (Eq. 2):
Therefore, only the device 110 can learn the pseudonym Ui (as part of certificate 160p) and compute the corresponding private signature key:
The device 110 can also verify the signature keys ui, Ui by checking that:
Device 110 also verifies the PCA signature 730 to prevent the Man-in-the-Middle attack by the RA as described below.
For implicit certificates 160p, this process is as follows (see
Then at step 826, the PCA creates the implicit certificate 160p, also denoted certi, as: i.e.
where “meta” is the metadata (including validity period 165 etc.).
Also at step 826, the PCA signs this certificate to obtain the signature sigi as follows:
where hi=Hash(certi), and uPCA is the PCA's private signature key.
The remaining steps of the certificate generation are similar to
The device 110 verifies the PCA signature 730, decrypts the package certi∥sigi, and computes:
Device 110 then sets its own private signature key to:
whereas the corresponding public signature key takes the form:
The device 110 can then verify the validity of the public key Ui by ascertaining that
where UPCA is the PCA's public signature key corresponding to uPCA.
Whichever certificate model is adopted, at step 834 of
Independently of the type of certificate adopted (explicit or implicit), the user's privacy is protected in this process as long as the RA and PCA do not collude. After all, the shuffling of public cocoon keys performed by the RA (step 818) prevents the PCA from learning whether or not any keys 718 belong to a same device. Unlinkability of public keys Ui (
Albeit quite efficient, especially from the perspective of devices 110, this process can be further optimized. Specifically, in some embodiments, the original SMCS certificate provisioning protocol is improved in terms of processing costs and bandwidth usage as further discussed herein.
In
According to some embodiments of the present invention, the generation and usage of the caterpillar keys can be done in a unified manner, leading to better efficiency without loss of security or functionality.
One embodiment of the present invention is depicted in
At step 810, the device 110 requests the RA to generate some predefined number β of pseudonym certificates 160p. The device request sent by the device to the RA includes a unique ID (“device request ID”), a unique device ID, the public unified caterpillar key X, and data defining a suitable pseudorandom function (PRF) 714, shown simply as ƒ. The function ƒ can be the same as ƒs or ƒe in SCMS. A copy of each device request is stored by the device in its memory.
At step 814, the RA generates β public unified cocoon signature keys for each device (similarly to SCMS):
At step 818, the RA shuffles these cocoon keys for different devices, and for each cocoon key {circumflex over (X)}i the RA sends a (“RA request”) for a pseudonym certificate 160p to PCA 210. The RA requests from different devices 110 can be sent to the PCA in batch, but this is not necessary.
For each RA request, the RA generates a unique request ID (“RA request ID”), and creates a data structure (“RA request data structure”) containing the RA request ID, the cocoon key index i (see equation (Eq. 11)), and the associated device request. The RA request ID is provided to the PCA with the request. The device ID is not provided to the PCA, so the PCA cannot associate the request with the device. Also, the PCA cannot determine whether different requests are associated with the same or different devices.
For each cocoon key {circumflex over (X)}i, the PCA can either create an explicit or implicit pseudonym certificate 160p.
For the explicit certificates, at step 822, the PCA generates a random value ri, and generates the certificate's public signature key (pseudonym) 164 as a randomized function of cocoon key {circumflex over (X)}i, i.e. as a function of {circumflex over (X)}i and ri. For example, either one of the following equations (Eq. 12), (Eq. 12′) can be used:
Also (step 824), the PCA generates a public cocoon encryption key Êi. In some embodiments, Êi is set equal to {circumflex over (X)}i, i.e.
Other expressions for Êi can also be used. For example:
The remaining steps may or may not be similar to
At step 830, the PCA encrypts the package which includes (possibly consists of) the certificate 160p and the value of ri. The encryption uses the corresponding cocoon key Êi. An exemplary encryption scheme is ECIES; see IEEE, IEEE Standard Specifications for Public-Key Cryptography—Amendment 1: Additional Techniques, IEEE Computer Society, 2004, incorporated herein by reference. Other encryption schemes can also be used.
The result, i.e. the encrypted package, is sent to the RA (step 900), together with the RA request ID received by the PCA at step 818. As noted above, signature 730 is omitted. The RA cannot decrypt the package.
The RA “un-shuffles” the data received from the PCA. To perform this operation, the RA matches the RA request ID accompanying each encrypted package with the RA request ID stored in the RA's memory (step 818). The RA forwards to each device 110 the encrypted package for that device (step 910). With each encrypted package, the RA sends to the device the corresponding i value defining the associated cocoon key; see equation (Eq. 11). The RA obtains the i value from the device request associated with the RA request.
At step 914, for each certificate 160p, the associated device 110 computes the decryption key êi corresponding to the encryption (cocoon) key Êi. If Êi was set to equal {circumflex over (X)}i (equation (Eq. 13), then:
In case of equation (Eq. 13′):
using the same hash function “hash” as was used in equation (Eq. 13′).
The device 110 uses the decryption key êi to decrypt the package, and thus recovers the certificate 160p and the corresponding ri. This decryption key works because, in case of equations (Eq. 13), (Eq. 14), the encryption public key is:
In case of equations (Eq. 13′), (Eq. 14′), the decryption works because the encryption public key is:
At step 918, the device verifies the PCA signature 167 using the PCA's public signature key UPCA.
At step 922, the device computes its private signature key ui corresponding to Ui. If Ui was computed as in equation (Eq. 12), then the private signature key is created as:
If equation (Eq. 12′) was used, then the private signature key is created as:
See (Eq. 12). At step 924, the device verifies that
If any of the above checks or verifications fails, the device may reject the certificate 160p and/or all the certificates in the batch. The device may also inform pertinent authorities (e.g. misbehaving authority 250) about the error in order to trigger maintenance and/or security operations on malfunctioning or dishonest RA or PCA.
Security Analysis: While this process does not include the signature 730 computation, this process still prevents Man-in-the-Middle attacks by the RA. The reason is that the PCA computes the encryption key Êi from {circumflex over (X)}i (step 824, equation (Eq. 13) or (Eq. 13′)) in such a manner that any manipulation by the RA is detectable by the device when validating the public key Ui (steps 922, 924). More particularly, suppose for example that the PCA uses the equation (Eq. 13), and a malicious RA replaces the correct value of {circumflex over (X)}i by
for an arbitrary value of . In this case, at step 830, the PCA will encrypt the certificate with Êi={circumflex over (X)}i* (step 824, equation (Eq. 13)) allowing the RA to decrypt the PCA's response by means of the decryption key êi*=z, thus learning the device's final public key Ui* (created at step 822). However, if the RA modifies the certificate 160p, and in particular the pseudonym Ui*, because the RA cannot forge the PCA signature 167 if the certificate is modified, and the device would detect the incorrect signature 167 at step 918. Therefore, before re-encrypting the certificate, the RA would have to find a value ri* that matches Ui*. For example, in case of equation (Eq. 12), the value ri* would have to satisfy:
so ri* can replace the original ri provided by the PCA in the RA-to-device response. Otherwise, the device would notice, at step 924, that the provided value of ri* does not satisfy Eq. 16, i.e., that
This verification would fail and the corresponding key would be identified as invalid by the device, frustrating the attack. Unfortunately for the malicious RA, this means that ri* must be set to:
which is equivalent to solving the elliptic curve discrete logarithm problem (ECDLP) for the point (Ui*−{circumflex over (X)}i). Actually, since ƒ(i) is known to the RA, can be freely chosen by it, and ri is learned due to the attack, this problem can be reduced to finding x given the value of X provided by the vehicle, which is still an ECDLP instance. Hence, assuming the computational hardness of the ECDLP, the attack itself becomes computationally unfeasible for cryptographically secure elliptic curves.
Note that the RA might prefer to satisfy equation (Eq. 18) by manipulating Ui* instead of (or in addition to) trying to find a valid ri* but that is not possible in the proposed scheme: after all, Ui* is signed by the PCA, so any violation of its integrity would be detectable by the end devices.
Performance Analysis: Besides preserving SCMS's security properties, this unified butterfly key expansion leads to a reduced overhead when compared to the original process:
To give some concrete numbers,
The invention is not limited to the embodiments of
At step 824, the PCA generates a public cocoon encryption key Êi, possibly using the same process as for the explicit certificates, e.g. according to equation (Eq. 13) or (Eq. 13′).
At step 826, the PCA creates the implicit certificate 160p, also denoted certi, as: i.e.
where “meta” is the metadata (including validity period 165 etc.).
Also at step 826, the PCA signs this certificate to obtain the signature sigi as follows:
where hi=Hash(certi).
At step 830, the PCA encrypts a package which includes (possibly consists of) the certificate 160p and the signature sigi. The encryption uses the corresponding cocoon key Êi. An exemplary encryption scheme is ECIES, but other schemes can also be used.
At steps 900 and 910, the encrypted package is sent to the requesting device 110 via the RA 220, possibly without being signed by the PCA (signature 730 is omitted), using the same process and data structures (including RA request data structures) as in
At step 914, the device 110 receives the encrypted package and the corresponding value i, computes the private key êi as in equation (Eq. 14) or (Eq. 14′), uses this key to decrypt the PCA's response package certi∥sigi, and then computes:
At step 922, the device sets its own private signature key to:
and computes the corresponding public signature key at step 923 as:
The device 110 can then verify the validity of the public key Ui by ascertaining, at step 924, that
where UPCA is the PCA's public signature key.
In the last column, “Ver” denotes signature verification performed by device 110;
Up and up are respectively the PCA's public and private keys.
Other features of some embodiments of the invention are described in Marcos A. Simplicio Jr. et. al., “The Unified Butterfly Effect: Efficient Security Credential Management System for Vehicular Communications”, 2018, Cryptology ePrint Archive: Report 2018/089, https://eprint.iacr.org/2018/089.pdf, incorporated herein by reference.
The overall security of the proposed scheme builds upon the same principles as the original SCMS butterfly key expansion. Namely, generation and usage of the caterpillar and cocoon signature keys are by PCA and RA is the same as in SCMS. Therefore, the security arguments for SCMS, which rely basically on the fact that the device's private caterpillar key x (s or e) is protected by the elliptic curve discrete logarithm problem (ECDLP, given in Definition 1 below) during the whole execution of the protocol, remain valid. Hence, neither the RA nor the PCA is able to recover the signature or decryption private keys, derived from the caterpillar key, even if the RA and PCA collude. Unlinkability among certificates is similarly preserved, as long as the RA and PCA do not collude: the shuffling done by the RA (step 818) still hides from the PCA any relationship between certificate requests (RA requests) intended for the same vehicle 110; meanwhile, the PCA's encrypted response prevents anyone but the owner 110 of the decryption key from learning certi.
Definition 1. Elliptic Curve Discrete Logarithm Problem (ECDLP). Let E be an elliptic curve over a finite field K. Suppose there are points P, Q in E(K) given such that Q is in <P> (i.e. the smallest subgroup containing P). Determine k such that Q=k·P. (See Kristin E. Lauter and Katherine E. Stange, “The elliptic curve discrete logarithm problem and equivalent hard problems for elliptic divisibility sequences”, International Workshop on Selected Areas in Cryptography, pages 309-327, Springer, 2008, incorporated herein by reference.)
The unified key approach introduces two changes to SCMS: (1) it modifies the manner by which the cocoon encryption key is computed, and (2) it eliminates the PCA's signature 730 on the encrypted package. The first modification could affect the confidentiality of the communication, thus allowing the RA to learn certi. Meanwhile, since the final signature made by the PCA on its response is aimed at ensuring the system's security against MitM attacks by the RA, the second modification could result in vulnerabilities on that aspect. However, in what follows we show that the unified key approach still protects the pseudonym certificates' contents and prevents MitM attacks, assuming the hardness of the ECDLP. More precisely, we show that the problem of decrypting the PCA's response encrypted with {circumflex over (X)}i can be reduced to an instance of ECDLP.
The same computational hardness applies to MitM attacks, for which we show that the PCA's response is handled in such a manner that any manipulation by the RA is detectable by the device when validating the public key Ui, either explicitly or implicitly.
In SCMS, the goal of encrypting the response package with a public encryption key Ê is to prevent the RA from learning its contents. This is accomplished simply by using Ê for which the corresponding private key ê remains unknown to the RA. The unified approach proposed then builds upon the observation that both the encryption ê and signature ŝ private keys need to remain protected in SCMS, which can still be done if they are combined into a single piece of information. Indeed, the security of using {circumflex over (X)}i (i.e. Ŝi or Êi) directly as encryption key can be seen from the following Theorem 1.
Theorem 1. Security of the unified butterfly key expansion against eavesdropping by RA: Suppose that the RA follows a honest-but-curious security model, sending the correct {circumflex over (X)}i=X+ƒ(i). G to the PCA. In that case, the RA is unable to recover the contents of the PCA's encrypted response pkg in polynomial time unless it is able to solve an instance of the elliptic curve discrete logarithm problem (ECDLP) in polynomial time.
Proof. The proof is straightforward: if the encryption is performed with a secure algorithm, there should be no polynomial-time algorithm that allows decryption without knowledge of {circumflex over (x)}, nor a polynomial-time algorithm that allows the recovery of this key from pkg. Hence, violating the confidentiality of the scheme requires the recovery of {circumflex over (x)} from either X or {circumflex over (X)}i After all, besides pkg itself, these are the only pieces of information possessed by the RA that carry some relationship with the decryption key {circumflex over (x)}. However, since {circumflex over (X)}i=X+ƒ(i). G, where ƒ(i) is known by the RA, this task is equivalent to finding x from X, i.e., to solving the ECDLP for X.
Security against MitM Attacks by RAs in the Implicit Model
The security result obtained immediately above assumes that the RA follows the unified key expansion protocol, providing the correct {circumflex over (X)}i to the PCA. However, the RA might prefer to replace this key with {circumflex over (X)}i*=·G, for an arbitrary value of z. In this case, the confidentiality of the process would be lost, because the PCA would encrypt pkg with {circumflex over (X)}i* and the result would be decrypted by the RA using the corresponding private key . Therefore, we need to also consider the security of this Man-in-the-Middle scenario, which is complementary to the “honest-but-curious” scenario previously assumed. We impose no constraint on the (mis)behavior of the RA, letting it freely choose {circumflex over (X)}i* as long as the choice: (1) leads to some advantage to the RA, in particular the ability to violate the confidentiality or integrity of pkg; and (2) the misbehavior is not detected by vehicles 110, so the vehicles believe it is safe to use the corresponding certificates. With this scenario in mind, we can formulate Theorem 2.
Theorem 2. Security of the unified butterfly key expansion against MitM attacks in the implicit model: Suppose that the RA replaces {circumflex over (X)}i by an arbitrary {circumflex over (X)}i* in the request for implicit certificates sent to the PCA. Assuming the hardness of the ECDLP in the random oracle model, the RA cannot violate the integrity or confidentiality of the PCA's response pkg without the requesting vehicle's knowledge.
Proof. We start by noticing that the integrity of pkg's contents is protected despite the lack of the PCA signature over it. Indeed, even if the RA is somehow able to violate the confidentiality of pkg, it would only be able to obtain the (signed) implicit certificate certi. However, certi is not treated as confidential in the implicit certification model (Certicom, Section 3.4), and yet such model ensures the integrity of cert; in the random oracle model assuming the hardness of the ECDLP. Therefore, the implicit certification itself already ensures that any modification of certi, either directly (i.e., after decrypting pkg) or indirectly (i.e., by modifying only the ciphertext), would be detectable by vehicles.
Proving the confidentiality of the unified key expansion, however, requires some more effort because we cannot rely so directly on the security properties of implicit certificates. Once again, we follow the reductionist approach, showing that violating the confidentiality of pkg requires the resolution of an instance of the ECDLP.
Suppose that the malicious RA replaces the correct value of {circumflex over (X)}i by {circumflex over (X)}i*=·G, for an arbitrary value of . This assumption comes without loss of generality, since in principle we do not impose any restriction on the actual value of chosen by the RA. Upon reception of the RA's request, the PCA ends up encrypting the implicit certificate certi with {circumflex over (X)}i*, since it is unable to detect such misbehavior. As a result, the RA can decrypt the PCA's response using as the decryption key, thus violating the confidentiality of the system. This attack would allow the RA to learn the vehicle's implicit certificate certi*=(Vi*,meta), where Vi*={circumflex over (X)}i*+ri*·G, as well as its corresponding signature sigi*=hi*·ri+UPCA, where hi*=Hash(certi*).
However, this misbehavior by the RA can be detected by the vehicle because, for any ≠x+ƒ(i), the resulting sigi* would not be a valid signature for the actual {circumflex over (X)}i expected by the vehicle. More precisely, after the vehicle computes Ui=ui·G for ui=hi*·(x+ƒ(i))+sigi*, the implicit verification Uihi*·Vi*+UPCA fails, unless =x+ƒ(i):
Therefore, to be able to bypass the vehicle's verification, the RA cannot just choose any . Instead, it is obliged to make =x+ƒ(i). Even though ƒ(i) is known by the RA, finding the value of x that allows the computation of with this characteristic is equivalent to solving the ECDLP for X.
Security against MitM Attacks by RAs in the Explicit Model
The security arguments for explicit certificates are similar to those presented in the immediately preceding section for the implicit model, as summarized in Theorem 3.
Theorem 3. Security of the unified butterfly key expansion against MitM attacks in the implicit model: Suppose that the RA replaces {circumflex over (X)}i by an arbitrary {circumflex over (X)}i* in the request for explicit certificates sent to the PCA. Assuming the hardness of the ECDLP, the RA cannot violate the integrity or confidentiality of the PCA's response pkg without the requesting vehicle's knowledge.
Proof. Once again, it is easy to show that the explicit certificate cert; enclosed in the PCA's encrypted response, pkg, cannot be modified while avoiding detection by vehicles. After all, the certi is itself digitally signed by the PCA, so any modification would invalidate the signature assuming that a secure algorithm was employed for its computation. Therefore, even if the confidentiality of pkg is somehow violated by the RA, that might allow the (unsigned) value of ri to be modified, but not the modification of the (signed) certi. Indirectly, however, the non-malleability of certi also ensures that a possible modification of ri would be detectable by the vehicle. The reason is that the value of Ui obtained from certi is verified by the vehicle when it computes ui=ri+x+ƒ(i) and then checks if ui·GUi. Since x and ƒ(i) are known by the vehicle (i.e., cannot be manipulated by the RA), and Ui is fixed in the certificate, turning ri into ri*≠ri would lead to ui*=ri+x+ƒ(i)≠ui and hence to ui*·G≠Ui. Therefore, none of the pkg's contents can be modified without detection by the vehicle.
The final verification performed by the vehicle also ensures the confidentiality of the unified key expansion, assuming the hardness of the ECDLP to which this problem can be reduced. To prove this, we once again suppose without loss of generality that the malicious RA replaces {circumflex over (X)}i by {circumflex over (X)}i*=·G, for an arbitrarily chosen value of . In this case, the RA uses to decrypt the PCA's response and then learns: (1) the device's final public key Ui*=ri·G+{circumflex over (X)}i* enclosed in the certificate; and (2) the value of ri itself.
To avoid detection, the RA would then have to re-encrypt the PCA's response in such a manner that the vehicle does not notice that {circumflex over (X)}i was not used in the computation of the received Ui*. Accomplishing this requires replacing the original ri by some ri * that passes the verification process performed at the vehicle, i.e., that satisfies (ri*+x+ƒ(i))·G=Ui*. Otherwise, the vehicle that performs this final verification would identify the received Ui* as invalid, frustrating the attack. Unfortunately for the RA, however, this means that ri* must be set to (ri+)−(x+ƒ(i)), meaning that finding such ri * is equivalent to solving the ECDLP for the point (Ui*−{circumflex over (X)}i). Equivalently, since ƒ(i) is known by the RA, can be freely chosen by it, and ri is learned due to the attack, this problem can be reduced to finding x given the value of X provided by the vehicle. Nevertheless, this is still an ECDLP instance, which concludes the proof.
As an additional remark, the original SCMS design proposes the adoption of two caterpillar keys most likely because it is considered a good practice to avoid using the same (or even correlated) public/private key pair for encryption and signature. The main reason for this recommendation is that possible vulnerabilities (e.g., implementation errors) found in one process may leak the key for the other. See Jean-Sébastien Coron, Marc Joye, David Naccache, and Pascal Paillier, “Universal padding schemes for RSA”, In Proceedings of the 22Nd Annual International Cryptology Conference on Advances in Cryptology, CRYPTO '02, pages 226-241, London, UK, 2002, Springer-Verlag, incorporated herein by reference. Hence, if an attacker can somehow interact with a vehicle in such a manner that (1) the vehicle works as an oracle for one process, and then (2) recover the private key thereby employed, then (3) that would also give away the private key for the other process.
At first sight, it may seem that the strategy hereby described violates this general rule by creating a key {circumflex over (X)}i that is used both for encryption (by the PCA) and for generating digital signature (by the vehicles). However, this is not the case in the proposed scheme. The reason is that the private key {circumflex over (x)}icorresponding to {circumflex over (X)}i is actually never used for signing any piece of data. Instead, vehicles use ui={circumflex over (x)}i+ri as signature keys in the explicit model, and hi·{circumflex over (x)}i+sigi in the implicit model, where ri and sigi are secret values known only by the vehicle and the PCA. As long as ri≠0 (for explicit certificates) and sigi≠0 (for implicit ones), any predictable correlation between the encryption and the signature processes is eliminated from the perspective of all entities (as expected from randomly-generated keys), except for the PCA itself. Interestingly, this approach follows the same line of thought behind the butterfly key expansion process that is the basis for SCMS: different signature cocoon keys are generated from the same secret information (the caterpillar key), but this correlation is known only by the vehicle and a system entity (in this case, the RA). Therefore, the proposed modification can be seen as a natural development of the original SCMS protocol.
Finally, as an exercise, it is useful to consider which kind of implementation flaw would be necessary to jeopardize the resulting system's security. We start by noticing that, even if the signature key ui is somehow compromised, recovering îi as a result of this flaw would only be feasible by the PCA, since it would still be the only entity with knowledge of the ri or sigi associated to the compromised Ui. However, the PCA would gain nothing by doing so, because it already knows the plaintext protected with the ({circumflex over (X)}i, {circumflex over (x)}i) key pair: after all, the PCA is the one who encrypted that plaintext in the first place. Hence, the only implementation issue that might lead to a useful attack against the UBK process refers to the compromise of the encryption key {circumflex over (x)}i. Such attack would require capturing the PCA's response carrying ri and sigi, so the signature key ui can be recovered and messages can be forged with it. Once again, however, this is only feasible by an RA or PCA, but not by external entities. The reason is that in SCMS the PCA-RA and RA-vehicle communications are always protected using secure (e.g., TLS-based) channels, so RA and PCA are the only entities (besides the vehicle itself) with access to the PCA's response. The RA and the PCA, on the other hand, would not gain much (if anything) by engaging in such attacks, since they could by themselves (even without colluding) create valid certificates and sign the corresponding messages.
Besides preserving SCMS's security properties, this unified butterfly key expansion leads to a reduced overhead when compared to the original process:
To give some concrete numbers, the table in
The bandwidth costs are measured in bytes, ignoring eventual metadata not strictly related to the butterfly key expansion process (e.g., pre-linkage values, time period to which the certificate should be associated, etc.). The processing costs are measured in cycles, using the RELIC cryptography library version 0.4.1 (see Aranha et al.) running on an Intel i5 4570 processor. For completeness, we consider two different settings for ECDSA when measuring the processing costs of the batch verification by vehicles: a standard implementation, in which the verification process takes basically one fixed-point EC multiplication by the generator G and one random-point multiplication by the PCA's signature key U; and an optimized implementation, in which U is also considered a fixed point. More precisely, RELIC relies on pre-computation for fixed-point EC multiplications, using the fixed comb method with w=8. For the random-point multiplication, RELIC is set to use the Montgomery ladder method, thus providing an isochronous operation. As a result, fixed-point multiplications end up being approximately 8 times faster than their random-point counterparts. In practice, the adoption of this optimized version is interesting because multiplications by U are expected to be performed multiple times per batch, so the underlying pre-computation costs can be amortized. Nevertheless, real-world deployments may involve multiple values of U per batch, e.g., because the RA's policy dictates that different PCAs are contacted so the revocation of one PCA does not invalidate the entire batch, or for improved privacy. In this latter case, the standard implementation may be preferred over the one that turns U into a fixed point.
As shown in
Concluding remarks. Data authentication and user privacy are essential for preventing abuse in intelligent transportation systems, either by drivers or by the system itself. This is, however, a challenging task, in particular because any acceptable solution needs to cope with constraints on the vehicle's side such as limited connectivity and processing power. Fortunately, SCMS's pseudonym certificates provisioning and revocation processes are able to address such requirements while also taking into account performance and scalability issues.
This process can be optimized. Namely, some embodiments of the present invention provide a novel, unified butterfly key expansion in which two vehicle-provided keys are replaced by a single one. Besides eliminating the need of including such extra key in the vehicle's requests, this approach also removes one signature from each pseudonym certificate generated in response (and, hence, the corresponding costs for their creation, transmission and verification). As a result, when compared to SCMS's pseudonym certificate provisioning protocol, we are able to obtain processing and bandwidth savings (both downstream and upstream) that reach as high as 50%. This is especially relevant when considering that the number of certificates provisioned per vehicle is expected to range from a few thousands (see Whyte et al.) to tens of thousands (see Virendra Kumar, Jonathan Petit, and William Whyte, “Binary hash tree based certificate access management for connected vehicles”, In Proc. of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec'17, pages 145-155, New York, NY, USA, 2017, ACM, incorporated herein by reference). In addition, these gains are more noticeable at the vehicles' side, which are exactly the most resource-constrained entities in the system. Finally, the proposed schemes works for either implicit or explicit certificates, while still preserving the system's security, flexibility and scalability in both cases.
An advantage of some embodiments is their efficient approach for issuing multiple pseudonym certificates from a small piece of information, avoiding inefficiencies identified in the state-of the-art. In particular, bandwidth and computational savings are provided when compared to the original “butterfly key expansion” process adopted in SCMS.
In some embodiments, the pseudo-random functions ƒ, ƒs, ƒe can be as in SCMS. In particular (see Whyte et al. and CAMP), given a pair or integers (i=(i,j)), such a function ƒ=ƒk(i) can be defined as in NIST curve NISTp256 (National Institute of Standards and Technology. (1999, July) Recommended elliptic curves for federal government use. Available: http://csrc.nist.gov/groups/ST/toolkit/documents/dss/NISTReCur.doc), incorporated herein by reference), and more particularly:
where:
The expansion function for encryption keys is also defined as above except x is derived as: x=132∥i∥j∥032.
In the above definition, AES is used in the Davies-Meyer mode, as fk does not need to be invertible. The Davies-Meyer mode is described in “______. TS 102 867 v1.1.1, Intelligent Transportation Systems (ITS); Security; Stage 3 mapping for IEEE 1609.2”, incorporated herein by reference.
Also, AES is applied 3 times to ensure that the outputs of fk are uniformly distributed with negligible biases, if any.
In the butterfly key expansion process, one of the two integers (i,j) can be held to a predefined constant value while the other integer varies from 0 to β.
Other pseudo-random functions can also be used. A pseudo-random function (PRF) is such that no efficient algorithm can distinguish (with significant advantage) between a function chosen randomly from the PRF family and a random oracle (a function whose outputs are fixed completely at random). Non-pseudo-random functions can also be used.
The invention is not limited to any particular algebraic group. Any group considered secure would be appropriate. Some embodiments use the same elliptic curve groups as SCMS. NIST-approved elliptic curves are appropriate. They are described at: https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.186-4.pdf.
The methods according to the invention are not limited to a particular order of steps. For example, in
In addition to the methods, the invention includes computing and communication entities configured to perform any part or whole of any method of the invention, and parts of such entities. For example, an entity can be as in
The invention is not limited to a specific type of computer systems implementing the PCA, the RA, and other pieces. The devices 110 are not limited to vehicle-installed devices.
The invention includes operations by entities operable to perform computing on digital values and to communicate with each other. An entity can be an RA or PCA or MA for example. Each entity can be implemented by separate equipment, e.g., a computer, such as shown in
Although illustrative embodiments have been shown and described, a wide range of modifications, changes and substitutions are contemplated in the foregoing disclosure and in some instances, some features of the embodiments may be employed without a corresponding use of other features. One of ordinary skill in the art would recognize many variations, alternatives, and modifications. Thus, the scope of the present application should be limited only by the following claims, and it is appropriate that the claims be construed broadly and in a manner consistent with the scope of the embodiments disclosed herein.
The present application is continuation of U.S. patent application Ser. No. 18/420, 652, filed on Jan. 23, 2024, which is a continuation of U.S. patent application Ser. No. 17/245,647, filed on Apr. 30, 2021, which is a continuation of U.S. patent application Ser. No. 16/702,356, filed on Dec. 3, 2019 and issued as U.S. Pat. No. 11,018,877 on May 25, 2021, which is a continuation of U.S. patent application Ser. No. 16/165,871, filed on Oct. 19, 2018 and issued as U.S. Pat. No. 10,536,279 on Jan. 14, 2020, which claims priority to U.S. Provisional Patent Application No. 62/575,514, filed on Oct. 22, 2017, all of which is incorporated herein by reference.
Number | Date | Country | |
---|---|---|---|
62575514 | Oct 2017 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 18420652 | Jan 2024 | US |
Child | 18652087 | US | |
Parent | 17245647 | Apr 2021 | US |
Child | 18420652 | US | |
Parent | 16702356 | Dec 2019 | US |
Child | 17245647 | US | |
Parent | 16165871 | Oct 2018 | US |
Child | 16702356 | US |