10622 search results - page 1806 / 2125 » Python Programming Language |
142
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
150
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
155
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...
171
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
165
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...