1833 search results - page 279 / 367 » Mechanized Verification with Sharing |
142
click to vote
ADHOCNOW
2005
Springer
15 years 10 months ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
124
click to vote
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Assuming an insecure quantum channel and an authenticated classical channel, we propose an unconditionally secure scheme for encrypting classical messages under a shared ...
150
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
133
click to vote
IWDW
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a watermarking based approach, and its implementation, for mitigating phishing attacks - a form of web based identity theft. ViWiD is an integrity check m...
111
click to vote
KIVS
2005
Springer
15 years 10 months ago
2005
Springer
: Almost all current P2P applications are built as monolithic systems: they tightly couple application software with an underlying P2P technology. For simple P2P applications like ...