4036 search results - page 418 / 808 » Formal Methods |
174
click to vote
IPL
2006
15 years 6 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
185
click to vote
ISSE
2006
15 years 6 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
186
click to vote
IGARSS
2010
15 years 4 months ago
2010
This paper considers sampling and reconstruction theory with application to scatterometer image reconstruction. Backscatter imaging is approached as the inversion of a noisy apert...
207
Voted
SIAMCOMP
2011
14 years 9 months ago
2011
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative versi...
186
click to vote
ITP
2010
15 years 5 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...