2213 search results - page 255 / 443 » Software Security |
141
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
143
click to vote
ISI
2007
Springer
15 years 3 months ago
2007
Springer
ABSTRACT. Grids have become very complex. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from administrators. We believe that peer-t...
130
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Software’s expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. Mor...
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
125
click to vote
SICHERHEIT
2010
15 years 1 months ago
2010
: A network early warning system consists of several distributed sensors to detect malicious network activity. The effectiveness of such early warning systems critically depends on...