752 search results - page 63 / 151 » Abstract models for dialogue protocols |
145
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
147
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
142
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This work is concerned with definining a performance index that can be used as an objective measure in the evaluation and comparison of ad hoc networking protocols. Sp...
110
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...
143
click to vote
IACR
2011
14 years 3 months ago
2011
Abstract. We describe and analyze the password-based key establishment protocol PACE v2 Integrated Mapping (IM), an evolution of PACE v1 jointly proposed by Gemalto and Sagem S´ec...