CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
CSFW
2009
IEEE
14 years 7 months ago
2009
IEEE
When collaborating agents share sensitive information to achieve a common goal it would be helpful to them to decide whether doing so will lead to an unwanted release of confiden...