Knowledge-Based Automated Repair of Authentication Protocols.

Borzoo Bonakdarpour Reza Hajisheykhi Sandeep S. Kulkarni

Published in: FM (2014)

Keyphrases

authentication protocol
smart card
security analysis
lightweight
data access
hash functions
data sets
data analysis
software engineering
low cost
wireless networks
embedded systems
rfid tags
public key
secret key
cryptographic protocols