Security Analysis for SmartThings IoT Applications

被引:0
|
作者
Schmeidl, Florian [1 ]
Nazzal, Bara' [1 ]
Alalfi, Manar H. [1 ]
机构
[1] Ryerson Univ, Dept Comp Sci, Toronto, ON, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper presents a fully automated static analysis approach and a tool, Taint-Things, for the identification of tainted flows in SmartThings IoT apps. Taint-Things accurately identified all tainted flows reported by one of the state-of the-art tools with at least 4 times improved performance. In addition, our approach reports potential vulnerable tainted flow in a form of a concise security slice, which could provide security auditors with an effective and precise tool to pinpoint security issues in SmartThings apps under test.
引用
收藏
页码:25 / 29
页数:5
相关论文
共 50 条
  • [11] Security Technology Analysis of IOT
    Peng, SheQiang
    Shen, HongBing
    INTERNET OF THINGS-BK, 2012, 312 : 401 - +
  • [12] Security Requirements Analysis for the IoT
    Oh, Se-Ra
    Kim, Young-Gab
    2017 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON), 2017, : 305 - 310
  • [13] Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications
    Khan, Muhammad Taimoor
    2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2022,
  • [14] Security Assessment of Agriculture IoT (AIoT) Applications
    Kristen, Erwin
    Kloibhofer, Reinhard
    Diaz, Vicente Hernandez
    Castillejo, Pedro
    APPLIED SCIENCES-BASEL, 2021, 11 (13):
  • [15] Security Threats in the Application layer in IOT Applications
    Swamy, Sowmya Nagasimha
    Jadhav, Dipti
    Kulkarni, Nikita
    2017 INTERNATIONAL CONFERENCE ON I-SMAC (IOT IN SOCIAL, MOBILE, ANALYTICS AND CLOUD) (I-SMAC), 2017, : 477 - 480
  • [16] On the Security of Permissioned Blockchain Solutions for IoT Applications
    Brotsis, Sotirios
    Kolokotronis, Nicholas
    Limniotis, Konstantinos
    Shiaeles, Stavros
    PROCEEDINGS OF THE 2020 6TH IEEE CONFERENCE ON NETWORK SOFTWARIZATION (NETSOFT 2020): BRIDGING THE GAP BETWEEN AI AND NETWORK SOFTWARIZATION, 2020, : 465 - 472
  • [17] VerificationTalk: A Verification and Security Mechanism for IoT Applications
    Shieh, Min-Zheng
    Lin, Yi-Bing
    Hsu, Yin-Jui
    SENSORS, 2021, 21 (22)
  • [18] Hardware Security Assurance in Emerging IoT Applications
    Dofe, Jaya
    Frey, Jonathan
    Yu, Qiaoyan
    2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 2050 - 2053
  • [19] Services and Applications Security in IoT Enabled Networks
    Khumalo, Philani
    Nleya, Bakhe
    Gomba, A.
    Mutsvangwa, A.
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT AND INNOVATIVE COMPUTING APPLICATIONS (ICONIC), 2018, : 389 - 395
  • [20] AN ANALYSIS OF SECURITY PERSPECTIVE IN INDUSTRIAL IOT
    Kavitha, R.
    Malathi, R.
    Ramesh, S. S. Subashka
    INTERNATIONAL JOURNAL OF EARLY CHILDHOOD SPECIAL EDUCATION, 2022, 14 (05) : 773 - 781