Attack model for verification of interval security properties for smart card C codes

2010 ◽  
Author(s):  
P. Berthomé ◽  
K. Heydemann ◽  
X. Kauffmann-Tourkestansky ◽  
J.-F. Lalande
Keyword(s):  
Smart Card ◽  
Attack Model ◽  
Security Properties

An Application Anti-Attack Model

2011 ◽  
Vol 255-260 ◽  
pp. 2197-2202
Author(s):  
Hong Jun He ◽  
Li Luo ◽  
Yang Wang ◽  
Zhi Peng Duan ◽  
Zhi He Fang ◽  
...  
Keyword(s):  
Information Security ◽  
Computer Technology ◽  
Formal Description ◽  
Important Research ◽  
Malicious Attack ◽  
Attack Model ◽  
Research Problems ◽  
Security Properties ◽  
Network Application

With the development of computer technology and network application, the safety of application has become one of the most important research problems in the field of information security. Firstly, the paper analyzes malicious attack approaches for applications. Secondly, this article proposes an application anti-attack model (AAM), and further presents the formal description of the model. Finally, this paper represents its good security properties and proves them.

Smart Card Application Development Using Java

2000 ◽  
Author(s):  
Uwe Hansmann ◽  
Martin S. Nicklous ◽  
Thomas Schäck ◽  
Frank Seliger
Keyword(s):  
Smart Card ◽  
Application Development

Improved remote authentication scheme with smart card

2009 ◽  
Vol 29 (4) ◽  
pp. 950-951
Author(s):  
Xin ZHANG ◽  
Fang-wei LI ◽  
Chun-lan PAN
Keyword(s):  
Smart Card ◽  
Authentication Scheme ◽  
Remote Authentication

Data Integrity

2017 ◽  
Author(s):  
Keith M. Martin
Keyword(s):  
Hash Function ◽  
Hash Functions ◽  
Data Integrity ◽  
Message Authentication ◽  
Authenticated Encryption ◽  
Authentication Codes ◽  
Basic Model ◽  
Function Design ◽  
Security Properties ◽  
Different Levels

This chapter discusses cryptographic mechanisms for providing data integrity. We begin by identifying different levels of data integrity that can be provided. We then look in detail at hash functions, explaining the different security properties that they have, as well as presenting several different applications of a hash function. We then look at hash function design and illustrate this by discussing the hash function SHA-3. Next, we discuss message authentication codes (MACs), presenting a basic model and discussing basic properties. We compare two different MAC constructions, CBC-MAC and HMAC. Finally, we consider different ways of using MACs together with encryption. We focus on authenticated encryption modes, and illustrate these by describing Galois Counter mode.

Sign in / Sign up

Export Citation Format

Share Document