447 search results - page 26 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
SECON
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Mobile ad hoc networks often support sensitive applications. These applications may require that users’ identity, location, and correspondents be kept secret. This is...
95
Voted
WPES
2003
ACM
15 years 3 months ago
2003
ACM
The idea of using user preferences to assist with information filtering and with providing the most “relevant” answers to queries has recently received some attention from th...
92
Voted
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...
116
click to vote
CSFW
1996
IEEE
15 years 2 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...