Published February 7, 2019
| Version v1
Dataset
Open
Checking Secure Information Flow of CoCoME using UPPAAL
Description
Model of the CoCoME case study for the UPPAAL model checker. Also includes auto-generated verification models for checking the information flow security of CoCoME, and the corresponding verification properties.
Files
evaluation.zip
Files
(342.8 kB)
Name | Size | Download all |
---|---|---|
md5:54338922a7948e986f9d3a069841955c
|
342.8 kB | Preview Download |