8644 search results - page 47 / 1729 » On the Composition of Secure Systems |
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
PDCAT
2007
Springer
14 years 1 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
CCS
2000
ACM
14 years 1 days ago
2000
ACM
CONCUR
2001
Springer
14 years 6 days ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...