5525 search results - page 584 / 1105 » Verification of Model Transformations |
207
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
157
click to vote
NSDI
2008
15 years 9 months ago
2008
We present the design and evaluation of Passport, a system that allows source addresses to be validated within the network. Passport uses efficient, symmetric-key cryptography to ...
176
click to vote
ASIACRYPT
2008
Springer
15 years 9 months ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...
210
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
238
click to vote
CLIMA
2006
15 years 8 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...