12637 search results - page 229 / 2528 » Security for Extensible Systems |
122
click to vote
JCS
2002
15 years 4 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...
112
Voted
SRDS
1998
IEEE
15 years 9 months ago
1998
IEEE
116
Voted
SRDS
1998
IEEE
15 years 9 months ago
1998
IEEE
145
Voted
SRDS
1993
IEEE
15 years 9 months ago
1993
IEEE
