175 search results - page 2 / 35 » The formal verification of a reintegration protocol |
JDCTA
2010
13 years 2 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
FMCAD
2009
Springer
14 years 1 months ago
2009
Springer
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
IJNSEC
2008
13 years 7 months ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...