swMATH ID: 22199
Software Authors: Beggiato, A.
Description: Multiubic: 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.
Homepage: https://github.com/AlessandroBeggiato/MultiUbic
Source Code:  https://github.com/AlessandroBeggiato/MultiUbic
Related Software: Anica; PEP
Cited in: 1 Publication

Citations by Year