A Logic Programming Approach to Incorporate Access Control in the Internet of Things - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

A Logic Programming Approach to Incorporate Access Control in the Internet of Things

Résumé

In the present digital world, we depend on information technology more than ever. Our economy, health, well-being and even our lives depend on it. Information security is a basic requirement, with access control playing a key role in limiting potential risks. However, the digital environment is no longer limited to data, access to the IoT space must also be handled properly.Logic has shown to be very useful in access control. It has been used to formally explain and verify access control policies. Here, logic is employed as a reasoning service in support of other systems. However, a general access control mechanism for logic programs is not available.This paper presents a structural approach that brings Access Control to Logic Programming. It allows to constrain access to the knowledge base, supporting the use of impure predicates, preventing unauthorized side effects (i.e. controlling IoT devices) taking place.
Fichier sous embargo
Fichier sous embargo
0 0 10
Année Mois Jours
Avant la publication
mercredi 1 janvier 2025
Fichier sous embargo
mercredi 1 janvier 2025
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04704219 , version 1 (20-09-2024)

Licence

Identifiants

Citer

Ilse Bohé, Michiel Willocx, Jorn Lapon, Vincent Naessens. A Logic Programming Approach to Incorporate Access Control in the Internet of Things. 5th IFIP International Internet of Things Conference (IFIPIoT), Oct 2022, Amsterdam, Netherlands. pp.106-124, ⟨10.1007/978-3-031-18872-5_7⟩. ⟨hal-04704219⟩
18 Consultations
1 Téléchargements

Altmetric

Partager

More