61 search results - page 1 / 13 » Towards a Quantitative Analysis of Security Protocols |
ENTCS
2006
13 years 4 months ago
2006
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
SP
2008
IEEE
13 years 10 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
ACSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
1 A number of recent applications have been built on distributed hash tables (DHTs) based overlay networks. Almost all DHT-based schemes employ a tight deterministic data placement...
COMPSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...