Update Semantics of Security Protocols.

Arjen Hommersom John-Jules Ch. Meyer Erik P. de Vink

Published in: Synth. (2004)

Keyphrases

security protocols
update semantics
automated design
answer set programming
deontic logic
key management
knowledge representation and reasoning
security mechanisms
rfid tags
database
artificial intelligence
web services
knowledge representation
lightweight
security requirements