201 search results - page 3 / 41 » Securing Operating System Services Based on Smart Cards |
ESORICS
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
ADB
1994
13 years 9 months ago
1994
Database applications and technologies are of central importance in many information systems a person may encounter. To obtain services, the end-users are required a smart card (pl...
CARDIS
2006
Springer
13 years 9 months ago
2006
Springer
On-line casinos have experienced a great expansion since the generalized use of Internet started. There exist in the literature several proposals of systems allowing secure remote ...
CASES
2009
ACM
13 years 10 months ago
2009
ACM
Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN cod...
JCS
2002
13 years 5 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...