46 search results - page 2 / 10 » Formal analysis of attacks for e-voting system |
IJSN
2008
13 years 5 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
ICPPW
2002
IEEE
13 years 10 months ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
SP
2008
IEEE
13 years 11 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
ACSW
2006
13 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...