Towards a Formal Semantics for System Calls in terms of Information Flow - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Towards a Formal Semantics for System Calls in terms of Information Flow

Résumé

We propose a new semantics for system calls, which focuses on the information flows they generate in a UNIX OS. We built a prototypal model of an OS and system calls using the concurrent transaction logic along with its interpreter. We have yet a few results and applications that show the usefulness of our semantics to model an OS from a kernel point of view. Once completed, we expect our semantics to enable us to extensively test security software implemented inside the kernel, among other use cases.
Fichier non déposé

Dates et versions

hal-01149471 , version 1 (07-05-2015)

Identifiants

  • HAL Id : hal-01149471 , version 1

Citer

Laurent Georget, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong, Mathieu Jaume. Towards a Formal Semantics for System Calls in terms of Information Flow. Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4. ⟨hal-01149471⟩
384 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More