852 search results - page 114 / 171 » Model-Checking Access Control Policies |
DFN
2003
13 years 10 months ago
2003
: Large-scale deployment of virtual private networks with hundreds or thousands of clients means a constant battle with complexity that can only be won by setting up powerful authe...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
EUROSEC
2010
ACM
14 years 2 months ago
2010
ACM
We present a storage management framework for Web 2.0 services that places users back in control of their data. Current Web services complicate data management due to data lock-in...
SP
1989
IEEE
14 years 28 days ago
1989
IEEE
Routing mechanisms for inter-autonomousregion communication require distribution of policy-sensitive information as well as algorithms that operate on such information. Without su...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...