Time Insertion Functions

Time insertion functions as a tool to guarantee security of processes with respect to timing attacks are discussed and studied. We work with a security property called opacity and we investigate how it can be enforced by such functions. The time insertion function can alter time behaviour of origina...

Full description

Saved in:
Bibliographic Details
Published inAdvances in Model and Data Engineering in the Digitalization Era Vol. 1481; pp. 181 - 188
Main Author Gruska, Damas P.
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2021
Springer International Publishing
SeriesCommunications in Computer and Information Science
Subjects
Information flow
Insertion function
Opacity
Process algebras
Security
Timing attack
Online AccessGet full text

Cover

More Information
Summary:Time insertion functions as a tool to guarantee security of processes with respect to timing attacks are discussed and studied. We work with a security property called opacity and we investigate how it can be enforced by such functions. The time insertion function can alter time behaviour of original system by inserting some time delays to guarantee its security. We investigate conditions under which such functions do exist and also some of their properties.
Bibliography:This work was supported by the Slovak Research and Development Agency under the Contract no. APVV-19-0220 (ORBIS) and by the Slovak VEGA agency under Contract no. 1/0778/18 (KATO).
ISBN:9783030876562
303087656X
ISSN:1865-0929
1865-0937
DOI:10.1007/978-3-030-87657-9_14