Information Flow for Timed Automata

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

DOI

View graph of relations

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
StatePublished - 2017
EventKiMfest - Aalborg, Denmark

Conference

ConferenceKiMfest
LocationScandic Hotel, Aalborg Øst
CountryDenmark
CityAalborg
Period19/08/201720/08/2017
SeriesLecture Notes in Computer Science
Volume10460
ISSN0302-9743
CitationsWeb of Science® Times Cited: No match on DOI

    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
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 134975735