Amanote Research
Register
Sign In
Modelling Smart Card Security Protocols in SystemC TLM
doi 10.1109/euc.2010.102
Full Text
Open PDF
Abstract
Available in
full text
Date
December 1, 2010
Authors
Aisha Bushager
Mark Zwolinski
Publisher
IEEE
Related search
Smart Card Programming and Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Issues in Smart Card Authentication Scheme
International Journal of Computer Theory and Engineering
TLM Platform Based on SystemC for Hybrid MSR Topology
International Journal of Computer Science Issues
Proving Transaction and System-Level Properties of Untimed SystemC TLM Designs
Formal Verification of Security Properties of Smart Card Embedded Source Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Study on Smart Card Security Evaluation Criteria for Side Channel Attacks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An ATM Security Measure for Smart Card Transactions to Prevent Unauthorized Cash Withdrawal
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Smart OpenID: A Smart Card Based OpenID Protocol
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Rigorous Communication Modelling at Transaction Level With Systemc
