Login / Signup

Secure and Anonymous Communication Technique: Formal Model and Its Prototype Implementation.

Keita EmuraAkira KanaokaSatoshi OhtaKazumasa OmoteTakeshi Takahashi
Published in: IEEE Trans. Emerg. Top. Comput. (2016)
Keyphrases
  • formal model
  • security patterns
  • security properties
  • anonymous communication
  • test bed
  • decision making
  • information technology