15 search results - page 3 / 3 » Analysis of an Electronic Voting Protocol in the Applied Pi ... |
POPL
2001
ACM
14 years 5 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
JLP
2008
13 years 5 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...