Security Handshake Pitfalls

Similar documents
Security Handshake Pitfalls

CSC 474/574 Information Systems Security

Outline. Login w/ Shared Secret: Variant 1. Login With Shared Secret: Variant 2. Login Only Authentication (One Way) Mutual Authentication

Authentication Handshakes

Security Handshake Pitfalls

Dr. Jinyuan (Stella) Sun Dept. of Electrical Engineering and Computer Science University of Tennessee Fall 2010

Security Handshake Pitfalls

6. Security Handshake Pitfalls Contents

CIS 6930/4930 Computer and Network Security. Topic 6.2 Authentication Protocols

0/41. Alice Who? Authentication Protocols. Andreas Zeller/Stephan Neuhaus. Lehrstuhl Softwaretechnik Universität des Saarlandes, Saarbrücken

CSCI 667: Concepts of Computer Security. Lecture 9. Prof. Adwait Nadkarni

Protocols II. Computer Security Lecture 12. David Aspinall. 17th February School of Informatics University of Edinburgh

Password. authentication through passwords

10/1/2015. Authentication. Outline. Authentication. Authentication Mechanisms. Authentication Mechanisms. Authentication Mechanisms

HOST Authentication Overview ECE 525

Cryptography CS 555. Topic 16: Key Management and The Need for Public Key Cryptography. CS555 Spring 2012/Topic 16 1

Authentication Protocols. Outline. Who Is Authenticated?

Test 2 Review. (b) Give one significant advantage of a nonce over a timestamp.

CIS 6930/4930 Computer and Network Security. Topic 7. Trusted Intermediaries

Authentication. Strong Password Protocol. IT352 Network Security Najwa AlGhamdi

Cryptographic Protocols 1

Session key establishment protocols

Test 2 Review. 1. (10 points) Timestamps and nonces are both used in security protocols to prevent replay attacks.

Session key establishment protocols

Cryptographic Checksums

Cristina Nita-Rotaru. CS355: Cryptography. Lecture 17: X509. PGP. Authentication protocols. Key establishment.

Issues. Separation of. Distributed system security. Security services. Security policies. Security mechanism

User Authentication Protocols

CS 470 Spring Security. Mike Lam, Professor. a.k.a. Why on earth do Alice and Bob need to talk so much?!? Content taken from the following:

Lecture 5: Protocols - Authentication and Key Exchange* CS 392/6813: Computer Security Fall Nitesh Saxena

1.264 Lecture 27. Security protocols Symmetric cryptography. Next class: Anderson chapter 10. Exercise due after class

L13. Reviews. Rocky K. C. Chang, April 10, 2015

Real-time protocol. Chapter 16: Real-Time Communication Security

Data Security and Privacy. Topic 14: Authentication and Key Establishment

Security and Privacy in Computer Systems. Lecture 7 The Kerberos authentication system. Security policy, security models, trust Access control models

Network Security CHAPTER 31. Solutions to Review Questions and Exercises. Review Questions

User Authentication Protocols Week 7

Lecture 1: Course Introduction

CS 470 Spring Security. Mike Lam, Professor. a.k.a. Why on earth do Alice and Bob need to share so many secrets?!?

ECE596C: Handout #9. Authentication Using Shared Secrets. Electrical and Computer Engineering, University of Arizona, Loukas Lazos

Distributed Systems. 25. Authentication Paul Krzyzanowski. Rutgers University. Fall 2018

Ideal Security Protocol. Identify Friend or Foe (IFF) MIG in the Middle 4/2/2012

CS November 2018

Introduction. Trusted Intermediaries. CSC/ECE 574 Computer and Network Security. Outline. CSC/ECE 574 Computer and Network Security.

Outline More Security Protocols CS 239 Computer Security February 4, 2004

Cryptography & Key Exchange Protocols. Faculty of Computer Science & Engineering HCMC University of Technology

Cryptography and Network Security. Prof. D. Mukhopadhyay. Department of Computer Science and Engineering. Indian Institute of Technology, Kharagpur

Simple Security Protocols

Computer Security. 08r. Pre-exam 2 Last-minute Review Cryptography. Paul Krzyzanowski. Rutgers University. Spring 2018

Identification Schemes

CS 494/594 Computer and Network Security

Computer Security 4/12/19

L7: Key Distributions. Hui Chen, Ph.D. Dept. of Engineering & Computer Science Virginia State University Petersburg, VA 23806

Trusted Intermediaries

AIT 682: Network and Systems Security

Modelling and Analysing of Security Protocol: Lecture 1. Introductions to Modelling Protocols. Tom Chothia CWI

User Authentication. Modified By: Dr. Ramzi Saifan

Lecture 19: cryptographic algorithms

Message authentication

Strong Password Protocols

Lecture 15: Cryptographic algorithms

Cryptography and Network Security

CSC 482/582: Computer Security. Security Protocols

Key Establishment and Authentication Protocols EECE 412

User Authentication. Modified By: Dr. Ramzi Saifan

ICT 6541 Applied Cryptography Lecture 8 Entity Authentication/Identification

(2½ hours) Total Marks: 75

UNIT - IV Cryptographic Hash Function 31.1

Acknowledgments. CSE565: Computer Security Lectures 16 & 17 Authentication & Applications

CS /29/17. Paul Krzyzanowski 1. Fall 2016: Question 2. Distributed Systems. Fall 2016: Question 2 (cont.) Fall 2016: Question 3

Information Security CS 526

CS 161 Computer Security

Unit-VI. User Authentication Mechanisms.

1 Identification protocols

CSCE 813 Internet Security Kerberos

Spring 2010: CS419 Computer Security

Securing Internet Communication: TLS

Network Security (NetSec)

Elements of Security

CS Protocol Design. Prof. Clarkson Spring 2017

Authentication in Distributed Systems

CSC/ECE 774 Advanced Network Security

A SECURE PASSWORD-BASED REMOTE USER AUTHENTICATION SCHEME WITHOUT SMART CARDS

Key Agreement. Guilin Wang. School of Computer Science, University of Birmingham

Authentication in real world: Kerberos, SSH and SSL. Zheng Ma Apr 19, 2005

Network Security. Kerberos and other Frameworks for Client Authentication. Dr. Heiko Niedermayer Cornelius Diekmann. Technische Universität München

Computer Security. 10. Exam 2 Review. Paul Krzyzanowski. Rutgers University. Spring 2017

Digital Signatures. Public-Key Signatures. Arbitrated Signatures. Digital Signatures With Encryption. Terminology. Message Authentication Code (MAC)

Security protocols and their verification. Mark Ryan University of Birmingham

Elements of Cryptography and Computer and Network Security Computer Science 134 (COMPSCI 134) Fall 2016 Instructor: Karim ElDefrawy

Computer Security 3/20/18

Computer Security. 08. Authentication. Paul Krzyzanowski. Rutgers University. Spring 2018

Lecture 9. Authentication & Key Distribution

Robust EC-PAKA Protocol for Wireless Mobile Networks

Dr. Jinyuan (Stella) Sun Dept. of Electrical Engineering and Computer Science University of Tennessee Fall 2010

Lecture Nov. 21 st 2006 Dan Wendlandt ISP D ISP B ISP C ISP A. Bob. Alice. Denial-of-Service. Password Cracking. Traffic.

"When you have crossed the river and have advanced a little further, some aged women weaving at the loom will beg you to lend a hand for a short

CPSC 467b: Cryptography and Computer Security

A Secure Simple Authenticated Key Exchange Algorithm based Authentication for Social Network

CIS 6930/4930 Computer and Network Security. Final exam review

Transcription:

Cryptographic Authentication Security Handshake Pitfalls Ahmet Burak Can Hacettepe University abc@hacettepe.edu.tr Password authentication is subject to eavesdropping Alternative: Cryptographic challenge-response Symmetric key Public key 1 2 Symmetric Key Challenge-esponse Symmetric Key Challenge-esponse An example protocol: An alternative protocol: I m I m a challenge F(K AB,) K AB {} Authentication not mutual (login only) Subject to connection hijacking (login only) Subject to off-line password guessing (if K is derived from password) s database has keys in the clear 3 equires reversible cryptography Subject to dictionary attack, without eavesdropping, if is recognizable Can be used for mutual authentication if is recognizable and has limited lifetime 4 1

Symmetric Key Challenge-esponse A one-message protocol: Public Key Challenge-esponse By signature: I m, K AB {timestamp} I m Easy integration into password-sending systems [] A More efficient: Single message, stateless Care needed against replays: timeout needed Care needed if key is common across servers Clock has to be protected as well Alternatively, with a hash function, send, I m, timestamp, H(K AB,timestamp) 5 6 Public Key Challenge-esponse By decryption: Mutual Authentication An example protocol: I m I m {} A 1 F(K AB, 1 ) Problem: (or ) can get to sign/decrypt any text he chooses. Solutions: 2 F(K AB, 2 ) Never use the same key for different purposes (e.g., for login and signature) Use formatted challenges 7 8 2

Mutual Authentication with Few Messages Number of messages for mutual authentication can be reduced: I m, 2 1, F(K AB, 2 ) F(K AB, 1 ) eflection Attack: Original session: Decoy session: I m, 2 1, F(K AB, 2 ) F(K AB, 1 ) However, this protocol is vulnerable to I m, 1 eflection attack 3, F(K AB, 1 ) Dictionary attack : can do dictionary attack against K AB acting as, without eavesdropping. 9 10 esults from eflection Attack A Modified Mutual Authentication Scheme Solutions: Different keys for and Formatted challenges, different for and Principle: Initiator should be the first to prove its identity Solution against both problems: I m 1 F(K AB, 1 ), 2 F(K AB, 2 ) Dictionary attack is still possible if can impersonate. 11 12 3

Mutual Authentication with Public Keys Session Key Establishment I m, { 2 } B A session key is needed for integrity protection and encryption in a communication session. It must be 2, { 1 } A 1 different for each session unguessable by an eavesdropper not K AB {x} for some x predictable/extractable by an attacker Session keys can be established by using Problem: How can the public/private keys be remembered by ordinary users? Symmetric encryption Public key encryption Possibly, they can be retrieved from a server with password based authentication & encryption. 13 14 Session Key Establishment with Symmetric Encryption I m Do not use K AB {} or K AB {+1} Take (K AB +1){} as the session key. K AB {} Session Key Establishment with Public Key Cryptosystem An alternative is to use Diffie-Helman key exchange algorithm. Another alternative with PKC, send additional random nonces {} A, {} B and use them to derive a session key. { 1 } B I m +1 K AB {+1} K 1 2 { 2 } A = K = 1 2 15 16 4

Key Establishment and Authentication with A simple protocol: Key Establishment and Authentication with Another simple protocol:, K A {, K AB } K B {, K AB }, K A {, K AB }, ticket B where ticket B = K B {, K AB }, ticket B Problem: Potential delayed key delivery to. (besides others) Problems: No freshness guarantee for K AB & need to authenticate 17 18 Nonces Needham-Schroeder Protocol Nonce: Something created for one particular occasion Nonce types: N 1,, andom numbers Timestamps K A {N 1,, K AB, ticket B } where ticket B = K B {K AB, } Sequence numbers andom nonces needed for unpredictability Obtaining random nonces from timestamps: encryption with a secret key. ticket B, K AB {N 2 } K AB {N 2-1, N 3 } K AB {N 3-1} 19 20 5

Needham-Schroeder Protocol Ticket is double-encrypted. (unnecessary) N 1 : for authenticating & freshness of K AB. N 2, N 3 : for key confirmation, mutual authentication Why are the challenges N 2, N 3 encrypted? Problem: doesn t have freshness guarantee for K AB (i.e., can t detect replays). eplaying Tickets Messages should be integrity protected. Otherwise, cutand-paste reflection attacks possible: replay ticket B, K AB {N 2 } K AB {N 2-1, N 3 } K AB {N 3-1} ticket B, K AB {N 3 } K AB {N 3-1, N 4 } 21 22 Expanded Needham-Schroeder Protocol Protocol Performance Comparison hello K B {N B } N 1,,, K B {N B } K A {N 1,, K AB, ticket B } where ticket B = K B {K AB,, N B } ticket B, K AB {N 2 } K AB {N 2-1, N 3 } Computational Complexity: (to minimize CPU time, power consumption) Number of private-key operations public-key bytes encrypted with secret key bytes hashed Communication Complexity: Number of message rounds Bandwidth consumption K AB {N 3-1} 23 24 6