Static analysis for discovering IoT vulnerabilities

The Open Web Application Security Project (OWASP), released the “OWASP Top 10 Internet of Things 2018” list of the high-priority security vulnerabilities for IoT systems. The diversity of these vulnerabilities poses a great challenge toward development of a robust solution for their detection and mitigation. In this paper, we discuss the relationship between these vulnerabilities and the ones listed by OWASP Top 10 (focused on Web applications rather than IoT systems), how these vulnerabilities can actually be exploited, and in which cases static analysis can help in preventing them. Then, we present an extension of an industrial analyzer (Julia) that already covers five out of the top seven vulnerabilities of OWASP Top 10, and we discuss which IoT Top 10 vulnerabilities might be detected by the existing analyses or their extension. The experimental results present the application of some existing Julia’s analyses and their extension to IoT systems, showing its effectiveness of the analysis of some representative case studies.

Effects of Drying Process on Lignite Quality

The drying experiments of three typical kinds of Inner Mongolia lignite were conducted on a self-designed apparatus. The proximate analyses and oxygen adsorbing capacities of all the samples were analyzed on an industrial analyzer and a coal spontaneous combustion tendency tester. The results show that the treated samples show no apparent changes in their properties compared to the original lignite and no pyrolysis or combustion phenomenon occurs in the drying process. It is also observed that the oxygen adsorbing capacity of the dewatered sample is lower than that of the original lignite. Especially the oxygen adsorbing capacity of the lignite sample undergoing high-temperature drying process decreases significantly. Considering the amount of adsorbed oxygen can reflect the spontaneous combustion tendency of coal to a certain extent, the spontaneous combustion tendency of the treated lignite decreases.