852 search results - page 80 / 171 » Model-Checking Access Control Policies |
COLCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
TIME
2005
IEEE
14 years 3 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
SRDS
2003
IEEE
14 years 3 months ago
2003
IEEE
We demonstrate that symmetric-key cryptography can be used for both read and write access control. One-time write access can be granted by handing over an encryption key, and our ...
SP
1996
IEEE
14 years 2 months ago
1996
IEEE
The protection of personal health information has become a live issue in a number of countries including the USA, Canada, Britain and Germany. The debate has shown that there is w...
FLOPS
2006
Springer
14 years 1 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...