153
click to vote
CSFW
15 years 5 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...
CSFW
15 years 5 months ago
2010 IEEE 
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
121
click to vote
CSFW
15 years 4 months ago
2010 IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
122
click to vote
CSFW
15 years 4 months ago
2010 IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
100
click to vote
CSFW
15 years 5 months ago
2010 IEEE
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...
|
Security Privacy