80 search results - page 8 / 16 » Flow-sensitive semantics for dynamic information flow polici... |
TRUSTBUS
2009
Springer
15 years 6 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
113
click to vote
CSFW
2007
IEEE
15 years 3 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
106
click to vote
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
107
click to vote
SP
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
102
click to vote
POLICY
2007
Springer
15 years 5 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...