224 search results - page 5 / 45 » Composable Tools For Network Discovery and Security Analysis |
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
IEEEAMS
2003
IEEE
14 years 24 days ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Sensors’ locations play a critical role in many sensor network applications. A number of techniques have been proposed recently to discover the locations of regular sensors base...
EUROCRYPT
2001
Springer
14 years 23 hour ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
VIZSEC
2004
Springer
14 years 26 days ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...