GitHub repository: AlessandroBeggiato/MultiUbic
Created: 2016-01-25T10:59:11Z
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.