4111 search results - page 212 / 823 » Security, Protocols, and Trust |
CSFW
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
JAR
2006
13 years 10 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
CRYPTOLOGIA
2010
13 years 8 months ago
2010
This paper presents an improved protocol for Internet voting that allows recasting of ballots to eliminate voting errors, encourages early voting and provides an opportunity for c...
SECON
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract—In this work we identify vulnerabilities of ondemand multicast routing protocols for multi-hop wireless networks and discuss the challenges encountered in designing mech...
JCST
2008
13 years 10 months ago
2008
In most of the used auction systems the values of bids are known to the auctioneer. This allows him to manipulate the outcome of the auction. Hence, one is interested in hiding th...