8644 search results - page 367 / 1729 » On the Composition of Secure Systems |
211
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
229
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
183
click to vote
ACSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
193
click to vote
CSFW
2002
IEEE
16 years 15 days ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
175
click to vote
ACSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...