4463 search results - page 770 / 893 » computing 2000 |
108
click to vote
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Construction of secure hyperelliptic curves is of most important yet most difficult problem in design of cryptosystems based on the discrete logarithm problems on hyperel...
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect th...
127
click to vote
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. There have been many proposals in recent years for passwordauthenticated key exchange protocols. Many of these have been shown to be insecure, and the only ones that seem...
106
Voted
ATAL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...