Crypto - News

Abstract:
What does it mean for a cryptographic protocol to be "secure"? Capturing the security requirements of cryptographic tasks in a meaningful way is a slippery business: On the one hand, we want security criteria that prevent "all feasible attacks" against a protocol. On the other hand, we want our criteria to not be overly restrictive; that is, we want them to accept those protocols that do not succumb to "feasible attacks". This tutorial studies a general methodology for defining security of cryptographic protocols. The methodology, often dubbed the "trusted party paradigm", allows for defining the security requirements of practically any cryptographic task in a unified and natural way. We first review a basic formulation that captures security in isolation from other protocol instances. Next we address the secure composition problem, namely the vulnerabilities resulting from the often unexpected interactions among different protocol instances that run alongside each other in the same system. We demonstrate the limitations of the basic formulation and review a formulation that guarantees security of protocols even in general composite systems.

Autor: JP

Heuristické vyhledání souvisejících článků v archívu NEWS

• Giesecke & Devrient awarded IT security common criteria certificate for SECCOS bank signature card
• Crypto gripes, election security, and mandatory cybersec school: Uncle Sam´s cyber task force emits todo list for govt
• Report finds little being done about security threat posed by quantum computing
• What cryptographic key generation needs is a good source of entropy
• Growth rates of cryptographic keys and certificates
• WSU mathematician breaks down how to defend against quantum computing attacks