Login / Signup

FSM Simulation of Cryptographic Protocols Using Algebraic Processor.

Alexander FrolovAlexander Vinnikov
Published in: DepCoS-RELCOMEX (2014)
Keyphrases
  • cryptographic protocols
  • security properties
  • standard model
  • information systems
  • authentication protocol