140
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
182
Voted
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
139
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
131
click to vote
CSFW
2010
IEEE
15 years 8 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...
152
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...