2478 search results - page 258 / 496 » Message from the Chair |
143
Voted
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
111
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
119
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The Pediatric Pain Mailing List (PPML) is an international Internet-based forum for informal discussion of any topic related to pain in children. There are now over seven hundred ...
134
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
137
click to vote
ACNS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present techniques by which each mix in a mix network can be paid for its services by message senders, in a way that ensures fairness and without sacrificing anon...