653 search results - page 60 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
ACSAC
2001
IEEE
14 years 21 days ago
2001
IEEE
This paper presents the Authorization Service provided by Tivoli Policy Director (PD) and its use by PD family members as well as third-party applications. Policies are defined ov...
MOBIHOC
2012
ACM
11 years 11 months ago
2012
ACM
Dynamic spectrum access is a maturing technology that allows next generation wireless devices to make highly efficient use of wireless spectrum. Spectrum can be allocated on an o...
SOSP
2003
ACM
14 years 6 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
KR
2010
Springer
14 years 1 months ago
2010
Springer
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...