A Logic Programming Approach to Incorporate Access Control in the Internet of Things - Internet of Things. IoT through a Multi-disciplinary Perspective
Conference Papers Year : 2022

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

Abstract

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.
Embargoed file
Embargoed file
0 0 10
Year Month Jours
Avant la publication
Wednesday, January 1, 2025
Embargoed file
Wednesday, January 1, 2025
Please log in to request access to the document

Dates and versions

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

Licence

Identifiers

Cite

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 View
1 Download

Altmetric

Share

More