2043 search results - page 4 / 409 » Reasoning About Security Models |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
IEEESP
2011
13 years 1 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
ENTCS
2007
13 years 9 months ago
2007
