430 search results - page 9 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
150
Voted
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
160
Voted
SACMAT
2009
ACM
16 years 9 days ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
166
Voted
ICNP
2006
IEEE
15 years 12 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
163
Voted
SUTC
2008
IEEE
16 years 5 days ago
2008
IEEE
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...
198
click to vote
CSREASAM
2009
15 years 6 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...