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. © 2010 Springer.
CITATION STYLE
Gomes, B., Déharbe, D., Moreira, A., & Moraes, K. (2010). Applying the B method for the rigorous development of smart card applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5977 LNCS, pp. 203–216). https://doi.org/10.1007/978-3-642-11811-1_16
Mendeley helps you to discover research relevant for your work.