394 search results - page 45 / 79 » Composition mechanisms for retrenchment |
106
click to vote
CONEXT
2006
ACM
15 years 5 months ago
2006
ACM
In the context of a reconfigurable transport protocol, this paper introduces two protocol instances based on the composition and specialisation of the TFRC congestion control and...
GG
2008
Springer
15 years 27 days ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
CCS
2009
ACM
16 years 13 days ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
: © Solving the Transitive Access Problem for the Services Oriented Architecture Alan H. Karp, Jun Li HP Laboratories HPL-2008-204R1 SOA, web services, access control, RBAC, PBAC,...
FSTTCS
2009
Springer
15 years 6 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...