Login / Signup
Building Secure and Anonymous Communication Channel: Formal Model and its Prototype Implementation.
Keita Emura
Akira Kanaoka
Satoshi Ohta
Takeshi Takahashi
Published in:
CoRR (2014)
Keyphrases
</>
formal model
communication channels
security patterns
security properties
efficient implementation
database
security requirements
digital signature scheme
formal models
predicate calculus
software engineering
peer to peer
hardware implementation
security analysis