CRYPTOGRAPHIC METHODS AND SYSTEMS FOR MANAGING DIGITAL CERTIFICATES

Information

  • Patent Application
  • 20240283663
  • Publication Number
    20240283663
  • Date Filed
    May 01, 2024
    7 months ago
  • Date Published
    August 22, 2024
    4 months ago
Abstract
Digital certificates are generated for devices by a Certificate Authority (CA), which communicates with devices via another entity—registration authority (RA)—so that the CA and RA cannot associate certificates with devices. Each certificate is associated with a public signature key, and with a public encryption key used by CA to encrypt the certificate to hide it from the RA. Both keys are derived by CA from a single key. For example, the signature key can be derived from the public encryption key rather than generated independently. However, high security is obtained even when the CA does not sign the encrypted certificate. Reduced bandwidth and computational costs are obtained as a result. Other embodiments are also provided.
Description
COPYRIGHT NOTICE

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.


BACKGROUND OF THE INVENTION

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.


SUMMARY

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.





BRIEF DESCRIPTION OF THE DRAWINGS


FIG. 1 illustrates an environment in which systems and methods of the present disclosure can operate.



FIG. 2 is a block diagram of a computing device for use in the example environment.



FIG. 3 is a representation of communications among vehicles and other equipment in the example environment.



FIGS. 4, 5A, and 5B illustrate examples of digital certificates for message authentication.



FIG. 6 is a block diagram illustrating computer system architecture suitable for digital certificate management.



FIGS. 7 and 8 are flowcharts that illustrate prior art processes for generating digital certificates.



FIGS. 9A and 9B are flowcharts that illustrate processes used in some embodiments of the present invention to generate digital certificates.



FIG. 10 is a table showing estimated costs of some embodiments of the present invention relative to prior art.



FIGS. 11A and 11B are flowcharts that illustrate processes used in some embodiments of the present invention to generate digital certificates.



FIGS. 12 and 13 are comparison tables showing methods for digital certificate generation according to prior art and to some embodiments of the present invention.





DETAILED DESCRIPTION OF SOME EMBODIMENTS

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.


Example Environment


FIG. 1 illustrates an environment in which systems and methods of the present disclosure can operate. FIG. 1 shows a busy intersection with various entities or objects, such as vehicles 110V (cars, trucks, and possibly other types, e.g. trains or bicycles), pedestrians 110P, roadside equipment 110L (e.g., traffic lights, along with hub or gateway for short and longer-range communications). Each of objects or entities 110 (110V, 110L, 110P, etc.) carries or incorporates equipment, such as smartphones, automotive information devices, or other computing devices. Using their respective computing devices, the objects or entities 110 communicate (e.g., wirelessly) to share information, coordinate, etc. Each vehicle 110V may, for example, broadcast its location, speed, acceleration, route, direction, weather information, etc. Such broadcasts can be used to obtain advance information on traffic jams, accidents, slippery road conditions, and allow each vehicle to know where the other vehicles are, and so on. In response, vehicle recipients of such information may alert their drivers, to advise the drivers to stop, slow down, change routes, take a detour, and so on. The traffic lights can be automatically adjusted based on the traffic conditions broadcast by the vehicles and/or other objects 110.



FIG. 2 illustrates an embodiment of a computing device 150 used by the vehicles or other entities and objects, e.g., for communicating, coordinating, etc. in the environment of FIG. 1. As shown in FIG. 2, computing device 150 includes one or more computer processors 150P coupled to computer storage (memory) 150S, and wireless communication equipment 150W for radio communications. Operation of computing device 150 is controlled by processor 150P, which may be implemented as one or more central processing units, multi-core processors, microprocessors, microcontrollers, digital signal processors, field programmable gate arrays (FPGAs), application specific integrated circuits (ASICs), graphics processing units (GPUs), tensor processing units (TPUs), and/or the like in computing device 150P.


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.



FIG. 3 illustrates examples of communication schemes for entities or objects 110 or their computing devices 150 (“object 110”, “user 110”, and “equipment 150” may be used interchangeably herein when no confusion arises), interacting via V2X or connected vehicle technology. At a scene 308, a vehicle 110V encounters an icy road patch.


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 (FIG. 2) so that it can take action according, e.g., by automatically applying brakes, adjusting steering, and/or notifying the user via a display 150i in case the user needs to react. The computing device 150 may comprise an on-board diagnostics module 168 for performing diagnostics or analysis, for example, on the information provided by the sensors.


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.



FIGS. 4, 5A, and 5B illustrate examples of digital certificates which can be used for message authentication in the connected vehicle or V2X technology environment. Referring to FIG. 4, a digital certificate 160 is shown.


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 (FIG. 5A) with random-looking strings (“pseudonyms”) 164 instead of IDs 161 and 162. The vehicle then uses a pseudonym certificate instead of certificate 160 in message transmissions. The vehicle can automatically use different pseudonym certificates 160p for different messages 170 to avoid tracking.



FIG. 5A illustrates a pseudonym certificate 160p accompanying a message 170. The certificate is generated by a pseudonym certificate authority (PCA). The pseudonym 164, also denoted as U, acts as both the certificate ID and the public key. The certificate 160p may include validity period 165, an identification of the signature scheme, PCA signature 167, and maybe other parameters, similarly to certificate 160 of FIG. 4. Pseudonym certificate 160p also includes linkage value (lv) 234 used for certificate revocation as described below.


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” (FIG. 5B), instead of a public key U, the pseudonym field 164 is “credential” data (or “public key reconstruction” data), denoted as V, allowing anyone having the PCA's public key to derive the certificate's public key U. (U is not stored in the certificate 160p.) See for example “Certicom. Sec 4 v1.0: Elliptic curve Qu-Vanstone implicit certificate scheme (ECQV). Technical report, Certicom Research, 2013. http://www.secg.org/sec4-1.0.pdf”, (“Certicom” below), incorporated herein by reference.


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)

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.


General Notation

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.









TABLE I







Symbols










Symbol
Meaning






U
A vehicle's public key, different for each




pseudonym certificate, and used as a




pseudonym, placed in pseudonym a certificate



u
The private key corresponding to U



s, S
Private and public caterpillar keys for signature



e, E
Private and public caterpillar keys for encryption



ŝ, Ŝ
Private and public cocoon keys for signature



ê, Ê
Private and public cocoon keys for encryption



x, X
Private and public unified caterpillar keys



{circumflex over (x)}, {circumflex over (X)}
Private and public unified cocoon keys



β
Number of cocoon keys in a batch of pseudonym




certificates generated in response to a request




to generate the pseudonym certificates



σ
Number of certificates valid in each time period



lv
Linkage value



enc(key, str)
Encryption of a bit string str with key key



hash(str)
Hash of str









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.


Example SCMS Architecture


FIG. 6 illustrates an exemplary computer system architecture environment for SCMS. SCMS was designed to allow the distribution of multiple pseudonym certificates to vehicles in an efficient manner, while providing mechanisms for easily revoking them in case of misbehavior by their owners.


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 FIG. 7 discussed below. RA 220 then shuffles together the keys 710 belonging to different users before individually sending them to a Pseudonym Certificate Authority (PCA) 210. As such, the PCA 210 cannot link a group of requests to a same object 110/device 150. The PCA 210, in turn, creates valid certificates 160p, and encrypts and signs them before delivering them to the RA for forwarding to the devices 110/150. Since the certificates 160p are encrypted, the RA cannot link a pseudonym certificate 160p to a device 110/150. Unless the PCA and RA collude, they are unable to link a certificate 160p to its owner 110/150.


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 FIGS. 5A, 5B) added to pseudonym certificates 160p so that the pseudonym certificates can be efficiently revoked. The lv values are different for different pseudonym certificates, but they can be linked together for a given enrollment certificate 160. See e.g. U.S. patent application No. 62/561,667, filed 21 Sep. 2017, incorporated herein by reference; U.S. patent application Ser. No. 16/136,621, filed 20 Sep. 2018, incorporated herein by reference; and Marcos A. Simplicio Jr. et al., “A privacy-preserving method for temporarily linking/revoking pseudonym certificates in vehicular networks”, https://eprint.iacr.org/2018/185.pdf, 2018, incorporated herein by reference.


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).


SCMS's Butterfly Key Expansion

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 FIG. 7. First, the requesting device 110/150 generates two “caterpillar” private/public key pairs 710:







(

s
,

S
=

s
·
G



)



and



(

e
,

E
=

e
·
G



)





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 (FIGS. 5A, 5B), and are called “signature keys” because the pseudonyms 164 are used for message authentication via signature verification as described above. The keys (e,E) relate to pseudonym certificate encryption performed to hide the pseudonyms from the RA as described below; these keys are called “encryption keys”.


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:








S
ˆ

i

=

S
+



f
s

(
i
)

·
G






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:










Ê
i

=

E
+



f
e

(
i
)

·
G






(
i
)







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 FIGS. 4, 5A, 5B.


For each pair of cocoon keys (Ŝi, Êi), the PCA can either create an explicit pseudonym certificate 160p (FIG. 5A) using the method of FIG. 7, or engage in an implicit certification process (FIG. 5B and Certicom) as illustrated in FIG. 8. The explicit or implicit certificate 160p is encrypted by the PCA and sent to the RA (step 900 in FIGS. 7, 8)). The RA “un-shuffles” the pseudonym certificates, and sends each pseudonym certificate to the corresponding (associated) device 110. Each device's β pseudonym certificates are sent to the device in batch.


For the explicit process (FIGS. 5A, 7), the PCA computes, at step 822, a random value ri and generates the certificate's public signature key (pseudonym) 164 according to the following equation (Eq. 1):










U
i

=



S
ˆ

i

+


r
i

·
G






(

Eq
.

1

)







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 (FIG. 5A).


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:






e

n


c

(


Ê
i

,

160

p




r
i




)





(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):











e
^

i



=

e
+


f
e

(
i
)







(

Eq
.

2

)







Therefore, only the device 110 can learn the pseudonym Ui (as part of certificate 160p) and compute the corresponding private signature key:










u
i

=

s
+

r
i

+


f
s

(
i
)






(

Eq
.

3

)







The device 110 can also verify the signature keys ui, Ui by checking that:










U
i

=


u

i
·



G





(

Eq
.

4

)







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 FIG. 8). The cocoon key generation (steps 810, 814, 818) is the same as for the explicit certificates. Then at step 822, the PCA computes a random ri, and computes the credential 164:










V
i

=



S
ˆ

i

+


r
i

·
G






(

Eq
.

5

)







Then at step 826, the PCA creates the implicit certificate 160p, also denoted certi, as: i.e.







cert
i

=

(


V
i

,
meta

)








cert
i

=


V
i




meta






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:










sig
i

=



h
i

·

r
i


+

u
PCA






(

Eq
.

6

)







where hi=Hash(certi), and uPCA is the PCA's private signature key.


The remaining steps of the certificate generation are similar to FIG. 7. Specifically, the PCA encrypts the certificate 160p together with the signature value of sigi, using the corresponding cocoon key Êi (step 830). The encrypted package (certificate 160p and value sigi) is signed by the PCA (step 834) using the PCA's private signature key. The signature is shown at 730. At step 900, the result (the encrypted structure and the signature 730) is sent to the requesting device 110 via the RA 220.


The device 110 verifies the PCA signature 730, decrypts the package certi∥sigi, and computes:










h
i

=

Hash

(

cert
i

)





(

Eq
.

7

)







Device 110 then sets its own private signature key to:










u
i

=



h
i

·

(

s
+


f
s

(
i
)


)


+

s

i


g
i







(

Eq
.

8

)







whereas the corresponding public signature key takes the form:










U
i

=


u
i

·
G





(

Eq
.

9

)







The device 110 can then verify the validity of the public key Ui by ascertaining that










U
i

=



h
i

·

V
i


+

U
PCA






(

Eq
.

10

)







where UPCA is the PCA's public signature key corresponding to uPCA.


Whichever certificate model is adopted, at step 834 of FIGS. 7 and 8, the encrypted PCA response is signed using the PCA's own private signature key uPCA, aiming to prevent an “honest-but-curious” RA from engaging in a Man-in-the-Middle (MitM) attack. Namely, without this signature 730, a MitM attack by the RA could be performed as follows: (1) instead of Êi, the RA sends to the PCA, at step 818, a fake cocoon encryption key Êi*=z·G, for an arbitrary value of custom-character; (2) at step 900, the RA decrypts the PCA's response using custom-character, learning the pseudonym Ui (FIG. 7) or Vi (FIGS. 8); and (3) the RA re-encrypts the certificate with the correct Êi, sending the result to the device, which proceeds with the protocol as usual. But if the PCA generates signature 730 and device 110 verifies the signature 730 on the RA's response, the attack would fail because the RA cannot provide a valid signature 730 for the re-encrypted certificate generated in step (3).


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 (FIG. 7) or Vi (FIG. 8) to the devices for the RA, in turn, is also obtained because the latter does not learn the value of Ui or Vi randomized by the PCA using ri.


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.


Unified Butterfly Key Expansion Process

In FIGS. 7 and 8, the butterfly key expansion (step 814) is executed twice by the RA during the pseudonym certification provisioning process: once for the signature keys Ŝi and once for the encryption keys Êi. As a result, the device 110 needs to send to the RA two caterpillar keys (S and E) at step 810, as well as the corresponding pseudorandom functions (ƒs and ƒe), for the computation of the corresponding cocoon keys (Ŝi and Êi, where 0≤i<β). In addition, the PCA not only encrypts the certificate (step 830) but also signs the resulting encrypted package (step 834) to avoid manipulation by the RA. This extra signature leads to additional overheads in multiple places: on the PCA, for the computation and transmission of the extra signature 730; on the RA, for its reception and re-transmission; and on the end device 110, for the signature reception and verification, besides the verification of the certificate's signature itself ((Eq. 4) or (Eq. 10)).


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.


Examples of Explicit Certificate Process

One embodiment of the present invention is depicted in FIGS. 9A and 9B. First (step 904), the requesting device 110 generates only a single caterpillar private/public key pair 710: (x, X=x·G). As in SCMS, the private key x should be randomly generated. The public key X will be used by the PCA for encrypting the certificate 160p and, after being randomized by the PCA, for creating the public key or pseudonym 164 that will be enclosed in the certificate as described below (step 824).


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):











X
ˆ

i

=

X
+


f

(
i
)

·
G






(

Eq
.

11

)







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. FIGS. 9A, 9B illustrate a process for explicit certificates. In either case, the explicit or implicit certificate 160p will later be encrypted by the PCA and sent to the RA (step 900). Each encrypted pseudonym certificate will be accompanied by the request ID, allowing the RA to “un-shuffle” the pseudonym certificates, i.e. associate each encrypted package with the device, and send the encrypted package to the associated device. Optionally, each device's β pseudonym certificates can be sent to the device in batch.


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:










U
i

=



X
ˆ

i

+


r
i

·
G






(

Eq
.

12

)















U
i

=


r
i

·


X
ˆ

i








(

Eq
.

12




)







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.











E
^

i

=


X
ˆ

i





(

Eq
.

13

)







Other expressions for Êi can also be used. For example:











E
^

i

=



hash
(


X
ˆ

i

)

·
G

+


X
ˆ

i








(

Eq
.

13




)







The remaining steps may or may not be similar to FIG. 7, but generation of the PCA signature 730 can be omitted. Specifically, in some embodiments, at step 826, the PCA forms the certificate 160p, also shown as certi, by: (1) combining Ui with 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 (FIG. 5A).


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:











e
^

i

=

x
+

f

(
i
)






(

Eq
.

14

)







In case of equation (Eq. 13′):











e
^

i

=


hash
(


X
ˆ

i

)

+
x
+

f

(
i
)








(

Eq
.

14




)







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:








E
^

i

=



X
ˆ

i

=


x
·
G

+


f

(
i
)

·
G







In case of equations (Eq. 13′), (Eq. 14′), the decryption works because the encryption public key is:








E
^

i

=




hash
(


X
ˆ

i

)

·
G

+


X
ˆ

i


=



hash
(


X
ˆ

i

)

·
G

+

x
·
G

+


f

(
i
)

·
G







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:











u
i

=


r
i

+
x
+
f




(
i
)





(

Eq
.

15

)







If equation (Eq. 12′) was used, then the private signature key is created as:










u
i

=


r
i

·

(

x
+

f

(
i
)


)








(

Eq
.

15




)







See (Eq. 12). At step 924, the device verifies that











u
i

·
G

=

U
i





(

Eq
.

16

)







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











X
ˆ

i
*

=

z
·
G





(

Eq
.

17

)







for an arbitrary value of custom-character. 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:











(


r
i
*

+
x
+

f

(
i
)


)

·
G

=

U
i
*





(

Eq
.

18

)







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








(


r
i
*

+
x
+

f

(
i
)


)

·
G



U
i
*





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:







r
i
*

=


(


r
i

+
𝓏

)

-

(

x
+

f

(
i
)


)






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, custom-character 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:

    • Device 110: since the request sent to the RA includes a single cocoon public key (X) and pseudorandom function (ƒ) rather than two keys and functions as in FIG. 7 or 8, the processing and bandwidth costs involved in this process drop by half. Also, the certificate packages received at step 900 are smaller because they omit the PCA signature 730. Finally, the processing costs for validating the received certificates is likely to decrease with the removal of the verification of signature 730. The reason is that verifying Ui for avoiding MitM attacks by the RA (equation (Eq. 16)) takes a single elliptic-curve (EC) multiplication, less than what would be typically involved in verification of signature 730.
    • RA: It only performs the butterfly key expansion for signature keys, leading to half the processing overhead. Ignoring ancillary metadata, bandwidth usage is similarly reduced when forwarding the request to the PCA (step 818), which involves a single cocoon key and pseudorandom function rather than two. Finally, the response by the PCA (step 900) is smaller due to the absence of signature 730 on the encrypted package.
    • PCA: Each certificate issuance involves a single signature (167) instead of two (since signature 730 is omitted), leading to lower processing costs. Inbound and outbound bandwidth are also saved, since the RA's requests are smaller (they do not include a separate Êi) and so are the PCA's responses (due to omission of signature 730).


To give some concrete numbers, FIG. 10 shows a table which compares the estimated costs of the proposed procedure with the original SCMS as described in CAMP, assuming the algorithms thereby recommended: ECDSA for signature generation/verification and ECIES for asymmetric encryption/decryption. Both algorithms are configured to provide a 128-bit security level. For completeness, we consider two different settings for ECDSA when measuring the processing costs of the batch verification by vehicles: a standard implementation (marked as “RP”), in which the ECDSA verification process takes basically one fixed point EC multiplication by the generator G and one random point multiplication by the PCA's signature key UPCA; and an optimized implementation (marked as “FP”), in which UPCA is also considered a fixed point (i.e., this operation is made faster via pre-computations). The performance costs are measured in cycles, using the RELIC cryptography library running on an Intel i5 4570 processor. RELIC is described in D.F. Aranha and C.P.L. Gouvêa, “RELIC is an Efficient Library for Cryptography,” https://github.com/relic-toolkit/relic, incorporated herein by reference. 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.).


Examples of Implicit Certificate Process

The invention is not limited to the embodiments of FIGS. 9A, 9B. For example, implicit certificates can be used. FIGS. 11A, 11B illustrate an implicit certificate scheme. Steps 904, 810, 814, 818 are as in FIGS. 9A, 9B. Then at step 822, the PCA computes a random ri, and computes a credential 164:







V
i

=



X
ˆ

i

+


r
i

·
G






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.







cert
i

=

(


V
i

,
meta

)










cert
i

=

V
i






meta




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:







sig
i

=



h
i

·

r
i


+

u
PCA






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 FIGS. 9A, 9B. The RA cannot decrypt the package.


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:







h
i

=

Hash
(

cert
i

)





At step 922, the device sets its own private signature key to:







u
i

=



h
i

·

(

x
+

f

(
i
)


)


+

sig
i






and computes the corresponding public signature key at step 923 as:







U
i

=


u
i

·
G





The device 110 can then verify the validity of the public key Ui by ascertaining, at step 924, that







U
i

=



h
i

·

V
i


+

U
PCA






where UPCA is the PCA's public signature key.



FIG. 12 shows a table with SCMS algorithms and some of the embodiments described above. SCMS explicit certificate generation is shown at 1210. SCMS implicit certificate generation is shown at 1214. Explicit certificate generation according to some embodiments of the present invention is shown at 1230. Implicit certificate generation according to some embodiments of the present invention is shown at 1234. The following notation is used:

    • “pkg” denotes the output of the encryption step 830 performed by the PCA. “res” denotes the same output but signed by the PCA to form signature 730; i.e. “res” is the output of step 834 in SCMS;


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.


Security and Performance

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.


Confidentiality of Pseudonym Certificates

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*=custom-character·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 custom-character. 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*=custom-character·G, for an arbitrary value of custom-character. This assumption comes without loss of generality, since in principle we do not impose any restriction on the actual value of custom-character 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 custom-character 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 custom-character≠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 Uicustom-characterhi*·Vi*+UPCA fails, unless custom-character=x+ƒ(i):







U
i


=
?




h
i
*

·

V
i
*


+

U
PCA










u
i

·
G


=
?




h
i
*

·

(



X
ˆ

i
*

+


r
i

·
G


)


+


U
PCA

·
G










(



h
i
*


(

x
+

f

(
i
)


)

+

sig
i
*


)

·
G


=
?


(



h
i
*


·

(

𝓏
+

r
i


)


+


u
PCA

·
G












h
i
*

(

x
+

f

(
i
)


)

+


h
i
*

·

r
i


+

u
PCA



=
?




h
i
*

(

𝓏
+

r
i


)

+

u
PCA










h
i
*

(

x
+

f

(
i
)


)


=
?



h
i
*

·
𝓏









x
+

f

(
i
)



=
?

𝓏

,


Assuming



h
i
*



0





Therefore, to be able to bypass the vehicle's verification, the RA cannot just choose any custom-character. Instead, it is obliged to make custom-character=x+ƒ(i). Even though ƒ(i) is known by the RA, finding the value of x that allows the computation of custom-character 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·Gcustom-characterUi. 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*=custom-character·G, for an arbitrarily chosen value of custom-character. In this case, the RA uses custom-character 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+custom-character)−(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, custom-character 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.


Additional Security Aspects

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.


Performance Analysis

Besides preserving SCMS's security properties, this unified butterfly key expansion leads to a reduced overhead when compared to the original process:

    • Vehicle: since the request sent to the RA includes a single cocoon public key and a single PRF rather than two, the processing and bandwidth costs involved in this process drop by half. The batches received are also smaller, because each encrypted package containing a certificate is not signed (only the certificate itself is). Finally, the processing costs for validating the received certificates is smaller than in SCMS, since the verification of the PCA's signature on the encrypted package is eliminated. This is particularly interesting for digital signature schemes such as ECDSA, for which verification procedure is usually more expensive than signing messages. See Daniel J. Bernstein, Niels Duif, Tanja Lange, Peter Schwabe, and Bo-Yin Yang, “High-speed high-security signatures”, In Cryptographic Hardware and Embedded Systems—CHES 2011, pages 124-142, Berlin, Heidelberg, 2011, Springer Berlin Heidelberg, incorporated herein by reference.
    • RA: It only performs the butterfly key expansion for signature keys, leading to half the processing overhead. Ignoring ancillary metadata, bandwidth usage is similarly reduced when forwarding the request to the PCA, which involves a single cocoon key and a single PRF rather than two of each. Finally, the response by the PCA is also smaller due to the absence of a signature on the encrypted package.
    • PCA: The processing savings come from the fact that each (implicit or explicit) certificate issued takes a single signature instead of two. Inbound and outbound bandwidth are also saved, since the RA's requests are smaller (they do not include Êi) and so are the PCA's responses (one less signature is sent).


To give some concrete numbers, the table in FIG. 13 compares the estimated costs of the proposed procedure with the original SCMS as described in CAMP, assuming the algorithms thereby recommended: ECDSA for signature generation/verification and ECIES for asymmetric encryption/decryption. Both algorithms are configured to provide a 128-bit security level. Specifically, FIG. 13 illustrates comparison of processing (in cycles, shown in a gray background) and communication (in bytes) costs between the original SCMS and the proposed solution when issuing β certificates, including request and response.


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 FIG. 13, the bandwidth and processing gains of the proposed unified butterfly key expansion process can reach up to 50%, whereas in the worst case it is at least as efficient as SCMS's original approach. It is interesting to note that those gains are slightly more significant in the implicit certification model, which is the approach suggested for standardization CAMP.


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:









f
k

(
ι
)

=



f
k
int

(
ι
)



mod


l


,




where:

    • 1) fintk(i) is the big-endian integer representation of








(



AES
k

(

x
+
1

)



(

x
+
1

)


)



k











(



AES
k

(

x
+
2

)



(

x
+
2

)


)



k










(



AES
k

(

x
+
3

)



(

x
+
3

)


)

,






    • 2) x+1, x+2, and x+3 are obtained by simply incrementing x by 1 each time, e.g., if x=01 . . . 00, then x+1=01 . . . 01, x+2=01 . . . 10, x+3=01 . . . 11,

    • 3) 128-bit input x (the seed) for AES is derived from time period











ι
=



(

i
,
j

)



as
:

x

=


0

3

2





i



j








0

3

2


.





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 FIGS. 9A and 9B, step 824 can be performed before 822, or the two steps can be performed simultaneously. Other variations are also possible.


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 FIG. 2, including one or more computer processors executing computer instructions stored in storage 150S. The invention includes storage 150S, or other computer readable medium, with suitable data such as request IDs, etc. described above, or parts thereof, and/or with computer instructions for computer processor(s) to perform any part or whole of any method described above. The invention includes the data structures and the instructions, and transmission (via a network or otherwise) or any such data and/or instructions.


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 FIG. 2, with a separate processor 150P and a separate storage 150S for each entity. Storage 150S may hold the data and computer instructions executed by the processor 150P. Different entities can be located in different geographical areas. However, different entities may be implemented on the same computer, for example, a cloud computer. Each entity does not have access to any other entity's data.


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.

Claims
  • 1. In a security credential management system wherein certificates are created and managed for communications among a plurality of entities, a method comprising: generating by an end entity a caterpillar key pair and an expansion function, wherein the caterpillar key pair comprises a caterpillar private key and a caterpillar public key; andsending by the end entity the caterpillar public key and the expansion function in connection with a certificate request requesting one or more certificates for use by the end entity;wherein the caterpillar public key can be expanded using the expansion function to generate a cocoon public key;wherein the caterpillar public key and the expansion function are butterfly key parameters;wherein the butterfly key parameters can be used to generate both a respective signing key associated with a particular certificate and a respective encryption key used to encrypt the particular certificate on issuance.
  • 2. The method of claim 1, wherein the certificate request comprises a butterfly key certificate request.
  • 3. The method of claim 1, wherein the certificate request is intended to result in issuance of multiple certificates.
  • 4. The method of claim 1, wherein the caterpillar public key is modified by a cocoon key expander.
  • 5. The method of claim 4, wherein the caterpillar public key is further modified by a butterfly key expander.
  • 6. The method of claim 1, wherein the butterfly key parameters relate to a unified butterfly key process.
  • 7. The method of claim 1, wherein the butterfly key parameters relate to a compact unified butterfly key process.
  • 8. The method of claim 1, wherein each certificate can be used to verify messages exchanged between entities.
  • 9. The method of claim 1, wherein the end entity is incorporated in a vehicle.
  • 10. The method of claim 1, wherein the end entity is incorporated in roadside equipment.
  • 11. In a security credential management system wherein certificates are created and managed for communications among a plurality of entities, a device which is one of the plurality of entities, the device comprising: a memory containing machine readable medium storing machine executable code;one or more processors coupled to the memory and configured to execute the machine executable code to cause the one or more processors to: generating by the device a caterpillar key pair and an expansion function, wherein the caterpillar key pair comprises a caterpillar private key and a caterpillar public key;sending by the device the caterpillar public key and the expansion function in connection with a certificate request requesting one or more certificates for use by the end entity;wherein the caterpillar public key can be expanded using the expansion function to generate a cocoon public key;wherein the caterpillar public key and the expansion function are butterfly key parameters;wherein the butterfly key parameters can be used to generate both a respective signing key associated with a particular certificate and a respective encryption key used to encrypt the particular certificate on issuance.
  • 12. The device of claim 11, wherein the device is an end entity.
  • 13. The device of claim 11, wherein the certificate request comprises a butterfly key certificate request.
  • 14. The device of claim 11, wherein the certificate request is intended to result in issuance of multiple certificates.
  • 15. The device of claim 11, wherein the caterpillar public key is modified by a cocoon key expander.
  • 16. The device of claim 15, wherein the caterpillar public key is further modified by a butterfly key expander.
  • 17. The device of claim 11, wherein the butterfly key parameters relate to a unified butterfly key process.
  • 18. The device of claim 11, wherein the butterfly key parameters relate to a compact unified butterfly key process.
  • 19. The device of claim 11, wherein each certificate can be used to verify messages exchanged between entities.
  • 20. The device of claim 11, wherein the device is incorporated in a vehicle.
  • 21. The device of claim 11, wherein the device is incorporated in roadside equipment.
CROSS REFERENCE TO RELATED APPLICATIONS

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.

Provisional Applications (1)
Number Date Country
62575514 Oct 2017 US
Continuations (4)
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