• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Specification and Validation of Behavioural Protocols in the rCOS Modeler.

Zhenbang ChenCharles MorissetVolker 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