Building secure and anonymous communication channel: formal model and its prototype implementation.

Keita Emura, Akira Kanaoka, Satoshi Ohta, Takeshi Takahashi

Browse the full SAC paper archive.