7329 search results - page 439 / 1466 » Network Extractor Protocols |
153
click to vote
PADL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
199
Voted
EUROPKI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
239
click to vote
SIGCOMM
1994
ACM
15 years 9 months ago
1994
ACM
In recent years, a wide variety of mobile computing devices has emerged, including portables, palmtops, and personal digit al assistants. Providing adequate network connectivity y...
188
click to vote
COOP
2004
15 years 7 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
177
Voted
JCSS
2006
15 years 6 months ago
2006
In an open networking environment, a workstation usually needs to identify its legal users for providing its services. Kerberos provides an efficient approach whereby a trusted th...