Handle System Protocol (ver 2.1) Specification.

Sam X. Sun Sean Reilly Larry Lannom Jason Petrone

Published in: RFC (2003)

Keyphrases

protocol specification
lightweight
high level
coloured petri nets
colored petri nets
formal verification
application layer
communication protocols
web services
multi agent systems
conceptual model
formal analysis
security analysis
elliptic curve