Abstract Machines for Communication Security

Machines for Communication Security Pierre Bieber, Nora Boulahia-Cuppens Thomas Lehmann, Erich van Wickeren ONERA-CERT CAP debis GEI 2 Av. E. Belin Oxfordstr. 12-16 F-31055, Toulouse D-5300, Bonn France Germany We use an existing formal software developement method called B in order to build and verify specicationsofacommunicationchannel,cryptographicfunctions and security properties. We show on an example how these basic specications may be combined in write abstract specications of cryptographic protocols and to verify their security.

• Type: Conference
• Year: 1993
• Where: CSFW
• Authors: Pierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, E. van Wickeren
• Keywords: Cap Debis Gei, CSFW 1993, Erich Van Wickeren, Security Pierre Bieber, Security Privacy