9 search results - page 1 / 2 » Validating Firewalls in Mobile Ambients |
CONCUR
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
ESORICS
2012
Springer
11 years 7 months ago
2012
Springer
In certain applications, it is important for a remote server to securely determine whether or not two mobile devices are in close physical proximity. In particular, in the context ...
SEBD
2003
13 years 6 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
CORR
2007
Springer
13 years 5 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...
CAMAD
2006
IEEE
13 years 9 months ago
2006
IEEE
Abstract-- In this paper we discuss the exploitation of aggregated mobility patterns and physical proximity of nodes in a so-called ambient network, i.e., a wireless network with h...