516 search results - page 3 / 104 » Comparing Two Information Flow Security Properties |
CSFW
2010
IEEE
13 years 9 months ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
DRM
2009
Springer
13 years 12 months ago
2009
Springer
Privacy and security have always been key concerns for individuals. They have also been closely related concepts: in order to increase their perception of security, people sacri...
HICSS
2009
IEEE
14 years 2 days ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
IFIP
2009
Springer
13 years 11 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...