Login / Signup

DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice.

Vincent ChevalSteve KremerItsaka Rakotonirina
Published in: TheoretiCS (2024)
Keyphrases
  • security protocols
  • security properties
  • automated design
  • artificial immune algorithm
  • security services
  • sensor networks
  • formal model
  • cryptographic algorithms
  • software engineering
  • source code