Sciweavers

18697 search results - page 250 / 3740
» Systemic Security Management
Sort
View
CSFW
2010
IEEE
15 years 10 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
SP
2002
IEEE
160views Security Privacy» more  SP 2002»
15 years 6 months ago
On the Composition of Secure Systems
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
Heiko Mantel
CCS
2006
ACM
15 years 10 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen
HOST
2008
IEEE
16 years 1 months ago
Trustworthy System Security through 3-D Integrated Hardware
Ted Huffmire, Jonathan Valamehr, Timothy Sherwood,...