There is a newer version of the record available.

Published October 20, 2017 | Version v2
Dataset Open

Detection of a Timing Channel in an UPPAAL Model of a Cyber-Manufacturing System

Authors/Creators

  • 1. Anonymous Affiliation

Description

Model of a cyber-manufacturing system for the UPPAAL model checker, including a mitigation of a timing channel.

Files

ManufacturingSystem.xml

Files (27.6 kB)

Name Size Download all
md5:8bb67286c3ef2b8817f3897af6a5471c
101 Bytes Download
md5:7e33384c67f131a7a32873dd899b2625
27.5 kB Preview Download

Additional details

Subjects

UPPAAL
http://uppaal.org