Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto. Relationship of Three Cryptographic Channels in the UC Framework. In Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai, editors, Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. Volume 5324 of Lecture Notes in Computer Science, pages 268-282, Springer, 2008. [doi]