273 search results - page 4 / 55 » Formal Implementation of Network Security Policies |
POLICY
2009
Springer
14 years 1 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
POLICY
2009
Springer
14 years 1 months ago
2009
Springer
—There are increasing capabilities and demands for the remote monitoring of homes and their occupants. There are a variety of options for the architecture of such monitoring syst...
ITCC
2005
IEEE
14 years 28 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
ASM
2010
ASM
13 years 7 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
JHSN
2006
13 years 7 months ago
2006
: 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...