2008 | ||
---|---|---|
2 | EE | Simone Frau, Roberto Gorrieri, Carlo Ferigato: Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225 |
2005 | ||
1 | Simone Frau, Jonathan C. Roberts, Nadia Boukhelifa: Dynamic Coordinated Email Visualization. WSCG (Full Papers) 2005: 187-193 |
1 | Nadia Boukhelifa | [1] |
2 | Carlo Ferigato | [2] |
3 | Roberto Gorrieri | [2] |
4 | Jonathan C. Roberts | [1] |