[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

✍ Scribed by Yixin Jiang, ; Chuang Lin, ; Zhen Chen, ; Hao Yin,

• Book ID: 118042727
• Publisher: IEEE
• Year: 2004
• Tongue: English
• Weight: 526 KB
• Volume: 0
• Category: Article
• ISBN-13: 9780780388192
• DOI: 10.1109/iri.2004.1431473