Dynamic Tags for Security Protocols.

Myrto Arapinis Stéphanie Delaune Steve Kremer

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

security protocols
rfid tags
automated design
dynamic environments
cryptographic algorithms
real time
databases
security services
lightweight
cost effective
part of speech
authentication protocol
artificial immune algorithm