Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287181528> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4287181528 abstract "Companies and network operators perform risk assessment to inform policy-making, guide infrastructure investments or to comply with security standards such as ISO 27001. Due to the size and complexity of these networks, risk assessment techniques such as attack graphs or trees describe the attacker with a finite set of rules. This characterization of the attacker can easily miss attack vectors or overstate them, potentially leading to incorrect risk estimation. In this work, we propose the first methodology to justify a rule-based attacker model. Conceptually, we add another layer of abstraction on top of the symbolic model of cryptography, which reasons about protocols and abstracts cryptographic primitives. This new layer reasons about Internet-scale networks and abstracts protocols. We show, in general, how the soundness and completeness of a rule-based model can be ensured by verifying trace properties, linking soundness to safety properties and completeness to liveness properties. We then demonstrate the approach for a recently proposed threat model that quantifies the confidentiality of email communication on the Internet, including DNS, DNSSEC, and SMTP. Using off-the-shelf protocol verification tools, we discover two flaws in their threat model. After fixing them, we show that it provides symbolic soundness." @default.
- W4287181528 created "2022-07-25" @default.
- W4287181528 creator A5025695652 @default.
- W4287181528 creator A5071250407 @default.
- W4287181528 date "2021-05-14" @default.
- W4287181528 modified "2023-09-30" @default.
- W4287181528 title "On the Soundness of Infrastructure Adversaries" @default.
- W4287181528 doi "https://doi.org/10.48550/arxiv.2105.06731" @default.
- W4287181528 hasPublicationYear "2021" @default.
- W4287181528 type Work @default.
- W4287181528 citedByCount "0" @default.
- W4287181528 crossrefType "posted-content" @default.
- W4287181528 hasAuthorship W4287181528A5025695652 @default.
- W4287181528 hasAuthorship W4287181528A5071250407 @default.
- W4287181528 hasBestOaLocation W42871815281 @default.
- W4287181528 hasConcept C110875604 @default.
- W4287181528 hasConcept C111472728 @default.
- W4287181528 hasConcept C124304363 @default.
- W4287181528 hasConcept C134306372 @default.
- W4287181528 hasConcept C136764020 @default.
- W4287181528 hasConcept C138885662 @default.
- W4287181528 hasConcept C15569618 @default.
- W4287181528 hasConcept C17231256 @default.
- W4287181528 hasConcept C178489894 @default.
- W4287181528 hasConcept C199360897 @default.
- W4287181528 hasConcept C2776576444 @default.
- W4287181528 hasConcept C33884865 @default.
- W4287181528 hasConcept C33923547 @default.
- W4287181528 hasConcept C38652104 @default.
- W4287181528 hasConcept C39920170 @default.
- W4287181528 hasConcept C41008148 @default.
- W4287181528 hasConcept C80444323 @default.
- W4287181528 hasConcept C95713431 @default.
- W4287181528 hasConceptScore W4287181528C110875604 @default.
- W4287181528 hasConceptScore W4287181528C111472728 @default.
- W4287181528 hasConceptScore W4287181528C124304363 @default.
- W4287181528 hasConceptScore W4287181528C134306372 @default.
- W4287181528 hasConceptScore W4287181528C136764020 @default.
- W4287181528 hasConceptScore W4287181528C138885662 @default.
- W4287181528 hasConceptScore W4287181528C15569618 @default.
- W4287181528 hasConceptScore W4287181528C17231256 @default.
- W4287181528 hasConceptScore W4287181528C178489894 @default.
- W4287181528 hasConceptScore W4287181528C199360897 @default.
- W4287181528 hasConceptScore W4287181528C2776576444 @default.
- W4287181528 hasConceptScore W4287181528C33884865 @default.
- W4287181528 hasConceptScore W4287181528C33923547 @default.
- W4287181528 hasConceptScore W4287181528C38652104 @default.
- W4287181528 hasConceptScore W4287181528C39920170 @default.
- W4287181528 hasConceptScore W4287181528C41008148 @default.
- W4287181528 hasConceptScore W4287181528C80444323 @default.
- W4287181528 hasConceptScore W4287181528C95713431 @default.
- W4287181528 hasLocation W42871815281 @default.
- W4287181528 hasOpenAccess W4287181528 @default.
- W4287181528 hasPrimaryLocation W42871815281 @default.
- W4287181528 hasRelatedWork W1508920945 @default.
- W4287181528 hasRelatedWork W1599617995 @default.
- W4287181528 hasRelatedWork W2027755003 @default.
- W4287181528 hasRelatedWork W2120961426 @default.
- W4287181528 hasRelatedWork W2370092331 @default.
- W4287181528 hasRelatedWork W2952418444 @default.
- W4287181528 hasRelatedWork W3162281536 @default.
- W4287181528 hasRelatedWork W4236017443 @default.
- W4287181528 hasRelatedWork W4287181528 @default.
- W4287181528 hasRelatedWork W2517777389 @default.
- W4287181528 isParatext "false" @default.
- W4287181528 isRetracted "false" @default.
- W4287181528 workType "article" @default.