A Generic Graphical Specification Environment for Security Protocol Modelling.

Elton Saul Andrew Hutchison

Published in: SEC (2000)

Keyphrases

security protocols
high level
mobile robot
security services
reactive systems
artificial immune algorithm
real time
databases
cryptographic algorithms
information systems
autonomous agents
key management