2652 search results - page 467 / 531 » When Information Improves Information Security |
151
click to vote
COCO
2007
Springer
16 years 17 days ago
2007
Springer
Interactive hashing, introduced by Naor, Ostrovsky, Venkatesan and Yung (CRYPTO ’92), plays an important role in many cryptographic protocols. In particular, it is a major compo...
165
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
194
click to vote
IAT
2006
IEEE
16 years 14 days ago
2006
IEEE
Trust negotiation makes it possible for two parties to carry on secure transactions by first establishing trust through a bilateral, iterative process of requesting and disclosin...
164
click to vote
ANCS
2006
ACM
16 years 11 days ago
2006
ACM
The fast spreading worm is becoming one of the most serious threats to today’s networked information systems. A fast spreading worm could infect hundreds of thousands of hosts w...
168
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...