2043 search results - page 40 / 409 » Reasoning About Security Models |
VOTEID
2007
Springer
14 years 4 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...
ARCS
2006
Springer
14 years 2 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...
LPAR
2007
Springer
14 years 4 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...
AVI
2010
13 years 11 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...
HOST
2011
IEEE
12 years 10 months 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 ...