Relationship of Three Cryptographic Channels in the UC Framework

DOI10.1007/978-3-540-88733-1_19zbMath1204.94076OpenAlexW2046888488MaRDI QIDQ5505476

Tatsuaki Okamoto, Waka Nagao, Yoshifumi Manabe

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)

Related Items (2)

Task-structured probabilistic I/O automata ⋮ Some (in)sufficient conditions for secure hybrid encryption

Cites Work

• Unnamed Item
• Analyzing security protocols using time-bounded task-PIOAs
• Task-structured probabilistic I/O automata
• Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols

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