806 search results - page 135 / 162 » Privacy Policy Referencing |
SDMW
2004
Springer
14 years 3 months ago
2004
Springer
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...
HUC
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. As low-level architectural support for context-aware computing matures, we are ready to explore more general and powerful means of accessing context data. Information req...
ICALP
2003
Springer
14 years 3 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract--The advent of electronic commerce and personal communications on the Internet heightens concerns over the lack of privacy and security. Network services providing a wide ...
FMCO
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...