Detecting malicious tweets in twitter using runtime monitoring with hidden information
MetadataShow full item record
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 patterns for a probabilistic approach to identify malicious behavior by monitoring big data. We collected twenty-two thousand tweets from publicly available Twitter data and used them in our testing and validation processes. We combined deterministic and nondeterministic approaches to monitor and verify the system. In the deterministic part, we determined assertions by using natural language (NL) and associated formal specifications. We then specified visible and hidden parameters, which are used for subsequent identification of hidden parameters in Hidden Markov Model (HMM) techniques. In the nondeterministic part, we used probabilistic formal specifications with visible and hidden parameters, used in HMM, to monitor and verify the system. An important contribution of the work is that we specified some event patterns indicating malicious activities. Based on these patterns, we obtained output to indicate the possibility of each tweet being malicious.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Drusinsky, Doron (Monterey, California. Naval Postgraduate School, 2016-01); NPS-CS-16-001Runtime Monitoring (RM), also known as Runtime Verification (RV), is the process of monitoring and verifying the sequencing and temporal behavior of an underlying application and comparing it to the correct behavior as ...
Sellers, Kristin R. (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 ...
Galinski, Jonathan J. (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 ...