100 search results - page 1 / 20 » Foundations of Attack-Defense Trees |
135
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
We introduce and give formal definitions of attack
112
Voted
GAMESEC
2010
15 years 1 months ago
2010
Attack
114
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Attack
135
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Distributed Denial-of-Service (DDoS) attacks have emerged as a popular means of causing mass targeted service disruptions, often for extended periods of time. The relative ease an...
150
Voted
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...