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
-
SECURING MOBILE HYBRID APPLICATIONS THROUGH CONFIGURATIONS - FIRST LINE OF DEFENSE
-
Author
-
AlJarrah, Abeer
-
Date Created
-
2018
-
Subjects--Topical
-
Computer science
-
Description
-
Mobile hybrid apps have the potential to dominate the mobile and IoTs apps market. Cross-platform or hybrid apps are providing a promising development choice that appeals to a great body of developers. This development approach \wraps" standard we...