8644 search results - page 374 / 1729 » On the Composition of Secure Systems |
293
click to vote
ESWS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
234
click to vote
FOSSACS
2011
Springer
14 years 11 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
200
click to vote
IEEEARES
2009
IEEE
16 years 2 months ago
2009
IEEE
The implementation of security principles, like least privilege, in a software architecture is difficult, as no systematic rules on how to apply them in practice exist. As a resu...
202
click to vote
CANS
2009
Springer
15 years 11 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
189
click to vote
DBSEC
2003
15 years 9 months ago
2003
In this paper we examine undesired inference attacks from distributed public XML documents. An undesired inference is a chain of reasoning that leads to protected data of an organ...