Abstract | ||
---|---|---|
The verification of cryptographic protocol specifications is an active research topic and has received much attention from the formal verification community. By contrast, the black-box testing of actual implementations of protocols, which is, arguably, as important as verification for ensuring the correct functioning of protocols in the "real" world, is little studied. We propose an approach for checking secrecy and authenticity properties not only on protocol specifications, but also on black-box implementations. The approach is compositional and integrates ideas from verification, testing, and learning. It is illustrated on the Basic Access Control protocol implemented in biometric passports. |
Year | Venue | Keywords |
---|---|---|
2007 | IFM | black-box testing,basic access control protocol,cryptographic protocol specification,integrating verification,biometric passport,protocol specification,black-box implementation,formal verification community,actual implementation,active research topic,authenticity property,black box testing,cryptographic protocol,access control,formal verification |
Field | DocType | Volume |
Functional verification,Programming language,Cryptographic protocol,Computer science,Intelligent verification,Runtime verification,Verification,Cryptographic primitive,Theoretical computer science,Software verification,Formal verification | Conference | 4591 |
ISSN | Citations | PageRank |
0302-9743 | 5 | 0.44 |
References | Authors | |
23 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martijn Oostdijk | 1 | 132 | 13.89 |
Vlad Rusu | 2 | 469 | 32.44 |
Jan Tretmans | 3 | 1624 | 97.10 |
R. G. De Vries | 4 | 5 | 0.44 |
T. A. C. Willemse | 5 | 92 | 4.15 |