83 search results - page 2 / 17 » A Formal Approach to Specify and Deploy a Network Security P... |
TRUSTBUS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Due to the large size and complex structure of modern networks, firewall policies can contain several thousand rules. The size and complexity of these policies require au...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
WORDS
2005
IEEE
13 years 11 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
The existence of errors or inconsistencies in the configuration of security components, such as filtering routers and/or firewalls, may lead to weak access control policies — ...
IJNSEC
2010
13 years 3 days ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...