178 search results - page 1 / 36 » A Formal Model for Network-Wide Security Analysis |
67
Voted
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
CCS
2003
ACM
15 years 2 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
CRISIS
2008
14 years 11 months ago
2008
We are involved in a project related to the evaluation
CCS
2010
ACM
14 years 9 months ago
2010
ACM
CSFW
2011
IEEE
13 years 9 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...