3384 search results - page 448 / 677 » More Testable Properties |
238
click to vote
CCS
2003
ACM
16 years 14 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
242
click to vote
ICLP
2003
Springer
16 years 13 days ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
211
click to vote
INDOCRYPT
2003
Springer
16 years 13 days ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
192
click to vote
ACSAC
2009
IEEE
16 years 10 days ago
2009
IEEE
Abstract—Various cryptographic puzzle schemes are proposed as a defense mechanism against denial of service attack. But, all these puzzle schemes face a dilemma when there is a l...
182
click to vote
ECCV
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...