1274 search results - page 80 / 255 » New Proofs for |
133
click to vote
IMTCI
2004
Springer
15 years 9 months ago
2004
Springer
The paper presents two new methods for providing mobile agents with privacy and anynomity. The proposed schemes are based on different cryptographic primitives: a secret-sharing s...
149
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
144
click to vote
ALP
1992
Springer
15 years 8 months ago
1992
Springer
The paper presents a new schematization of in nite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is...
100
click to vote
CTRS
1990
15 years 8 months ago
1990
A new positive-unit theorem-proving procedure for equational Horn clauses is presented. It uses a term ordering to restrict paxamodulation to potentiallymaximal sides of equations...
106
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this note we give a precise formulation of "resistance to arbitrary side information" and show that several relaxations of differential privacy imply it. The formulat...