1690 search results - page 183 / 338 » A Security Framework for JXTA-Overlay |
174
click to vote
TSE
2010
15 years 4 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
177
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
137
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
156
click to vote
MODELS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
209
click to vote
CSFW
2006
IEEE
16 years 18 days ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...