Search results
-
-
Title
-
Formal Techniques for Cyber Resilience: Modeling, Synthesis, and Verification
-
Author
-
Alsaleh, Mohammed Noraden
-
Date Created
-
2018
-
Subjects--Topical
-
Computer science
-
Description
-
As cyber vulnerability and complexity increases, cyber attacks become highly sophisticated and inevitable. Therefore, cyber resilience is necessary to make cyber capable of misleading attackers in reaching their goals, resisting their progress, an...
-
-
Title
-
Planning for coastal resilience: the intersection of theory and practice
-
Author
-
Griffith, Adam
-
Date Created
-
2018
-
Subjects--Topical
-
Sociology, Geography, Geomorphology
-
Description
-
In the face of accelerating sea-level rise, people continue to live near anddevelop the coast. In the United States, we have chosen adaptation andprotection, via coastal defenses, over retreat from the coast despite theunsustainable nature of effo...