![](/img/cover-not-exists.png)
[IEEE 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004. - Las Vegas, NV, USA (Nov. 8-10, 2004)] Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004. - Using petri nets to verify access policies in mandatory access control model
Yixin Jiang,, Chuang Lin,, Zhen Chen,, Hao Yin,Year:
2004
Language:
english
DOI:
10.1109/iri.2004.1431473
File:
PDF, 526 KB
english, 2004