Login / Signup

A new model of formal design system of security authentication protocol.

Hui-bin Wang
Published in: WCNIS (2010)
Keyphrases
  • formal model
  • authentication protocol
  • formal methods