Sciweavers

2422 search results - page 13 / 485
» Security Policy Consistency
Sort
View
CCS
2008
ACM
14 years 6 days ago
A formal security policy for xenon
John McDermott, Leo Freitas
JHSN
2006
95views more  JHSN 2006»
13 years 10 months ago
IPsec/VPN security policy correctness and assurance
: With IPSec/VPN policies being widely deployed, how to correctly specify and configure them is critical in enforcing security requirements. Under current practice, IPSec/VPN polic...
Yanyan Yang, Charles U. Martel, Zhi (Judy) Fu, Shy...
CSFW
2008
IEEE
14 years 4 months ago
Tractable Enforcement of Declassification Policies
Gilles Barthe, Salvador Cavadini, Tamara Rezk