Home // ICONS 2015, The Tenth International Conference on Systems // View article

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

Authors:
Laurent Georget
Guillaume Piolle
Frédéric Tronel
Valérie Viêt Triem Tong
Mathieu Jaume

Keywords: Operating Systems; Security; System Calls; Information Flow

Abstract:
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.

Pages: 1 to 4

Copyright: Copyright (c) IARIA, 2015

Publication date: April 19, 2015

Published in: conference

ISSN: 2308-4243

ISBN: 978-1-61208-399-5

Location: Barcelona, Spain

Dates: from April 19, 2015 to April 24, 2015