565 search results - page 82 / 113 » A logic for authorization provenance |
SC
2009
ACM
14 years 3 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Web forums have become an important data resource for many web applications, but extracting structured data from unstructured web forum pages is still a challenging task due to bo...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...