Checking Secure Information Flow of CoCoME using UPPAAL
收藏数据链接：
官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2019-02-08
