547 search results - page 26 / 110 » Analysis of a mobile communication security protocol |
90
Voted
SOSP
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, we present STP, a system in which communicating end hosts use untrusted mobile code to remotely upgrade each other with the transport protocols that they use to com...
FMICS
2010
Springer
14 years 10 months ago
2010
Springer
Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window prot...
WIOPT
2005
IEEE
15 years 3 months ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...
100
click to vote
CSFW
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
93
Voted
JUCS
2006
14 years 9 months ago
2006
Abstract: In ad-hoc networks, mobile devices communicate via wireless links without the aid of any fixed networking infrastructure. These devices must be able to discover services ...