741 search results - page 54 / 149 » Verification of security protocols using LOTOS-method and ap... |
149
click to vote
SOSP
2003
ACM
16 years 26 days ago
2003
ACM
In this paper, we present STP, a system in which communicating end hosts use untrusted mobile code to remotely upgrade each other with the transport protocols that they use to com...
113
click to vote
CLADE
2003
IEEE
15 years 9 months ago
2003
IEEE
The Grid community is actively working on defining, deploying and standardizing protocols, mechanisms, and infrastructure to support decentralized, seamless, and secure interacti...
175
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
207
click to vote
SCN
2008
Springer
15 years 3 months ago
2008
Springer
Relative location information helps build vehicle topology maps. Such maps provide location information of nearby vehicles to drivers. In building a vehicle topology, one must cons...
134
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
Alice and Bob possess sequences xn and yn respectively and would like to compute d(xn , yn ) where d(., .) is a distortion measure. However, Alice and Bob do not trust each other ...