Detection and Analysis of Security Vulnerabilities in Java

Ch. Aswani Kumar ； M. Sai Charitha

《MIS REVIEW：An International Journal》 Volume 19 Issue 2 (2014/03) Pp. 39-56

https://doi.org/10.6131/MISR.2014.1902.03

Parallel abstracts

There are several tools that use techniques like static analysis, lexical analysis etc to detect the vulnerabilities in Java based programs. However still there are vulnerabilities which are not traceable by the available tools. The objective of this paper is twofold. We develop a method to detect vulnerabilities in Java programs. Further we analyze the dependencies among the vulnerabilities using mathematical lattice theory based formal concept analysis. Our experimental result show that the proposed model is able to detect the untraceable vulnerabilities and the dependency analysis is in good agreement with the literature.

Parallel keywords

Formal Concept Analysis ； Java Programs ； Static Analysis ； Vulnerability Detection

References

Aswani Kumar, Ch.(2011).Knowledge discovery in data using formal concept analysis and random projections.International Journal of Applied Mathematics and Computer Science.21(4),745-756.

Aswani Kumar, Ch.(2011).Mining association rules using non-negative matrix factorization and formal concept analysis.Communications in Computer and Information Science.157,31-39.

Aswani Kumar, Ch.(2012).Modeling access permissions in role based access control using formal concept analysis.Wireless Networks and Computational Intelligence.(Wireless Networks and Computational Intelligence).:

Aswani Kumar, Ch.(2012).Fuzzy clustering based formal concept analysis for association rules mining.Applied Artificial Intelligence.26(3),274-301.

Aswani Kumar, Ch.(2013).Designing role based access control using formal concept analysis.Security and Communication Networks.6(3),373-383.