1599 search results - page 122 / 320 » Program Analysis for Security and Privacy |
130
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
150
click to vote
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
164
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
110
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
118
click to vote
PROVSEC
2007
Springer
15 years 10 months ago
2007
Springer
Security of a modern block cipher is commonly measured in terms of its resistance to known attacks. While the provable security approach to block ciphers dates back to the first C...