A Step Towards Checking Security in IoT

被引:5
|
作者
Bodei, Chiara [1 ]
Degano, Pierpaolo [1 ]
Ferrari, Gian-Luigi [1 ]
Galletta, Letterio [1 ]
机构
[1] Univ Pisa, Dipartimento Informat, I-56100 Pisa, Italy
来源
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 223期
关键词
STATIC ANALYSIS; CALCULUS; COMMUNICATION;
D O I
10.4204/EPTCS.223.9
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IOT-LYSA, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties.
引用
收藏
页码:128 / 142
页数:15
相关论文
共 50 条
  • [41] Optimal Security Checking
    Yiyang, Meizhi
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MANAGEMENT, EDUCATION, INFORMATION AND CONTROL (MEICI 2017), 2017, 156 : 723 - 728
  • [42] TOWARDS HIGH-SECURITY UBIQUITOUS IOT NETWORKS USING AI
    Ye, Neng
    Kang, Bichen
    Qi, Bin
    Bu, Xiangyuan
    An, Jianping
    2023 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING WORKSHOPS, ICASSPW, 2023,
  • [43] Towards Mapping the Security Challenges of the Internet of Things (IoT) Supply Chain
    Omitola, Tope
    Wills, Gary
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES-2018), 2018, 126 : 441 - 450
  • [44] Towards Examining The Security Cost of Inexpensive Smart Home IoT Devices
    OConnor, T. J.
    Jessee, Dylan
    Campos, Daniel
    2023 IEEE 47TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE, COMPSAC, 2023, : 1293 - 1298
  • [45] Security Checking in ABPMN
    RituSaluja
    Singh, S. K.
    Chaturvedi, Arun K.
    2016 IEEE INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND AUTOMATION (ICCCA), 2016, : 449 - 454
  • [46] Application security code analysis: A step towards software assurance
    Rawat, Sanjay
    Saxena, Ashutosh
    International Journal of Information and Computer Security, 2009, 3 (01) : 86 - 110
  • [47] Towards IoT-driven Process Event Log Generation for Conformance Checking in Smart Factories
    Seiger, Ronny
    Zerbato, Francesca
    Burattin, Andrea
    Garcia-Banuelos, Luciano
    Weber, Barbara
    2020 IEEE 24TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW 2020), 2020, : 20 - 26
  • [48] Security of IoT
    Gokalp, Erem
    Aydin, Muhammed Ali
    2018 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENGINEERING (UBMK), 2018, : 453 - 457
  • [49] IoT Security
    Jamali M.A.J.
    Heidari A.
    Allahverdizadeh P.
    Norouzi F.
    Bahrami B.
    EAI/Springer Innovations in Communication and Computing, 2020, : 33 - 83
  • [50] Towards Optimized Security Attributes for IoT Devices in Smart Agriculture Based on the IEC 62443 Security Standard
    Shaaban, Abdelkader Magdy
    Chlup, Sebastian
    El-Araby, Nahla
    Schmittner, Christoph
    APPLIED SCIENCES-BASEL, 2022, 12 (11):