1134 search results - page 37 / 227 » Distributed Proving in Access-Control Systems |
135
Voted
DISCEX
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper¢ presents an authorization framework for supporting fine-grained access control policies enhanced with light-weight intrusion/misuse detectors and response capabiliti...
98
Voted
DKE
2002
15 years 2 months ago
2002
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...
125
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
91
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...
132
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...