1679 search results - page 54 / 336 » Security Properties and CSP |
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
SSS
2009
Springer
14 years 4 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
DANCE
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we deļ¬ne and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
DEON
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...