947 search results - page 112 / 190 » HMM-Based Trust Model |
150
Voted
HOST
2011
IEEE
14 years 9 days ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
122
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
109
Voted
ESORICS
2000
Springer
15 years 4 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...
98
Voted
ACSC
2008
IEEE
15 years 7 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...
100
click to vote
IEEEARES
2006
IEEE
15 years 6 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...