Name
Abstract | ||
|---|---|---|
This paper describes a case study in refining an abstract security protocol description down to a concrete implementation on a Java Card smart card. The aim is to consider the decisions that have to be made in the development of such an implementation in a systematic way, and to investigate the possibilities of formal specification and verification in the design process and for the final implementation. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1007/978-3-540-39881-3_19 | LECTURE NOTES IN COMPUTER SCIENCE |
Keywords | DocType | Volume |
java card,design process,security protocol,smart card | Conference | 2802 |
ISSN | Citations | PageRank |
0302-9743 | 12 | 0.93 |
References | Authors | |
8 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Engelbert Hubbers | 1 | 108 | 10.20 |
| Martijn Oostdijk | 2 | 132 | 13.89 |
| Erik Poll | 3 | 1034 | 89.71 |