文件名称: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)