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 条
  • [21] Study on UML-based manufacturing process modeling
    Guo, ZL
    Du, PA
    Wang, ZH
    Liang, SH
    CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 775 - 779
  • [22] UML-based modeling of architectural knowledge and design
    Kirchhof, M
    Kraft, B
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 245 - 250
  • [23] UML-based beowulf cluster availability modeling
    Song, HT
    Leangsuksun, C
    Nassar, R
    Liu, YD
    Engelmann, C
    Scott, SL
    SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, : 161 - 167
  • [24] UML-based modeling and development for CAPP system
    Zhang, SJ
    Song, LG
    CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 671 - 675
  • [25] A UML-based design environment for interactive applications
    da Silva, PP
    Paton, NW
    SECOND INTERNATIONAL WORKSHOP ON USER INTERFACES TO DATA INTENSIVE SYSTEMS, PROCEEDINGS, 2001, : 60 - 71
  • [26] Supporting UML-based development of embedded systems by formal techniques
    Jozef Hooman
    Hillel Kugler
    Iulian Ober
    Anjelika Votintseva
    Yuri Yushtein
    Software & Systems Modeling, 2008, 7 : 131 - 155
  • [27] Supporting UML-based development of embedded systems by formal techniques
    Hooman, Jozef
    Kugler, Hillel
    Ober, Iulian
    Votintseva, Anjelika
    Yushtein, Yuri
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 131 - 155
  • [28] Securing sensor networks with location-based keys
    Zhang, WC
    Liu, W
    Lou, WJ
    Fang, YG
    2005 IEEE Wireless Communications and Networking Conference, Vols 1-4: WCNC 2005: BROADBAND WIRELESS FOR THE MASSES READY FOR TAKE-OFF., 2005, : 1909 - 1914
  • [29] UML-Based Navigational Design Approach for Modeling Complex Interactions in Web Applications
    Mubin, Siti Azreena
    Jantan, Azrul Hazri
    Abdullah, Rusli
    Kamaruddin, Azrina
    2015 9TH MALAYSIAN SOFTWARE ENGINEERING CONFERENCE (MYSEC2015), 2015, : 60 - 63
  • [30] Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines
    Silva, Leandro F.
    Oliveira, Edson, Jr.
    Zorzo, Avelino F.
    PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS), VOL 2, 2020, : 442 - 449
12345