Tools
Anica is an [A]utomated [N]on-[I]nterference [C]heck [A]ssistant, checking positive place based non-interference (PBNI+) for safe Petri nets.
News
2012-Mar: Topic Workshop "Security in Business Processes"
2012-Mar: Topic Workshop "Information Flow and Security in Sequential Applications"
2012-Jan: Staff Meeting 2012 in Höchst i. Odw.
2011-Dec: Call for Proposals for Phase 2
2011-Nov: Topic Workshop "E-Voting and Information Flow"
2011-Nov: Exploring Assistant Positions
2011-Nov: Topic Workshop "Information Flow Control for Mobile Devices"
2011-Oct: Tutorial "Information Flow Security and Verification Tools"
