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 条
  • [31] Modeling and Analysis of UML-based Teacher-student Intercommunion Platform
    Xin, D. J.
    Shi, Y. C.
    ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL II, PROCEEDINGS, 2009, : 90 - +
  • [32] Modeling and analysis of performance aspects for software architecture: A UML-based approach
    Dai, Lirong
    Cooper, Kendra
    Wong, W. Eric
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2006, 16 (03) : 347 - 378
  • [33] UML-based Modeling and Analysis of 5G Service Orchestration
    Kunnappilly, Ashalatha
    Backeman, Peter
    Seceleanu, Cristina
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 129 - 138
  • [34] StreamGen: A UML-Based Tool For Developing Streaming Applications
    Guerriero, Michele
    Nesta, Alessandro
    Di Nitto, Elisabetta
    2018 IEEE/ACM 10TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE), 2018, : 57 - 58
  • [35] UML-based modeling approach for automotive system development
    See, Win-Bin
    2005 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY - (ICIT), VOLS 1 AND 2, 2005, : 512 - 516
  • [36] UML-based behavior specification of interactive multimedia applications
    Sauer, S
    Engels, G
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 248 - 255
  • [37] Using UML-based rules forWeb services modeling
    Lukichev, Sergey
    Giurca, Adrian
    Wagner, Gerd
    Gasevic, Dragan
    Ribaric, Marko
    2007 IEEE 23RD INTERNATIONAL CONFERENCE ON DATA ENGINEERING WORKSHOP, VOLS 1-2, 2007, : 290 - +
  • [38] Research on UML-based modeling of workflow manage system
    Guan Hong-jie
    Meng Fan-rong
    Xia Zhan-guo
    PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 835 - 839
  • [39] Dependability Modeling and Assessment in UML-Based Software Development
    Bernardi, Simona
    Merseguer, Jose
    Petriu, Dorina C.
    SCIENTIFIC WORLD JOURNAL, 2012,
  • [40] Using the she method for UML-based performance modeling
    Theelen, BD
    van der Putten, PHA
    Voeten, JPM
    SYSTEM SPECIFICATION AND DESIGN LANGUAGES: BEST OF FDL '02, 2003, : 143 - 160
12345