Theses and Dissertations
Now showing items 1-7 of 7
An approach for detecting malicious emails using runtime monitoring with hidden data
(Monterey, California: Naval Postgraduate School, 2016-09)
Computer systems continue to be at risk of attack by malicious software that are attached to email. Email has been determined to be the cause of 80% of computer virus infections. Millions of dollars are lost yearly due to ...
Detecting malicious tweets in twitter using runtime monitoring with hidden information
(Monterey, California: Naval Postgraduate School, 2016-06)
Although there is voluminous data flow in social media, it is still possible to create an effective system that can detect malicious activities within a shorter time and provide situational awareness. This thesis developed ...
Formal specifications for an electrical power grid system stability and reliability
(Monterey, California: Naval Postgraduate School, 2015-09)
This thesis provides natural language requirements and associated formal specifications for an electric power grid. These specifications are the first step in using bounded constraint solving to detect early bleak states ...
MVC for content management on the cloud
(Monterey, California. Naval Postgraduate School, 2011-09)
Cloud computing portrays a new model for providing IT services over the Internet. In cloud computing, resources are accessed from the Internet through web-based tools. Although cloud computing offers reduced cost, increased ...
Using statechart assertion for the formal validation and verification of a real-time software system a case study
(Monterey, California. Naval Postgraduate School, 2011-03)
An approach for developing and validating libraries of temporal formal specifications
(Monterey, California. Naval Postgraduate School, 2008-09)
This thesis examines the role of independent validation in the development of software systems. As software systems become increasingly larger and more complex the role of software validation becomes crucial. In particular, ...
Analysis of TLcharts for weapon systems software development
(Monterey, California. Naval Postgraduate School, 2005-12)
The success of formal specifications and reactive systems is highly dependant on the formal specification language being used. To date, the most common approach to this problem involves two activities: (i) the specification ...
Drusinsky, Doron (7)
Shing, Man-Tak (7)
Branch Of Service
Computer Science (7)