1134 search results - page 64 / 227 » Distributed Proving in Access-Control Systems |
124
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
146
click to vote
CSCWD
2001
Springer
15 years 7 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
141
click to vote
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
131
click to vote
ICNP
2006
IEEE
15 years 9 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...
129
click to vote
JALC
2006
15 years 3 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...