2043 search results - page 40 / 409 » Reasoning About Security Models |
119
Voted
VOTEID
2007
Springer
15 years 6 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
101
Voted
ARCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
106
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
97
Voted
AVI
2010
15 years 1 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
148
Voted
HOST
2011
IEEE
14 years 4 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 ...