155 search results - page 7 / 31 » Cryptographic Protocol Analysis of AN.ON |
139
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
144
click to vote
ICICS
2010
Springer
15 years 3 months ago
2010
Springer
By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II...
149
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
145
click to vote
IWFM
2003
15 years 7 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
142
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...