Login / Signup
Preserving Unlikability against Covert Channels in Multi-Party Security Protocols.
Mikaël Ates
Francesco Buccafurri
Jacques Fayolle
Gianluca Lax
Published in:
SEBD (2011)
Keyphrases
</>
multi party
security protocols
privacy preserving
automated design
security properties
security services
authentication protocol
security mechanisms
key management
rfid tags
description language
artificial immune algorithm
real time