852 search results - page 130 / 171 » Model-Checking Access Control Policies |
ICDCS
2010
IEEE
14 years 23 days ago
2010
IEEE
Web applications are no longer simple hyperlinked documents. They have progressively evolved to become highly complex—web pages combine content from several sources (with varyin...
LREC
2010
13 years 10 months ago
2010
As the number of language resources accessible on the Internet increases, many efforts have been made for combining language resources and language processing tools to create new ...
SAJ
2002
13 years 8 months ago
2002
No reliable method currently exists to safeguard the privacy of private information. Privacy policies are insufficient as compliance can not be enforced automatically. In this pap...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper defines a framework in which one can formalize a variety of authorization and policy issues that arise in access control of shared computing resources. Instantiations ...
EUROPAR
2001
Springer
14 years 1 months ago
2001
Springer
We describe the design and the implementation in Java and Jini of a Computational Community, which supports the federation of resources from different organisations. Resources fro...