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 条
  • [21] Towards an Ontology for IoT Context-Based Security Evaluation
    Gonzalez-Gil, Pedro
    Skarmeta, Antonio F.
    Antonio Martinez, Juan
    2019 GLOBAL IOT SUMMIT (GIOTS), 2019,
  • [22] Towards Hardware-Assisted Security for IoT Systems (Invited)
    Jin, Yier
    2019 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2019), 2019, : 634 - 639
  • [23] Towards enhancing security of IoT-Enabled healthcare system
    Irshad, Reyazur Rashid
    Sohail, Shahab Saquib
    Hussain, Shahid
    Madsen, Dag Oivind
    Zamani, Abu Sarwar
    Ahmed, Abdallah Ahmed Alzupair
    Alattab, Ahmed Abdu
    Badr, Mohamed Mahdi
    Alwayle, Ibrahim M.
    HELIYON, 2023, 9 (11)
  • [24] A Learning Approach with Programmable Data Plane towards IoT Security
    Qin, Qiaofeng
    Poularakis, Konstantinos
    Tassiulas, Leandros
    2020 IEEE 40TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), 2020, : 410 - 420
  • [25] Security Issues in Narrowband-IoT: Towards Green Communication
    Kumar, Vinod
    Jha, Rakesh Kumar
    Jain, Sanjeev
    2021 INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS), 2021, : 369 - 371
  • [26] Towards Post-quantum Security for IoT Endpoints with NTRU
    Guillen, Oscar M.
    Poeppelmann, Thomas
    Mera, Jose M. Bermudo
    Bongenaar, Elena Fuentes
    Sigl, Georg
    Sepulveda, Johanna
    PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 698 - 703
  • [27] Green Sensing and Communication: A Step Towards Sustainable IoT Systems
    Vini Gupta
    Sharda Tripathi
    Swades De
    Journal of the Indian Institute of Science, 2020, 100 : 383 - 398
  • [28] Green Sensing and Communication: A Step Towards Sustainable IoT Systems
    Gupta, Vini
    Tripathi, Sharda
    De, Swades
    JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2020, 100 (02) : 383 - 398
  • [29] Checking security properties by model checking
    De Francesco, N
    Lettieri, G
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2003, 13 (03): : 181 - 196
  • [30] Nano-agrobiotechnology: A step towards food security
    Datta, P. S.
    CURRENT SCIENCE, 2008, 94 (01): : 22 - 23
12345