785 search results - page 103 / 157 » A Calculus for Trust Management |
DISCEX
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper proposes several integrated security architecture designs for client-server group communication systems. In an integrated architecture, security services are implemente...
DEXAW
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we overview the current state-of-the-art and future trends in network security and argue that the security requirements of electronic commerce (e-commerce) applicat...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
CSL
2005
Springer
14 years 2 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...