9264 search results - page 1234 / 1853 » Space Between Languages |
157
click to vote
ICALP
2005
Springer
16 years 23 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...
179
click to vote
ICALP
2005
Springer
16 years 23 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 ...
183
click to vote
ICALP
2005
Springer
16 years 23 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 ...
157
click to vote
ICALP
2005
Springer
16 years 23 days ago
2005
Springer
We study interval coloring problems and present new upper and lower bounds for several variants. We are interested in four problems, online coloring of intervals with and without b...
184
click to vote
IFIP
2005
Springer
16 years 22 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...