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 |
Year | DOI | Venue |
---|---|---|
1993 | 10.1109/CSFW.1993.246632 | Franconia, NH |
Keywords | Field | DocType |
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 | Cryptographic protocol,Computer science,Theoretical computer science,Formal specification,Cryptographic primitive,Controlled Cryptographic Item,Formal methods,Security of cryptographic hash functions,Communications security,Distributed computing,Formal verification | Conference |
Citations | PageRank | References |
10 | 2.56 | 5 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pierre Bieber | 1 | 10 | 2.56 |
Nora Boulahia-cuppens | 2 | 38 | 5.51 |
Lehmann, T. | 3 | 10 | 2.89 |
van Wickeren, E. | 4 | 10 | 2.56 |