Login / Signup

Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches.

Ivan GazeauSteve Kremer
Published in: ESORICS (2) (2017)
Keyphrases
  • automated analysis
  • security protocols
  • visual analysis
  • security properties
  • automated design
  • biomedical imaging
  • key management
  • security services
  • information systems
  • data analysis
  • data processing