Title :
Abstract machines for communication security
Author :
Bieber, Pierre ; Boulahia-Cuppens, Nora ; Lehmann, Thomas ; Van Wickeren, Erich
Author_Institution :
ONERA-CERT, Toulouse, France
Abstract :
An existing formal software development method called B is used to build and verify specifications of a communication channel, cryptographic functions and security properties. The authors show on an example how these basic specifications may be combined in order to write abstract specifications of cryptographic protocols and to verify their security
Keywords :
cryptography; formal specification; formal verification; protocols; B; abstract specifications; basic specifications; communication channel; communication security; cryptographic functions; cryptographic protocols; formal software development method; security properties; Communication channels; Communication system security; Context; Cryptographic protocols; Cryptography; Mathematical model; Specification languages; Topology; Writing;
Conference_Titel :
Computer Security Foundations Workshop VI, 1993. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-3950-4
DOI :
10.1109/CSFW.1993.246632
