For the most recent entries see the Petri Nets Newsletter.

Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.

Chen, Yi-Ming; Kao, Yung-Wei

In: Advances in Information and Computer Security, pages 389-404. 2006. URL:

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography