Login / Signup

Formal Development of Authentication Protocols.

Pierre BieberNora Boulahia-Cuppens
Published in: Refine (1994)
Keyphrases
  • authentication protocol
  • software engineering
  • knowledge based systems
  • lightweight
  • distributed systems
  • security analysis