Formal UML-based Modeling and Analysis for Securing Location-based IoT Applications

被引：0
|
作者：
Cardenas, Hector [1 ]
Zimmerman, Ryan [2 ]
Viesca, Antonio Rosales [1 ]
Al Lail, Mustafa [1 ]
Perez, Alfredo J. [3 ]
机构：
[1] Texas A&M Int Univ, Laredo, TX 78041 USA
[2] Columbus State Univ, Columbus, GA USA
[3] Univ Nebraska Omaha, Omaha, NE USA
来源：
2022 IEEE 19TH INTERNATIONAL CONFERENCE ON MOBILE AD HOC AND SMART SYSTEMS (MASS 2022) | 2022年
基金：
美国国家科学基金会;
关键词：
UML; Formal methods; Security; Internet of Things;
D O I：
10.1109/MASS56207.2022.00109
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a process and a tool to apply formal methods in Internet of Things (IoT) applications using the Unified Modeling Language (UML). As there are no best practices to develop secured IoT systems, we have developed a plug-in tool that integrates a framework to validate UML software models and we present the design of a location-based IoT application as a use case for the validation tool.
引用
收藏
页码：722 / 723
页数：2
相关论文
共 50 条
  • [1] Formal analysis of UML-based designs
    Belkhouche, B
    Nix, A
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 220 - 226
  • [2] UML-BASED MODELING AND ANALYSIS OF SECURITY THREATS
    Kong, Jun
    Xu, Dianxiang
    Zeng, Xiaoqin
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2010, 20 (06) : 875 - 897
  • [3] UML-based modeling for what-if analysis
    Colfarelli, Matteo
    Rizzi, Stefano
    DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2008, 5182 : 1 - 12
  • [4] UML-Based modeling and formal verification for software self-adaptation
    Han, De-Shuai
    Yang, Qi-Liang
    Xing, Jian-Chun
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (04): : 730 - 746
  • [5] UML-based modeling of data-oriented WEB applications
    Adamko, Attila
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (09) : 1104 - 1117
  • [6] UML-Based Modeling of Robustness Testing
    Moraes, Regina
    Waeselynck, Helene
    Guiochet, Jeremie
    2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE), 2014, : 168 - 175
  • [7] UML-based fusion analysis
    Sendall, S
    Strohmeier, A
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 278 - 291
  • [8] UML-based modeling of virtual enterprise
    Dai, YR
    Yan, JW
    Wang, J
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 493 - 496
  • [9] Location-based IoT applications on campus: The IoTtalk approach
    Lin, Yi-Bing
    Lin, Yun-Wei
    Hsiao, Chung-Yun
    Wang, Shie-Yuan
    PERVASIVE AND MOBILE COMPUTING, 2017, 40 : 660 - 673
  • [10] A UML-based Proposal for IoT System Requirements Specification
    Reggio, Gianna
    2018 IEEE/ACM 10TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE), 2018, : 9 - 16
12345