Login / Signup
Modeling and Verification of the Worth-One-Minute Security Protocols.
Alessandro Aldini
Alessandro Bogliolo
Saverio Delpriori
Lorenz Cuno Klopfenstein
Giorgia Remedi
Published in:
ITASEC (2020)
Keyphrases
</>
security protocols
automated design
cryptographic protocols
artificial immune algorithm
security properties
model checking
authentication protocol
security services
real time
databases
security requirements
security mechanisms