4305 search results - page 462 / 861 » Analysing Protocol Implementations |
203
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Due to its high protocol overhead, both in data traffic and in round-trips, Java RMI is poorly suited for communication over slow wireless links. However, its performance can be ...
150
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
158
click to vote
VLSID
1998
IEEE
15 years 11 months ago
1998
IEEE
Emerging "systems-on-a-chip" will require a design environment that allows distributed access to libraries, models and design tools. In this paper we present a framework...
145
click to vote
FPL
1998
Springer
15 years 11 months ago
1998
Springer
The article describes modular exponent calculations used widely in cryptographic key exchange protocols. The measures for hardware consumption and execution speed based on argument...
266
click to vote
NDSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this work we describe a method for fully distributed authentication using public key cryptography within the Kerberos ticket framework. By distributing most of the authenticati...