407 search results - page 18 / 82 » An Ontology-based Approach to the Formalization of Informati... |
SAS
2005
Springer
14 years 26 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
A Distributed Information Brokering System (DIBS) is a peer-to-peer overlay network that comprises diverse data servers and brokering components helping client queries locate the ...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
DISCEX
2003
IEEE
14 years 20 days ago
2003
IEEE
The design principle of restricting local autonomy only where necessary for global robustness has led to a scalable Internet. Unfortunately, this scalability and capacity for dist...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...