Published May 4, 2018
| Version v7
Dataset
Open
Detection of a Timing Channel in an UPPAAL Model of a Cyber-Manufacturing System
Description
Model of a cyber-manufacturing system for the UPPAAL model checker, including a mitigation of a timing channel.
Files
ManufacturingSystem.xml
Files
(2.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:29ec5ea41e69c42d9ab1d591ca76ee46
|
105 Bytes | Download |
|
md5:3d9f322be6fb53b8fefa9b8035bd6bd4
|
11.9 kB | Preview Download |
|
md5:26743bbcc9af71eaa5b21babc3ca27e8
|
2.3 MB | Preview Download |
|
md5:29ec5ea41e69c42d9ab1d591ca76ee46
|
105 Bytes | Download |
|
md5:ac38a6b72fb9bd3d33069882fab67db0
|
12.1 kB | Preview Download |
Additional details
Subjects
- UPPAAL
- http://uppaal.org