Matches in SemOpenAlex for { <https://semopenalex.org/work/W2591540257> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2591540257 abstract "Abstract : This dissertation presents automated methods based on behavioral game theory and model checking to improve the cybersecurity of cyber-physical systems (CPSs) and advocates teaching certain foundational principles of these methods to cybersecurity students. First, it encodes behavioral game theory's concept of level-k reasoning into an integer linear program that models a newly defined security Colonel Blotto game. This approach is designed to achieve an efficient allocation of scarce protection resources by anticipating attack allocations. A human subjects experiment based on a CPS infrastructure demonstrates its effectiveness. Next, it rigorously defines the term adversarial thinking, one of cybersecurity educations most important and elusive learning objectives, but for which no proper definition exists. It spells out what it means to think like a hacker by examining the characteristic thought processes of hackers through the lens of Sternberg's triarchic theory of intelligence. Next, a classroom experiment demonstrates that teaching basic game theory concepts to cybersecurity students significantly improves their strategic reasoning abilities. Finally, this dissertation applies the SPIN model checker to an electric power protection system and demonstrates a straightforward and effective technique for rigorously characterizing the degree of fault tolerance of complex CPSs, a key step in improving their defensive posture." @default.
- W2591540257 created "2017-03-03" @default.
- W2591540257 creator A5017960799 @default.
- W2591540257 date "2016-09-15" @default.
- W2591540257 modified "2023-09-27" @default.
- W2591540257 title "Improving the Cybersecurity of Cyber-Physical Systems Through Behavioral Game Theory and Model Checking in Practice and in Education" @default.
- W2591540257 hasPublicationYear "2016" @default.
- W2591540257 type Work @default.
- W2591540257 sameAs 2591540257 @default.
- W2591540257 citedByCount "1" @default.
- W2591540257 countsByYear W25915402572020 @default.
- W2591540257 crossrefType "journal-article" @default.
- W2591540257 hasAuthorship W2591540257A5017960799 @default.
- W2591540257 hasConcept C111919701 @default.
- W2591540257 hasConcept C121332964 @default.
- W2591540257 hasConcept C144237770 @default.
- W2591540257 hasConcept C154945302 @default.
- W2591540257 hasConcept C163258240 @default.
- W2591540257 hasConcept C177142836 @default.
- W2591540257 hasConcept C179768478 @default.
- W2591540257 hasConcept C26517878 @default.
- W2591540257 hasConcept C33923547 @default.
- W2591540257 hasConcept C37736160 @default.
- W2591540257 hasConcept C38652104 @default.
- W2591540257 hasConcept C41008148 @default.
- W2591540257 hasConcept C62520636 @default.
- W2591540257 hasConcept C78639753 @default.
- W2591540257 hasConcept C86844869 @default.
- W2591540257 hasConceptScore W2591540257C111919701 @default.
- W2591540257 hasConceptScore W2591540257C121332964 @default.
- W2591540257 hasConceptScore W2591540257C144237770 @default.
- W2591540257 hasConceptScore W2591540257C154945302 @default.
- W2591540257 hasConceptScore W2591540257C163258240 @default.
- W2591540257 hasConceptScore W2591540257C177142836 @default.
- W2591540257 hasConceptScore W2591540257C179768478 @default.
- W2591540257 hasConceptScore W2591540257C26517878 @default.
- W2591540257 hasConceptScore W2591540257C33923547 @default.
- W2591540257 hasConceptScore W2591540257C37736160 @default.
- W2591540257 hasConceptScore W2591540257C38652104 @default.
- W2591540257 hasConceptScore W2591540257C41008148 @default.
- W2591540257 hasConceptScore W2591540257C62520636 @default.
- W2591540257 hasConceptScore W2591540257C78639753 @default.
- W2591540257 hasConceptScore W2591540257C86844869 @default.
- W2591540257 hasLocation W25915402571 @default.
- W2591540257 hasOpenAccess W2591540257 @default.
- W2591540257 hasPrimaryLocation W25915402571 @default.
- W2591540257 hasRelatedWork W1604382516 @default.
- W2591540257 hasRelatedWork W2109847447 @default.
- W2591540257 hasRelatedWork W2151104927 @default.
- W2591540257 hasRelatedWork W2182658248 @default.
- W2591540257 hasRelatedWork W2187142577 @default.
- W2591540257 hasRelatedWork W2495738674 @default.
- W2591540257 hasRelatedWork W2619956438 @default.
- W2591540257 hasRelatedWork W2763588200 @default.
- W2591540257 hasRelatedWork W2780412575 @default.
- W2591540257 hasRelatedWork W2806226033 @default.
- W2591540257 hasRelatedWork W2887820616 @default.
- W2591540257 hasRelatedWork W2947822166 @default.
- W2591540257 hasRelatedWork W2958936068 @default.
- W2591540257 hasRelatedWork W2995918832 @default.
- W2591540257 hasRelatedWork W2996726905 @default.
- W2591540257 hasRelatedWork W3005146877 @default.
- W2591540257 hasRelatedWork W3027852283 @default.
- W2591540257 hasRelatedWork W3037687990 @default.
- W2591540257 hasRelatedWork W3188851490 @default.
- W2591540257 hasRelatedWork W3191859932 @default.
- W2591540257 isParatext "false" @default.
- W2591540257 isRetracted "false" @default.
- W2591540257 magId "2591540257" @default.
- W2591540257 workType "article" @default.