4 search results - page 1 / 1 » A Logic for Auditing Accountability in Decentralized Systems |
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
POLICY
2005
Springer
13 years 10 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
EEMMAS
2007
Springer
13 years 11 months ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
ICTAI
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...