8644 search results - page 167 / 1729 » On the Composition of Secure Systems |
159
click to vote
FTDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
171
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
181
click to vote
LCN
1999
IEEE
15 years 11 months ago
1999
IEEE
Maintaining the integrity of large-scale networks is becoming an increasingly daunting task as networks expand at an unprecedented rate. The majority of present network monitoring...
131
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
182
click to vote
DLOG
2009
15 years 7 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...