554 search results - page 88 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
179
Voted
JSC
2010
14 years 10 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
113
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
137
Voted
WINET
2010
15 years 2 months ago
2010
In this paper, we present a model that estimates the time duration of routes formed by several intermediate nodes in mobile multi-hop ad-hoc networks. First, we analyze a 3-node ro...
144
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
134
Voted
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...