213 search results - page 1 / 43 » A Model of Stateful Firewalls and Its Properties |
DSN
2005
IEEE
13 years 11 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
ACSAC
1997
IEEE
13 years 9 months ago
1997
IEEE
This paper concentrates on one particular aspect of providing communication security: rewalls between domains of trust. We argue that signaling support for providing scalable secu...
SOUPS
2009
ACM
13 years 11 months ago
2009
ACM
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
APN
2003
Springer
13 years 10 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
CEC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Cellular Automata (CAs) have been investigated extensively as abstract models of the distributed systems composed of autonomous entities characterized by local interaction. How...