178 search results - page 1 / 36 » A Formal Model for Network-Wide Security Analysis |
ECBS
2008
IEEE
13 years 11 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
13 years 10 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
13 years 6 months ago
2008
We are involved in a project related to the evaluation
CCS
2010
ACM
13 years 5 months ago
2010
ACM
CSFW
2011
IEEE
12 years 4 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...