533 search results - page 6 / 107 » Verification of Distributed Firewalls |
VVEIS
2008
14 years 11 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes two systems to recover the Internet connectivity impaired by private networks and firewalls. These devices cause asymmetry in the Internet, making peer-to-pee...
CLUSTER
2005
IEEE
15 years 3 months ago
2005
IEEE
Firewalls/NATs have brought significant connectivity problems along with their benefits, causing many applications to break or become inefficient. Due to its bi-directional commun...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Applications that use CORBA as communication layer often have some restrictions for multi-domain deployment. This is particularly true when they have to face firewall/NAT traversa...
CONCUR
1999
Springer
15 years 2 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...