Decidability of context-explicit security protocols.

Ramaswamy Ramanujam S. P. Suresh

Published in: J. Comput. Secur. (2005)

Keyphrases

security protocols
contextual information
security mechanisms
automated design
artificial immune algorithm
web services
digital libraries
description logics
query answering
artificial intelligence
security services
cryptographic algorithms