Formal Reasoning for Security Protocol Correctness.

Kamel Adi Liviu Pene

Published in: SoMeT (2008)

Keyphrases

security protocols
formal models
artificial immune algorithm
security services
automated design
cryptographic algorithms
security mechanisms
authentication protocol
key management
knowledge base
formal model
knowledge representation
web services
data management