989 search results - page 105 / 198 » An information-based model for trust |
ESORICS
2000
Springer
15 years 2 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...
87
Voted
ACSC
2008
IEEE
15 years 5 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
87
Voted
ICISC
2001
15 years 15 days ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...
104
click to vote
ICWS
2007
IEEE
15 years 16 days ago
2007
IEEE
The purpose of the XML Key Management Specification (XKMS) is to facilitate the use of a Public Key Infrastructure (PKI) by transferring the complexity associated with PKI to a t...