The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Java Card Technology for Smart Cards: Architecture and Programmer's Guide
Java Card Technology for Smart Cards: Architecture and Programmer's Guide
JBTools: an experimental platform for the formal B method
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Towards a Full Formal Specification of the JavaCard API
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Embedding Formally Proved Code in a Smart Card: Converting B to C
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Automation of Java Card component development using the B method
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
An incremental development of the Mondex system in Event-B
Formal Aspects of Computing
BSmart: A Tool for the Development of Java Card Applications with the B Method
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Hi-index | 0.00 |
Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored information. A way of reaching these requirements is improving the quality of the development process of these applications. BSmart is a method and a corresponding tool designed to support the formal development of the complete Java Card smart card application, following the B formal method.