Sciweavers

2422 search results - page 13 / 485
» Security Policy Consistency
Sort
View
CCS
2008
ACM
15 years 5 months ago
A formal security policy for xenon
John McDermott, Leo Freitas
JHSN
2006
95views more  JHSN 2006»
15 years 4 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...
115
Voted
CSFW
2008
IEEE
15 years 10 months ago
Tractable Enforcement of Declassification Policies
Gilles Barthe, Salvador Cavadini, Tamara Rezk