Sciweavers

273 search results - page 1 / 55
» Formal Implementation of Network Security Policies
Sort
View
PST
2004
13 years 6 months ago
Formal Implementation of Network Security Policies
Alexandre Lacasse, Mohamed Mejri, Béchir Kt...
IFIP
2004
Springer
13 years 10 months ago
A Formal Approach to Specify and Deploy a Network Security Policy
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
Frédéric Cuppens, Nora Cuppens-Boula...
DANCE
2002
IEEE
13 years 9 months ago
Developing Dynamic Security Policies
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
Prasad Naldurg, Roy H. Campbell, M. Dennis Mickuna...
IJNSEC
2010
145views more  IJNSEC 2010»
12 years 11 months ago
Formal Specification of Common Criteria Based Access Control Policy Model
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...
Manpreet Singh, Manjeet S. Patterh
JNSM
2007
65views more  JNSM 2007»
13 years 4 months ago
Implementation of a Formal Security Policy Refinement Process in WBEM Architecture
Romain Laborde, Michel Kamel, François Barr...