852 search results - page 15 / 171 » Model-Checking Access Control Policies |
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
The Electronic Medical Record (EMR) integrates heterogeneous information within a Healthcare Institution stressing the need for security and access control. The Biostatistics and ...
IFIP
2003
Springer
14 years 1 months ago
2003
Springer
The design of an efficient Medium Access Control (MAC) is challenging in ad-hoc networks where users can enter, leave or move inside the network without any need for prior configu...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
ICT
2004
Springer
14 years 2 months ago
2004
Springer
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...