Relationship of Three Cryptographic Channels in the UC Framework

DOI10.1007/978-3-540-88733-1_19MaRDI QIDQ5505476zbMATH OpenOpenAlexFDO

Authors Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto

Publication date 27 January 2009

Published in Provable Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88733-1_19

zbMATH Keywords

Direction-Indeterminable Channel (DIC)Probabilistic Input/Output Automaton (PIOA)Secure Channel (SC)Two-Anonymous Channel (2AC)Universal Composability (UC)

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• On secret sharing communication systems with two or three channels
• Three-Receiver Broadcast Channels With Common and Confidential Messages
• scientific article; zbMATH DE number 2202215
• Three systems for cryptographic protocol analysis
• Combined security analysis of the one- and three-pass unified model key agreement protocols
• Cryptanalysis of a simple three-party key exchange protocol
• Cryptanalysis and enhancements of three-party authenticated key exchange protocol using ECC
• On the (Non-)Equivalence of UC Security Notions
• Cryptanalysis of a communication-efficient three-party password authenticated key exchange protocol
• Progress in Cryptology - INDOCRYPT 2004

Cites work

• Analyzing security protocols using time-bounded task-PIOAs
• scientific article; zbMATH DE number 4187086 (Why is no real title available?)
• Task-structured probabilistic I/O automata
• Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols

Cited in

(3)

• Task-structured probabilistic I/O automata
• Secure Pseudonymous Channels
• Some (in)sufficient conditions for secure hybrid encryption

This page was built for publication: Relationship of Three Cryptographic Channels in the UC Framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505476)