852 search results - page 68 / 171 » Model-Checking Access Control Policies |
JUCS
2007
13 years 10 months ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
IADIS
2004
13 years 11 months ago
2004
Distributed management of user profiles and identities allow reuse of profile information for different personalization services but also raises privacy issues. Users need a possi...
SACMAT
2006
ACM
14 years 4 months ago
2006
ACM
Separation of Duty (SoD) is widely recognized to be a fundamental principle in computer security. A Static SoD (SSoD) policy states that in order to have all permissions necessary...
SDMW
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We investigate the experimental effectiveness of query rewriting over XML security views. Our model consists of access control policies specified over DTDs with XPath e...
VLDB
1993
ACM
14 years 2 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...