12637 search results - page 229 / 2528 » Security for Extensible Systems |
99
Voted
JCS
2002
15 years 2 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...
107
Voted
SIGOPSE
2000
ACM
15 years 7 months ago
2000
ACM
95
Voted
SRDS
1998
IEEE
15 years 6 months ago
1998
IEEE
99
Voted
SRDS
1998
IEEE
15 years 6 months ago
1998
IEEE
116
Voted
SRDS
1993
IEEE
15 years 6 months ago
1993
IEEE
