๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications

โœ Scribed by Denis Sabatier; Pierre Lartigue

Book ID
111564540
Publisher
Springer
Year
2000
Tongue
English
Weight
213 KB
Volume
17
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] FMโ€™9
[Lecture Notes in Computer Science] FMโ€™99 โ€” Formal Methods Volume 1708 || The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
โœ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 178 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.

Multi application smart card schemes: Da
Multi application smart card schemes: Data protection: multi-application smart cards: the use of global unique identifiers for cross-profiling purposes โ€” Part I
โœ Ewout Keuleers; Jean-Marc Dinant ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 181 KB

This article, consisting of three parts, will comment on how the opportunities offered by multi-application smart card schemes can be reconciled with data protection requirements. In the first part, the focus will be on the regulatory framework of the smart card manufacturer and the legal requiremen