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 条
  • [1] Towards IoT Security Automation and Orchestration
    Zheng, Yifeng
    Pal, Arindam
    Abuadbba, Sharif
    Pokhrel, Shiva Raj
    Nepal, Surya
    Janicke, Helge
    2020 SECOND IEEE INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS AND APPLICATIONS (TPS-ISA 2020), 2020, : 55 - 63
  • [2] Towards a Formal IoT Security Model
    Martin, Tania
    Geneiatakis, Dimitrios
    Kounelis, Ioannis
    Kerckhof, Stephanie
    Fovino, Igor Nai
    SYMMETRY-BASEL, 2020, 12 (08): : 1 - 16
  • [3] Towards an Extensible IoT Security Taxonomy
    Wuestrich, Lars
    Pahl, Marc-Oliver
    Liebald, Stefan
    2020 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2020, : 697 - 702
  • [4] Addressing the Security Gap in IoT: Towards an IoT Cyber Range
    Nock, Oliver
    Starkey, Jonathan
    Angelopoulos, Constantinos Marios
    SENSORS, 2020, 20 (18) : 1 - 19
  • [5] Towards a completeness result for model checking of security protocols
    Lowe, G
    11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP - PROCEEDINGS, 1998, : 96 - 105
  • [6] Measuring Security: A Step Towards Enhancing Security of System
    Jaiswal, Shruti
    Gupta, Daya
    INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS IN THE SERVICE SECTOR, 2018, 10 (01) : 28 - 53
  • [7] DDoS in IoT: A Roadmap Towards Security & Countermeasures
    Roohi, Ammara
    Adeel, Muhammad
    Shah, Munam Ali
    2019 25TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC), 2019, : 273 - 278
  • [8] A model checking-based security analysis framework for IoT systems
    Fang, Zheng
    Fu, Hao
    Gu, Tianbo
    Qian, Zhiyun
    Jaeger, Trent
    Hu, Pengfei
    Mohapatra, Prasant
    HIGH-CONFIDENCE COMPUTING, 2021, 1 (01):
  • [9] Lintent: Towards Security Type-Checking of Android Applications
    Bugliesi, Michele
    Calzavara, Stefano
    Spano, Alvise
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 289 - 304
  • [10] A Step Towards a More Practical Protocol Conformance Checking Algorithm
    Both, Andreas
    Zimmermann, Wolf
    2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 458 - 465
12345