AnBx - Security Protocols Design and Verification.

Michele Bugliesi Paolo Modesti

Published in: ARSPA-WITS (2010)

Keyphrases

security requirements
security protocols
security analysis
automated design
cryptographic protocols
information systems
model checking
engineering design
cryptographic algorithms
real time
digital libraries
design process
wireless networks
formal methods
security services
functional verification