Information Flow for Timed Automata

Flemming Nielson; Hanne Riis Nielson; Panagiotis Vasilikos

doi:10.1007/978-3-319-63121-9_1

Information Flow for Timed Automata

Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

One of the key demands of cyberphysical systems is that they meet their safety goals. Timed Automata has established itself as a formalism for modelling and analysing the real-time safety aspects of cyberphysical systems. Increasingly it is also demanded that cyberphysical systems meet a number of security goals for confidentiality and integrity. Information Flow Control is an approach to ensuring that there are no flows of information that violate the stated security policy.

Original language	English
Title of host publication	Models, Algorithms, Logics and Tools
Number of pages	19
Volume	10460
Publisher	Springer
Publication date	2017
Pages	3-21
ISBN (Print)	9783319631202
DOIs	https://doi.org/10.1007/978-3-319-63121-9_1
Publication status	Published - 2017
Event	KiMfest 2017 - Scandic Hotel, Aalborg Øst, Aalborg, Denmark Duration: 19 Aug 2017 → 20 Aug 2017

Conference

Conference	KiMfest 2017
Location	Scandic Hotel, Aalborg Øst
Country/Territory	Denmark
City	Aalborg
Period	19/08/2017 → 20/08/2017

Series	Lecture Notes in Computer Science
Volume	10460
ISSN	0302-9743

Keywords

Computer Science
Theory of Computation
Software Engineering
Simulation and Modeling
Programming Languages, Compilers, Interpreters
Artificial Intelligence (incl. Robotics)
Computer Systems Organization and Communication Networks

Access to Document

10.1007/978-3-319-63121-9_1

OpenUrl availability

Full text

Cite this

@inproceedings{96bd5c12d43d4fdd8a470f0978ad3c8c,

title = "Information Flow for Timed Automata",

abstract = "One of the key demands of cyberphysical systems is that they meet their safety goals. Timed Automata has established itself as a formalism for modelling and analysing the real-time safety aspects of cyberphysical systems. Increasingly it is also demanded that cyberphysical systems meet a number of security goals for confidentiality and integrity. Information Flow Control is an approach to ensuring that there are no flows of information that violate the stated security policy.",

keywords = "Computer Science, Theory of Computation, Software Engineering, Simulation and Modeling, Programming Languages, Compilers, Interpreters, Artificial Intelligence (incl. Robotics), Computer Systems Organization and Communication Networks",

author = "Flemming Nielson and Nielson, {Hanne Riis} and Panagiotis Vasilikos",

year = "2017",

doi = "10.1007/978-3-319-63121-9_1",

language = "English",

isbn = "9783319631202",

volume = "10460",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "3--21",

booktitle = "Models, Algorithms, Logics and Tools",

note = "KiMfest 2017 ; Conference date: 19-08-2017 Through 20-08-2017",

}

TY - GEN

T1 - Information Flow for Timed Automata

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Vasilikos, Panagiotis

PY - 2017

Y1 - 2017

N2 - One of the key demands of cyberphysical systems is that they meet their safety goals. Timed Automata has established itself as a formalism for modelling and analysing the real-time safety aspects of cyberphysical systems. Increasingly it is also demanded that cyberphysical systems meet a number of security goals for confidentiality and integrity. Information Flow Control is an approach to ensuring that there are no flows of information that violate the stated security policy.

AB - One of the key demands of cyberphysical systems is that they meet their safety goals. Timed Automata has established itself as a formalism for modelling and analysing the real-time safety aspects of cyberphysical systems. Increasingly it is also demanded that cyberphysical systems meet a number of security goals for confidentiality and integrity. Information Flow Control is an approach to ensuring that there are no flows of information that violate the stated security policy.

KW - Computer Science

KW - Theory of Computation

KW - Software Engineering

KW - Simulation and Modeling

KW - Programming Languages, Compilers, Interpreters

KW - Artificial Intelligence (incl. Robotics)

KW - Computer Systems Organization and Communication Networks

U2 - 10.1007/978-3-319-63121-9_1

DO - 10.1007/978-3-319-63121-9_1

M3 - Article in proceedings

SN - 9783319631202

VL - 10460

T3 - Lecture Notes in Computer Science

SP - 3

EP - 21

BT - Models, Algorithms, Logics and Tools

PB - Springer

T2 - KiMfest 2017

Y2 - 19 August 2017 through 20 August 2017

ER -

Information Flow for Timed Automata

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this