Alessandrobeggiato/Multiubic: Third Release Of Multiubic

Software OPEN SOURCE
Alessandro Beggiato;
(2017)

<p>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.</p> <p>Now with more documentation and additional tools!</p> <ul> <li><... View more
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2017)
  • Cite this software