Matches in SemOpenAlex for { <https://semopenalex.org/work/W71289362> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W71289362 abstract "Increasing use of networks and their complexity have complicated the task of security analysis. Accordingly, automatic verification approaches have received more attention recently. In this paper, we showed how an attacker might combine simple attacks to construct a complex multiphase attack. We use Rebeca language to model the network of hosts and its model checker to find counter-examples as violation of security policies. Some simple attacks have been modeled in previous works in this area. First, we show these simple attacks in our model and then verify the model to find more complex attacks. These complex attacks may include some simpler attacks as their steps. We choose Rebeca because of its powerful yet simple actor-based paradigm in modeling concurrent and distributed systems." @default.
- W71289362 created "2016-06-24" @default.
- W71289362 creator A5017524084 @default.
- W71289362 creator A5044182775 @default.
- W71289362 creator A5052372544 @default.
- W71289362 creator A5073154692 @default.
- W71289362 creator A5078919695 @default.
- W71289362 date "2006-01-01" @default.
- W71289362 modified "2023-09-27" @default.
- W71289362 title "Modeling and Verification of Complex Network Attacks Using an Actor-Based Language *" @default.
- W71289362 cites W1505851021 @default.
- W71289362 cites W1518431406 @default.
- W71289362 cites W1541540802 @default.
- W71289362 cites W1550792582 @default.
- W71289362 cites W1606962916 @default.
- W71289362 cites W1805171086 @default.
- W71289362 cites W2025113626 @default.
- W71289362 cites W2025720030 @default.
- W71289362 cites W2072794470 @default.
- W71289362 cites W2098830227 @default.
- W71289362 cites W2104588447 @default.
- W71289362 cites W2132243817 @default.
- W71289362 cites W2141867896 @default.
- W71289362 cites W2157554212 @default.
- W71289362 cites W2172008857 @default.
- W71289362 cites W2176300081 @default.
- W71289362 cites W87275031 @default.
- W71289362 cites W2808001300 @default.
- W71289362 hasPublicationYear "2006" @default.
- W71289362 type Work @default.
- W71289362 sameAs 71289362 @default.
- W71289362 citedByCount "1" @default.
- W71289362 crossrefType "journal-article" @default.
- W71289362 hasAuthorship W71289362A5017524084 @default.
- W71289362 hasAuthorship W71289362A5044182775 @default.
- W71289362 hasAuthorship W71289362A5052372544 @default.
- W71289362 hasAuthorship W71289362A5073154692 @default.
- W71289362 hasAuthorship W71289362A5078919695 @default.
- W71289362 hasConcept C110251889 @default.
- W71289362 hasConcept C111472728 @default.
- W71289362 hasConcept C120314980 @default.
- W71289362 hasConcept C127413603 @default.
- W71289362 hasConcept C138885662 @default.
- W71289362 hasConcept C154945302 @default.
- W71289362 hasConcept C199360897 @default.
- W71289362 hasConcept C201995342 @default.
- W71289362 hasConcept C2780451532 @default.
- W71289362 hasConcept C2780586882 @default.
- W71289362 hasConcept C2780801425 @default.
- W71289362 hasConcept C38652104 @default.
- W71289362 hasConcept C41008148 @default.
- W71289362 hasConcept C47822265 @default.
- W71289362 hasConcept C80444323 @default.
- W71289362 hasConceptScore W71289362C110251889 @default.
- W71289362 hasConceptScore W71289362C111472728 @default.
- W71289362 hasConceptScore W71289362C120314980 @default.
- W71289362 hasConceptScore W71289362C127413603 @default.
- W71289362 hasConceptScore W71289362C138885662 @default.
- W71289362 hasConceptScore W71289362C154945302 @default.
- W71289362 hasConceptScore W71289362C199360897 @default.
- W71289362 hasConceptScore W71289362C201995342 @default.
- W71289362 hasConceptScore W71289362C2780451532 @default.
- W71289362 hasConceptScore W71289362C2780586882 @default.
- W71289362 hasConceptScore W71289362C2780801425 @default.
- W71289362 hasConceptScore W71289362C38652104 @default.
- W71289362 hasConceptScore W71289362C41008148 @default.
- W71289362 hasConceptScore W71289362C47822265 @default.
- W71289362 hasConceptScore W71289362C80444323 @default.
- W71289362 hasLocation W712893621 @default.
- W71289362 hasOpenAccess W71289362 @default.
- W71289362 hasPrimaryLocation W712893621 @default.
- W71289362 hasRelatedWork W1410484705 @default.
- W71289362 hasRelatedWork W1521883036 @default.
- W71289362 hasRelatedWork W1980794044 @default.
- W71289362 hasRelatedWork W2100902610 @default.
- W71289362 hasRelatedWork W2127291187 @default.
- W71289362 hasRelatedWork W2132606052 @default.
- W71289362 hasRelatedWork W2151734052 @default.
- W71289362 hasRelatedWork W2157301192 @default.
- W71289362 hasRelatedWork W2160322337 @default.
- W71289362 hasRelatedWork W2227701282 @default.
- W71289362 hasRelatedWork W2299894576 @default.
- W71289362 hasRelatedWork W2443140261 @default.
- W71289362 hasRelatedWork W2512472178 @default.
- W71289362 hasRelatedWork W2808844959 @default.
- W71289362 hasRelatedWork W2914925440 @default.
- W71289362 hasRelatedWork W2969320744 @default.
- W71289362 hasRelatedWork W2989093880 @default.
- W71289362 hasRelatedWork W3039594701 @default.
- W71289362 hasRelatedWork W3083038140 @default.
- W71289362 hasRelatedWork W3110724026 @default.
- W71289362 isParatext "false" @default.
- W71289362 isRetracted "false" @default.
- W71289362 magId "71289362" @default.
- W71289362 workType "article" @default.