C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Specification and Validation of Behavioural Protocols in the rCOS Modeler.
Zhenbang Chen
Charles Morisset
Volker Stolz
Published in:
FSEN (2009)
Keyphrases
</>
protocol specification
high level
data sets
conceptual model
modeling language
specification language
communication protocol
provably correct
authentication protocol
key distribution
cryptographic protocols