Login / Signup
Security Protocols as Choreographies.
Alessandro Bruni
Marco Carbone
Rosario Giustolisi
Sebastian Mödersheim
Carsten Schürmann
Published in:
Protocols, Strands, and Logic (2021)
Keyphrases
</>
security protocols
automated design
security services
cryptographic algorithms
security properties
secure communication
key management
authentication protocol
artificial immune algorithm
cryptographic protocols
rfid tags
security requirements
security mechanisms
similarity search