852 search results - page 67 / 171 » Model-Checking Access Control Policies |
ESCIENCE
2006
IEEE
14 years 1 days ago
2006
IEEE
This paper describes the design and development of a flexible domain-based access control infrastructure for distributed Collaborative Environments. The paper proposes extensions ...
SACMAT
2009
ACM
14 years 4 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
ICISS
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Mobile Ad-hoc Networks (MANETs) are very dynamic networks with devices continuously entering and leaving the group. The highly dynamic nature of MANETs renders the manual...
TCS
2008
13 years 10 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
DEBS
2008
ACM
13 years 12 months ago
2008
ACM
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...