Login / Signup
Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif.
Kaouthar Chetioui
Ghizlane Orhanou
Hicham Bensaid
Ilias Cherkaoui
Youness Chibi
Published in:
EUSPN/ICTH (2019)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
cryptographic protocols
symbolic model checking
security properties
bounded model checking
program slicing
artificial intelligence
reinforcement learning
software engineering
temporal logic
expert systems
access control
security protocols