Connector-Based Software Development: Deriving Secure Protocols.

Dusko Pavlovic

Browse the full FM paper archive.