CrossRef Text and Data Mining
Result of CrossRef Text and Data Mining Search is the related articles with entitled article. If you click link1 or link2 you will be able to reach the full text site of selected articles; however, some links do not show the full text immediately at now. If you click CrossRef Text and Data Mining Download icon, you will be able to get whole list of articles from literature included in CrossRef Text and Data Mining.
A Verified Formal Specification of A Secured Communication Method For Smart Card Applications
Donald D. Kim
J Appropr Technol. 2021;7(2):172-187.   Published online November 20, 2021
DOI: https://doi.org/10.37675/jat.2021.7.2.172

Excel Download

A Verified Formal Specification of A Secured Communication Method For Smart Card Applications
Academic Society for Appropriate Technology. 2021;7(2):172-187   Crossref logo
Link1 Link2 Link3

Java Card Virtual Machine Compromising from a Bytecode Verified Applet
Lecture Notes in Computer Science. 2016;75-88   Crossref logo
Link1

Logical Attacks on Secured Containers of the Java Card Platform
Lecture Notes in Computer Science. 2017;122-136   Crossref logo
Link1

A Secured Smart National Identity Card Management Design using Blockchain
2020 2nd International Conference on Advanced Information and Communication Technology (ICAICT). 2020;   Crossref logo
Link1

Dutch burns database secured by biometrics and smart cards
Card Technology Today. 2001;13(6):7-8   Crossref logo
Link1 Link2

Formal Specification Ensuring Security at Entrance and Exit of Smart Parking System
2021 International Conference on Communication Technologies (ComTech). 2021;   Crossref logo
Link1

Visa develops specification for contactless smart cards
Card Technology Today. 2002;14(11):1-2   Crossref logo
Link1 Link2

The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
Lecture Notes in Computer Science. 1999;348-368   Crossref logo
Link1

FM8501: A formal specification
Lecture Notes in Computer Science. 1994;93-102   Crossref logo
Link1

Smart-card basics
Multi-application Smart Cards. 2007;17-28   Crossref logo
Link1