5255 search results - page 195 / 1051 » Formal Methods for Privacy |
141
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
134
click to vote
CSFW
2008
IEEE
15 years 10 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...
115
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
129
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
140
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...