Detection Of A Timing Channel In An Uppaal Model Of A Cyber-Manufacturing System
收藏数据链接：
官方服务：
资源简介：
Model of a cyber-manufacturing system for the UPPAAL model checker, including a mitigation of a timing channel.
提供机构：
Zenodo创建时间：
2018-05-11
社区交流群
科研交流群
商业服务