An Experimental Analysis of ECQV Implicit Certificates Performance In

Total Page:16

File Type:pdf, Size:1020Kb

An Experimental Analysis of ECQV Implicit Certificates Performance In An experimental analysis of ECQV implicit certificates performance in VANETs Francesco Pollicino, Dario Stabili, Luca Ferretti and Mirco Marchetti University of Modena and Reggio Emilia, Italy Email: {francesco.pollicino, dario.stabili, luca.ferretti, mirco.marchetti}@unimore.it Abstract—Emerging Cooperative Intelligent Transportation VANETs in multiple scenarios. As an example, it does not Systems (C-ITS) enable improved driving experience and safety consider how security solutions may vary depending on the guarantees, but require secure Vehicular Ad-hoc NETworks number of connected devices or the constraints in terms of (VANETs) that must comply to strict performance constraints. Specialized standards have been defined to these aims, such as the end-to-end communication latencies. IEEE 1609.2 that uses network-efficient cryptographic protocols The paper includes two main contributions. First, we pro- to reduce communication latencies. The reduced latencies are pose an implementation of the Elliptic Curve Qu-Vanstone achieved through a combination of the Elliptic Curve Qu- (ECQV) implicit certificate scheme and the Elliptic Curve Vantstone (ECQV) implicit certificate scheme and the Elliptic Digital Signature Algorithm (ECDSA) that is compliant to Curve Digital Signature Algorithm (ECDSA), to guarantee data integrity and authenticity. However, literature lacks implementa- the IEEE 1609.2 standard, and describe an experimental tions and evaluations for vehicular systems. In this paper, we evaluation of the schemes when deployed on automotive- consider the IEEE 1609.2 standard for secure VANETs and grade boards [3]. To the best of our knowledge, this is the investigate the feasibility of ECQV and ECDSA schemes when first open implementation of implicit certificates for resource- deployed in C-ITSs. We propose a prototype implementation constrained devices in terms of computational power and of the standard ECQV scheme to evaluate its performance on automotive-grade hardware. To the best of our knowledge, this memory. Second, we investigate the feasibility of the schemes is the first open implementation of the scheme for constrained in multiple VANET scenarios characterized by different la- devices that are characterized by low computational power tency constraints discussed by the National Highway Traf- and low memory. We evaluate its performance against C-ITS fic Safety Administration (NHTSA) for vehicles safety [4]. communication latency constraints and show that, although even Guaranteeing security of automotive networks requires pro- highly constrained devices can support the standard, complying with stricter requirements demands for higher computational tecting connected vehicles from cyber-attacks. Security pro- resources. posals for intra-vehicular communications focus on defending against denial-of-service and message injection attacks by I. INTRODUCTION AND RELATED WORK using special-purpose anomaly detectors [5]–[7] and network The increasing popularity of connected vehicles allows to analysis tools [8], [9], and on protecting the integrity and enable Vehicular Ad-hoc NETworks (VANETs) [1], that is authenticity of the ECUs messages by using lightweight cryp- one of the intelligent components forming the Cooperative tographic schemes and architectures [10], [11]. The implicit Intelligent Transportation Systems (C-ITS) [2] with novel certificate schemes considered by this paper could also be of services and features that can improve driving experience interest for protecting the integrity of high-tier and future intra- through the cooperation between road-infrastructure services, vehicular networks that can support asymmetric cryptography road users and vehicles. However, designing and implementing schemes. However, in this paper we focus on inter-vehicular this complex system is a challenging task. As an example, networks, where their adoption on existing systems seems the novel communication networks must support a highly more promising. We leave further analyses on intra-vehicular heterogeneous environment, that comprises many vehicles and networks as a future work. boards manufacturers, and comply with the strict C-ITS con- The existing proposals [12]–[14] for vehicle-to-vehicle straints in terms of small latency and dynamic configuration of (V2V) communications that relate most with ours proposal are the network. In this paper, we investigate security solutions for architectures for guaranteeing communications integrity and VANETs and focus on integrity and authenticity guarantees authenticity, that require the adoption of proper cryptographic of vehicles communications. To this aim, we consider the protocols for identity and key management. They differ from security protocols of the IEEE 1609.2 standard, that defines standard Web protocols because they are designed to comply secure message formats for Wireless Access in Vehicular to the particular requirements of vehicles communications, Environments (WAVE), policies for the management of the including privacy protection against vehicles tracking and security certificates and the supported digital signature and vehicle safety requirements. Although they also build over encryption algorithms. Although the IEEE 1609.2 standard the IEEE 1609.2 standard, they do not consider the stricter represents a comprehensive proposal for secure vehicle com- workload requirements that characterize realistic vehicles com- munications, it does not provide recommendations that take munications (e.g., only consider messages sent every 100ms). into account the potentially different characteristics of the Moreover, they only consider using standard X.509 certifi- cates. In this paper, we analyze multiple stricter requirements Requester Client CA in terms of allowed latency and throughput, and analyze ID skCA PKCA the behavior of implicit certificates by using a prototype (CSR) CSRGen implementation. Similar to our proposal, the work presented in [15] analyzed if VANETs communications security based on sk CRTGen (CRT, r) ECQV certificates can satisfy latency constraints that are due Validation to enforce safety in a crash incident. Although their analyses sk PK are based on multiple standards (IEEE 1609.2 [16], ETSI ITS- U U G5 [17] and ARIB STD-T109 [18]), the proposed experimen- Fig. 1. Operation flow for the the generation of the ECQV certificate tal evaluation is based on a laptop computer and does not consider the timings of a proper implementation on hardware to delegate intermediate CAs to release certificate, called that typically characterizes automotive boards. The evaluation intermediate CAs, that can in turn delegate other CAs. Each proposed in this paper is focused on realistic automotive-grade delegation demands the delegating CA to sign a special- boards and is based on the first open prototype implementation purpose certificate, including the identity and the public key for ECQV and ECDSA. The prototype implementation is of the delegated CA. Moreover, a certificate chain includes the optimized for low-power devices and allows to better analyze public keys of the authorized user and of all the intermediate the performance of the implemented protocols in real-world CAs (for this reason it could also be called an explicit scenarios. certificate, in opposition to implicit certificates). For these The rest of the paper is organized as follows. We present reasons, the size of the certificate chain is proportional to the base knowledge on the IEEE 1609.2 standard, and on ECQV number of the intermediate CAs. Verifying the certificate chain implicit certificate and ECDSA schemes in Section II. We requires to verify the digital signature attached by each CA up describe the main design choices of the proposed implemen- to the Root Certificate. tation and micro-benchmarks on automotive-grade boards in Section III. We investigate the feasibility of the schemes in The implicit certificate scheme uses a more complex ap- VANETs in Section IV. Finally, we conclude the work in proach that leverages particular mathematical properties to Section V. bind identity information and public key without explicitly storing them. The most popular protocol for implicit cer- II. BASE KNOWLEDGE ON IEEE 1609.2 AND ECQV tificates, that is also included in the IEEE 1609.2 standard, The IEEE 1609.2 [16] standard specifies the recommenda- is ECQV. Intuitively, an ECQV certificate does not include tions for Wireless Access in Vehicular Environments (WAVE), the public key of the sender, but allows a recipient to re- including the framework of the security services that all the compute it by using the certificate of the sender and the devices must support, the formats used to exchange messages, public key of the CA, thus saving network usage. Although and the cryptographic schemes and algorithms that can be used implicit certificates seem very convenient thanks to their to protect messages. In this paper, we focus on the protocols space efficiency, they have a few disadvantages that limit used to guarantee integrity and authenticity of messages, that their adoption in common Web communications. Network include digital signatures and certificates. savings of implicit certificates can be considered negligible The reference standard for digital signatures is the Elliptic in most Web scenarios, because communications are mostly Curve Digital Signature Algorithm (ECDSA), that is a well- operated through channels exchanging large amounts of data known NIST standard already used to protect communications and certificates are only used once during
Recommended publications
  • Implicit and Explicit Certificates-Based Encryption Scheme Tomasz Hyla, Witold Maćków, Jerzy Pejaś
    Implicit and Explicit Certificates-Based Encryption Scheme Tomasz Hyla, Witold Maćków, Jerzy Pejaś To cite this version: Tomasz Hyla, Witold Maćków, Jerzy Pejaś. Implicit and Explicit Certificates-Based Encryption Scheme. 13th IFIP International Conference on Computer Information Systems and Industrial Man- agement (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.651-666, 10.1007/978-3-662-45237- 0_59. hal-01405660 HAL Id: hal-01405660 https://hal.inria.fr/hal-01405660 Submitted on 30 Nov 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution| 4.0 International License Implicit and Explicit Certificates-based Encryption Scheme Tomasz Hyla1, Witold Maćków1, Jerzy Pejaś1, 1 West Pomeranian University of Technology, Szczecin Faculty of Computer Science and Information Technology, Poland {thyla, wmackow, jpejas}@zut.edu.pl Abstract. Certificate-based encryption (CBE) combines traditional public-key encryption and certificateless encryption. However, it does suffer to the Denial of Decryption (DoD) attack called by Liu and Au. To capture this attack, they introduced a new paradigm called self-generated-certificate public key cryptog- raphy. In this paper we show that the problem of DoD attack can be solved with a new implicit and explicit certificates-based public key cryptography paradigm.
    [Show full text]
  • Towards a Hybrid Public Key Infrastructure (PKI): a Review
    Towards a Hybrid Public Key Infrastructure (PKI): A Review Priyadarshi Singh, Abdul Basit, N Chaitanya Kumar, and V. Ch. Venkaiah School of Computer and Information Sciences, University of Hyderabad, Hyderabad-500046, India Abstract. Traditional Certificate- based public key infrastructure (PKI) suffers from the problem of certificate overhead like its storage, verification, revocation etc. To overcome these problems, idea of certificate less identity-based public key cryptography (ID-PKC) was proposed by Shamir. This is suitable for closed trusted group only. Also, this concept has some inherent problems like key escrow problem, secure key channel problem, identity management overhead etc. Later on, there had been several works which tried to combine both the cryptographic techniques such that the resulting hybrid PKI framework is built upon the best features of both the cryptographic techniques. It had been shown that this approach solves many problems associated with an individual cryptosystem. In this paper, we have reviewed and compared such hybrid schemes which tried to combine both the certificate based PKC and ID-based PKC. Also, the summary of the comparison, based on various features, is presented in a table. Keywords: Certificate-based PKI; Identity-based public key cryptography (ID-PKC); Hybrid PKI 1 INTRODUCTION Public key infrastructure (PKI) and public key cryptography (PKC) [12] plays a vital role with four major components of digital security: authentication, integrity, confidentiality and non-repudiation. Infact, PKI enables the use of PKC through key management. The ”efficient and secure management of the key pairs during their whole life cycle" is the purpose of PKI, which involves key generation, key distribution, key renewal, key revocation etc [11].
    [Show full text]
  • PUF Based Authentication Protocol for Iot
    S S symmetry Article PUF Based Authentication Protocol for IoT An Braeken Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium; [email protected]; Tel.: +32-468-104-767 Received: 11 July 2018; Accepted: 11 August 2018; Published: 20 August 2018 Abstract: Key agreement between two constrained Internet of Things (IoT) devices that have not met each other is an essential feature to provide in order to establish trust among its users. Physical Unclonable Functions (PUFs) on a device represent a low cost primitive exploiting the unique random patterns in the device and have been already applied in a multitude of applications for secure key generation and key agreement in order to avoid an attacker to take over the identity of a tampered device, whose key material has been extracted. This paper shows that the key agreement scheme of a recently proposed PUF based protocol, presented by Chatterjee et al., for Internet of Things (IoT) is vulnerable for man-in-the-middle, impersonation, and replay attacks in the Yao–Dolev security model. We propose an alternative scheme, which is able to solve these issues and can provide in addition a more efficient key agreement and subsequently a communication phase between two IoT devices connected to the same authentication server. The scheme also offers identity based authentication and repudiation, when only using elliptic curve multiplications and additions, instead of the compute intensive pairing operations. Keywords: physical unclonable function; authentication; elliptic curve cryptography; internet of things 1. Introduction Internet of Things (IoT) is experiencing worldwide growth. Not only classical computing and communication devices are connected, but also a whole range of other gadgets that are used in our daily life, such as thermostats, light switches, door locks, refrigerators, etc.
    [Show full text]
  • Re-Authentication and Tracing the Node Movement
    박 ¬ Y 위 | 8 Doctoral Thesis 센서 $¸워l@ t동 통신망D 위\ 보H 0 연l Advanced Security Schemes in Sensor Networks and Mobile Networks \ 규석 (韓 -m Han, Kyusuk) 정보통신õY과 Department of Information and Communication Engineering \ m 과 Y 0 Ð Korea Advanced Institute of Science and Technology 2010 센서 $¸워l@ t동 통신망D 위\ 보H 0 연l Advanced Security Schemes in Sensor Networks and Mobile Networks Advanced Security Schemes in Sensor Networks and Mobile Networks Advisor : Professor Kwangjo Kim by Han, Kyusuk Department of Information and Communication Engineering Korea Advanced Institute of Science and Technology A thesis submitted to the faculty of the Korea Advanced Institute of Science and Technology in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Information and Communication Engineering Daejeon, Korea 2010. 5. 24. Approved by Professor Kwangjo Kim Advisor 센서 $¸워l@ t동 통신망D 위\ 보H 0 연l \ 규석 위 |8@ \m과Y0 Ð 박¬Y위|8<\ Y위|8심¬ 위Ð회Ð서 심¬ 통과X였L. 2010D 5월 24| 심¬위Ð¥ @ 광 p (x) 심¬위Ð @ 대 영 (x) 심¬위Ð t 병 천 (x) 심¬위Ð \ P 8 (x) 심¬위Ð \ 영 ¨ (x) DICE \ 규석. Han, Kyusuk. Advanced Security Schemes in Sensor Networks and Mobile Networks. 센서 $¸워l@ t동 통신망D 위\ 보H 0 연l. 20055186 Department of Information and Communication Engineering . 2010. 113p. Ad- visor Prof. Kwangjo Kim. Text in English. Abstract Recent advance of wireless sensor network and mobile communication network tech- nologies bring several new issues such as the mobility of sensor nodes, the deployment of PKI. Moreover, the convergence of such different networks are one of rising issues.
    [Show full text]
  • Schnorr-Based Implicit Certification
    Schnorr-based implicit certification: improving the security and efficiency of V2X communications Paulo S. L. M. Barreto1, Marcos A. Simplicio Jr.2, Jefferson E. Ricardini2,3 and Harsh Kupwade Patil3 1 University of Washington Tacoma, USA, [email protected], 2 Escola Politécnica, Universidade de São Paulo, Brazil, {mjunior,joliveira}@larc.usp.br 3 LG Electronics, USA, [email protected] Abstract. In the implicit certification model, the process of verifying the validity of the signer’s public key is combined with the verification of the signature itself. When compared to traditional, explicit certificates, the main advantage of the im- plicit approach lies in the shorter public key validation data. This property is particularly important in resource-constrained scenarios where public key valida- tion is performed very often, which is common in vehicular communications (V2X) that employ pseudonym certificates. In this article, we show that an alternative, Schnorr-based implicit certification procedure can improve the efficiency of a popular V2X-oriented pseudonym certificate provisioning approach, the (unified) butterfly key expansion. As an additional contribution, we show that butterfly keys are vulnerable to existential forgery attacks under certain conditions, and also discuss how this issue can be fixed in an effective and efficient manner. Keywords: Vehicular communications (V2X) · implicit certificates · butterfly key expansion · security 1 Introduction Public key authentication is the cornerstone for any security system that relies on pub- lic/private key pairs for digital signature, key exchange and/or asymmetric encryption. Traditionally, this is accomplished by means of explicit certificates, digital documents that enclose the subject’s public key and are signed by a trusted Certificate Authority (CA).
    [Show full text]
  • A Security Credential Management System for V2X Communications
    1 A Security Credential Management System for V2X Communications Benedikt Brecht¶, Dean Therriaultk, Andr´eWeimerskirch†, William Whyte∗, Virendra Kumar∗, Thorsten Hehn‡, Roy Goudy§ ¶[email protected] [email protected][email protected] ∗{wwhyte, vkumar}@onboardsecurity.com ‡[email protected] §[email protected] Abstract—The US Department of Transportation (US- of Basic Safety Messages (BSMs) has the potential DOT) issued a proposed rule on January 12th, 2017 to to reduce unimpaired vehicle crashes by 80% through mandate vehicle-to-vehicle (V2V) safety communications active safety applications [1]. Following a series of field in light vehicles in the US. Cybersecurity and privacy operational tests, the US Department of Transportation are major challenges for such a deployment. The au- (USDOT) issued a proposed rule on January 12th, 2017 thors present a Security Credential Management System (SCMS) for vehicle-to-everything (V2X) communications to mandate the inclusion of V2V technology in light ve- in this paper, which has been developed by the Crash hicles in the US [2]. Vehicles will broadcast BSMs up to Avoidance Metrics Partners LLC (CAMP) under a Coop- ten times per second to support V2V safety applications. erative Agreement with the USDOT. This system design is BSMs include the senders’ time, position, speed, path currently transitioning from research to Proof-of-Concept, history and other relevant information, and are digitally and is a leading candidate to support the establishment of signed. The receiver evaluates each message, verifies the a nationwide Public Key Infrastructure (PKI) for V2X se- signature, and then decides whether a warning needs to curity.
    [Show full text]
  • SEC 4: Elliptic Curve Qu-Vanstone Implicit Certificate Scheme (ECQV)
    Standards for Efficient Cryptography SEC 4: Elliptic Curve Qu-Vanstone Implicit Certificate Scheme (ECQV) Certicom Research Contact: Matthew Campagna ([email protected]) January 24, 2013 Version 1.0 c 2013 Certicom Corp. License to copy this document is granted provided it is identified as “Standards for Efficient Cryptography 4 (SEC4)”, in all material mentioning or referencing it. SEC 4 Ver. 1.0 Contents 1 Introduction 1 1.1 Overview . 1 1.2 Aim . 1 1.3 Compliance . 1 1.4 Document Evolution . 1 1.5 Intellectual Property . 1 2 Cryptographic Components 3 2.1 Security Levels . 3 2.2 Hash Functions . 3 2.3 Hashing to Integers Modulo n .............................. 4 2.4 Random Number Generation . 4 2.5 Elliptic Curve Domain Parameter Generation and Validation . 5 3 ECQV Implicit Certificate Scheme 5 3.1 Overview . 5 3.2 Prerequisites: ECQV Setup . 7 3.2.1 Certificate Encoding Methods . 7 3.3 Certificate Request: Cert Request ............................ 8 3.4 Certificate Generation Process: Cert Generate ..................... 8 3.5 Certificate Public Key Extraction Process: Cert PK Extraction ............ 10 3.6 Processing the Response to a Cert Request: Cert Reception .............. 10 3.7 ECQV Self-Signed Certificate Generation Scheme . 11 3.8 ECQV Self-Signed Implicit Certificate Public Key Extraction . 12 A Glossary 14 A.1 Terms . 14 A.2 Acronyms . 14 A.3 Notation . 15 B Commentary 16 C Representation of ECQV Certificate Structures 20 Contents Page i of iii SEC 4 Ver. 1.0 C.1 Fixed-Length Fields . 20 C.2 ASN.1 Encodings: Minimal and X.509-Compliant . 21 D References 28 Page ii of iii Contents SEC 4 Ver.
    [Show full text]
  • Security of ECQV-Certified ECDSA Against Passive Adversaries
    Security of ECQV-Certified ECDSA Against Passive Adversaries Daniel R. L. Brown,∗ Matthew J. Campagna∗ and Scott A. Vanstone∗ March 9, 2011 Abstract We show that the elliptic curve Qu-Vanstone implicit certificate scheme (ECQV), when composed with the Elliptic Curve Digital Signature Algorithm (ECDSA), is secure against passive adversaries under the combined assumption of the random oracle model and the generic group model,—if the ECQV certificate itself is excluded from the signable message space, because of an attack of Kravitz. In contrast, we detail an attack on the composition of another implicit certificate scheme, proposed by Pintsov and Vanstone for Optimal Mail Certificates (OMC), and ECDSA. This composition attack forges an implicitly certified ECDSA signature, and is passive in the sense of needing no interaction with the signer or the certification authority. (Pintsov and Vanstone did not propose combining OMC with ECDSA.) 1 Introduction A certification authority (CA) plays a central role in a secure public-key infrastructure as the root of trust. A CA binds an entity’s identity to its public-key by the creation of certificates. These certificates are typically comprised of a data portion, containing an identity element and a public key, and a signature on that data produced by the CA. Assurances on the validity of the certificate is provided by verifying the signature on the data portion using the CA’s public key. A valid signature on a certificate bears witness that the certificate has not been modified and the entity provided evidence to the CA that it had possession of the associated private key, such as by means of a signed certificate request, and is the identified entity according to the CA’s enrollment policies.
    [Show full text]
  • Arxiv:1907.05527V1 [Cs.CR] 12 Jul 2019 Impacting Our Society
    A Federated Lightweight Authentication Protocol for the Internet of Things Maria L. B. A. Santosa, Jéssica C. Carneiroa, Antônio M. R. Francoa, Fernando A. Teixeirab, Marco A. Henriquesc, Leonardo B. Oliveirad,a,∗ aUFMG, Belo Horizonte, Brazil bUFSJ, Ouro Branco, Brazil cUnicamp, Campinas, Brazil dVisiting professor at Stanford University, Stanford, USA Abstract Considering the world’s IoT development and market, it is necessary to guarantee the se- curity of the developed IoT applications as well as the privacy of their end users. In this sense, Federated Identity Management (FIdM) systems can be of great help as they improve user authentication and privacy. In this paper, we claim that traditional FIdM are mostly cumbersome and then ill-suited for IoT. As a solution to this problem, we come up with a federated identity authentication protocol exclusively tailored to IoT. Federated Lightweight Authentication of Things (FLAT), our solution, replaces weighty protocols and asymmetric cryptographic primitives used in traditional FIdM by lighter ones. For instance, FLAT syner- gistically combines symmetric cryptosystems and Implicit Certificates. The results show that FLAT can reduce the data exchange overhead by around 31% when compared to a baseline solution. FLAT’s Client is also more efficient than the baseline solution in terms of data trans- mitted, data received, total data exchange, and computation time. Our results indicate that FLAT runs efficiently even on top of resource-constrained devices like Arduino. Keywords: Internet of Things, authentication, federated identity management 1. Introduction The development of the Internet of Things (IoT) Atzori et al. (2010); Gubbi et al. (2013); Borgia (2014) is a national priority in several countries around the world and is significantly arXiv:1907.05527v1 [cs.CR] 12 Jul 2019 impacting our society.
    [Show full text]
  • Certificateless Public Key Signature Schemes from Standard Algorithms
    Certificateless Public Key Signature Schemes from Standard Algorithms (Expanded Version) Zhaohui Cheng1 and Liqun Chen2 1 Olym Info. Sec. Tech. Ltd. [email protected] 2 Surrey University [email protected] Abstract Certificateless public key cryptography (CL-PKC) is designed to have suc- cinct public key management without using certificates at the same time avoid the key-escrow attribute in the identity-based cryptography. However, it ap- pears difficult to construct CL-PKC schemes from standard algorithms. Secu- rity mechanisms employing self-certified key (also known as implicit certificate) can achieve same goals. But there still lacks rigorous security definitions for implicit-certificate-based mechanisms and such type of schemes were not ana- lyzed formally and often found vulnerable to attacks later. In this work, we first unify the security notions of these two types of mech- anisms within an extended CL-PKC formulation. We then present a general key-pair generation algorithm for CL-PKC schemes and use it with the key prefixing technique to construct certificateless public key signature (CL-PKS) schemes from standard algorithms. The security of the schemes is analyzed within the new model, and it shows that the applied technique helps defeat known-attacks against existing constructions. The resulting schemes could be quickly deployed based on the existing stan- dard algorithm implementations. They are particularly useful in the Internet of Things (IoT) to provide security services such as entity authentication, data integrity and non-repudiation because of their low computation cost, bandwidth consumption and storage requirement. 1 Contents 1 Introduction 3 1.1 Related Work .
    [Show full text]
  • A Closer Look at PKI: Security and Efficiency
    A Closer Look at PKI: Security and Efficiency Alexandra Boldyreva1 and Marc Fischlin2 and Adriana Palacio3 and Bogdan Warinschi4 1Georgia Institute of Technology, USA. [email protected] 2Darmstadt University of Technology, Germany. [email protected] 3Bowdoin College, USA. [email protected] 4University of Bristol, UK. [email protected] April 13, 2007 Abstract In this paper we take a closer look at the security and efficiency of public-key encryption and sig- nature schemes in public-key infrastructures (PKI). Unlike traditional analyses which assume an “ideal” implementation of the PKI, we focus on the security of joint constructions that consider the certification authority (CA) and the users, and include a key-registration protocol and the algorithms of an encryption or a signature scheme. We therefore consider significantly broader adversarial capabilities. Our analysis clarifies and validates several crucial aspects such as the amount of trust put in the CA, the necessity and specifics of proofs of possession of secret keys, and the security of the basic primitives in this more complex setting. We also provide constructions for encryption and signature schemes that provably satisfy our strong security definitions and are more efficient than the corresponding traditional constructions that assume a digital certificate issued by the CA must be verified whenever a public key is used. Our results address some important aspects for the design and standardization of PKIs, as targeted for example in the standards project ANSI X9.109. 1 Introduction Public key cryptography implicitly relies on the existence of a public-key infrastructure (PKI), where each user has a pair of public and secret keys for the cryptosystem, and that this association is publicly available.
    [Show full text]
  • Energy/Security Scalable Mobile Cryptosystem
    The 14’” IEEE 2003 International Symposium on PersonalJndoor and Mobile Radio Communication Proceedings Energy/Security Scalable Mobile Cryptosystem Qiang Huang, Hisashi Kobayashi and Bede Liu Daqing Gu and Jinyun Zhang Department of Electrical Engineering Mitsubishi Electric Research Laboratories Princeton University 201 Broadway Princeton, NJ 08544, USA Cambridge, MA 02139, USA Abstract-Time-sensitive nobile commerce is vulnerable to security requirements, or when the node is in low power message authentication delays. Significant power consumption status. For critical commercial and military applications we incurred by cryptography is another limiting factor of most propose a secure routing protocol with faulty link detection mobile devices. In this paper, we present a scalable mobile based on an efficient authentication scheme combing the use cryptosystem, which installs a group key and an elliptic curve privatelpublic key pair in each device to enable both symmetric of elliptic curve cryptography (ECC) and hash functions. key and public key cryptography. Scalable key establishment Section 4 summarizes this paper. protocols and secure routing protocols with scalable authentication are proposed to make tradeoffs between security 11. SCALABLE KEY ESTABLISHMENT and energy, according to different mobile applications. In this section, we propose three different key establishment protocols for mobile networks according to different application scenarios, the first one based on pure 1. INTRODUCTION symmetric key cryptography and suitable for toysfgames home Secure and fast transmission of sensitive digital networking, the second based on a hybrid of symmetric key information ovcr wireless channels has become increasingly and public key cryptography and designed for residential or important. The use of public key cryptography consumes a small commercial wireless network deployment, and the last significant portion of the overall system resource.
    [Show full text]