Petri Net Security Checker: Structural Non-interference at Work
Structural non-interference is a semi-static technique defined over Petri nets to check the absence of illegal information flows. This paper presents the main algorithmic features of this new technique and its implementation in a software tool, called the Petri Net Security Checker.
FRAU Simone;
GORRIERI Roberto;
FERIGATO Carlo;
2009-04-28
Springer
JRC48323
http://www.springerlink.com/content/auw4580k23w15217/?p=0a2bed0b19664e43834c6ce4a20659ad&pi=13,
https://publications.jrc.ec.europa.eu/repository/handle/JRC48323,
10.1007/978-3-642-01465-9,
Additional supporting files
| File name | Description | File type | |
|---|
