Sign in
Verified interoperable implementations of security protocols.
Karthikeyan Bhargavan
Cédric Fournet
Andrew D. Gordon
Stephen Tse
Published in:
ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
</>
security protocols
automated design
security services
cryptographic algorithms
artificial immune algorithm
key management
authentication protocol
web services
security properties
digital libraries
metadata
secure communication
security mechanisms
cryptographic protocols
artificial intelligence
rfid tags