Published January 13, 2017
| Version 1.2.1
Software
Open
AlessandroBeggiato/MultiUbic: Third release of MultiUbic
Creators
Description
Unfolding-based non-iterference model checker for safe Petri nets based on CUNF, works with mutlilevel security domains and can handle both transitive and intransitive security policies.
Now with more documentation and additional tools!
-Fixed some compatibility issues in the makefile -Included Ubic2: should you want to run a comparison with the provided scripts, now you do not need to separately download and compile Ubic
Files
AlessandroBeggiato/MultiUbic-1.2.1.zip
Files
(7.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:fcaa88a2f7ba5bb2f8fe7030b9e0a9c8
|
7.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/AlessandroBeggiato/MultiUbic/tree/1.2.1 (URL)