Login / Signup
Building secure and anonymous communication channel: formal model and its prototype implementation.
Keita Emura
Akira Kanaoka
Satoshi Ohta
Takeshi Takahashi
Published in:
SAC (2014)
Keyphrases
</>
formal model
communication channels
security patterns
security properties
database
predicate calculus
lightweight
efficient implementation
formal models
modular architecture
peer to peer
key management
probabilistic knowledge