There is a newer version of the record available.

Published October 20, 2017 | Version v1
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 (33.6 kB)

Name Size Download all
md5:7a360a0c5763e6bc56c15e1150d64d48
101 Bytes Download
md5:5d35ddaff6fe891d88d12380feb630ca
33.5 kB Preview Download

Additional details

Subjects

UPPAAL
http://uppaal.org