Information Flow for Timed Automata

Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
Title of host publicationModels, Algorithms, Logics and Tools
Number of pages19
Volume10460
PublisherSpringer
Publication date2017
Pages3-21
ISBN (Print)9783319631202
DOIs
Publication statusPublished - 2017
EventKiMfest - Scandic Hotel, Aalborg Øst, Aalborg, Denmark
Duration: 19 Aug 201720 Aug 2017

Conference

ConferenceKiMfest
LocationScandic Hotel, Aalborg Øst
CountryDenmark
CityAalborg
Period19/08/201720/08/2017
SeriesLecture Notes in Computer Science
Volume10460
ISSN0302-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

Fingerprint Dive into the research topics of 'Information Flow for Timed Automata'. Together they form a unique fingerprint.

Cite this