700 search results - page 102 / 140 » words 2005 |
135
click to vote
ACNS
2005
Springer
15 years 10 months ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...
138
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
136
click to vote
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a new cryptographic primitive called the blind coupon mechanism (BCM). In effect, the BCM is an authenticated bit commitment scheme, which is AND-homomorphic. It has n...
120
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
126
click to vote
CHES
2005
Springer
15 years 10 months ago
2005
Springer
We describe a new variant of the well known Baby-Step Giant-Step algorithm in the case of some discrete logarithms with a special structure. More precisely, we focus on discrete lo...