8644 search results - page 396 / 1729 » On the Composition of Secure Systems |
190
click to vote
ACSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
196
click to vote
ESORICS
2003
Springer
16 years 24 days ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
181
click to vote
TRUST
2010
Springer
16 years 19 days ago
2010
Springer
Academic discourse on trust is fractured along disciplinary lines. Security theorists routinely use a definition of trust which, apparently, has little in common with any of the d...
223
click to vote
AGENTS
2001
Springer
16 years 3 days ago
2001
Springer
We present a centralized and a distributed algorithms for scheduling multi-task agents in heterogeneous networks. Our centralized algorithm has an upper bound on the overall compl...
166
click to vote
BNCOD
2006
15 years 9 months ago
2006
This paper introduces the Trust Obstacle Mitigation Model (TOMM), which uses the concept of trust assumptions to derive security obstacles, and the concept of misuse cases to model...