57 search results - page 12 / 12 » A Logic for Constraint-based Security Protocol Analysis |
ICN
2009
Springer
13 years 9 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...