文件名称：CoPS软件包
文件大小：13.15MB
文件格式：RAR
更新时间：2021-10-28 16:18:21
信息流 无干扰
自动验证信息流安全的软件，官网貌似已经倒闭，嗯有需要的下载吧
【文件预览】：
CoPSfiles
----Linux()
--------CoPS()
----CoPs工具学习.doc(155KB)
----biba model.spa(5KB)
----CoPSsetup.exe(457KB)
----system.spa(2KB)
----GrenetFont.zip(23KB)
----graphviz-2.22.2.msi(11.4MB)
----toolbar.png(11KB)
----CoPS.zip(386KB)
----examples()
--------ex3_2_BinaryMemCell_secure.spa(368B)
--------ex4_Access_Monitor.spa(2KB)
--------ex2_simple.spa(274B)
--------ex1_simple.spa(309B)
--------ex3_1_BinaryMemCell_insecure.spa(1KB)
--------e-commerce()
----main.png(38KB)
----digraph systemGraph.docx(12KB)
----Grenet.TTF(34KB)
----ConSec中文（Google翻译）.docx(1020KB)