A Dolev-Yao-Based Definition of Abuse-Free Protocols.

Detlef Kähler Ralf Küsters Thomas Wilke

Published in: ICALP (2) (2006)

Keyphrases

neural network
data sets
databases
real world
information retrieval
web services
security protocols
communication protocol