Anica is an Automated Non-Interference Check Assistant, checking positive place based non-interference (PBNI+) and place based non-interference with downgrading (PBNID) for safe Petri nets. Anica is a CLI-based single purpose program written in C++. As an input, Anica requires a safe Petri net, which transitions are labeled with HIGH and LOW (or additional with DOWN in case of PBNID) in case of verification. Anica provides the following features: Verification of a complete assigned Petri net; Characterization of all valid assignments; Presenting a witness path for each violation of non-interference; Providing a fully automated use of the toolchain; Coloring Petri nets with labeled confidence levels; Coloring Petri nets with checked results; Certificate-like result files.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Baldan, Paolo; Beggiato, Alessandro: Multilevel transitive and intransitive non-interference, causally (2018)