20175 search results - page 21 / 4035 » Is abstraction the key to computing |
UC
2009
Springer
15 years 7 months ago
2009
Springer
Geometrical Computation and Computable Analysis J´erˆome Durand-Lose⋆ Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P. 6759, F-45067 OR...
85
Voted
HIPC
2005
Springer
15 years 6 months ago
2005
Springer
FOCS
1997
IEEE
15 years 4 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
102
Voted
EUROPKI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The private keys used in a PKI are its most important asset. Protect these keys from unauthorised use or disclosure is essential to secure a PKI. Relying parties need ass...
111
Voted
ACNS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...