Login / Signup

Using Petri Nets to Verify Security Policies in Mandatory Access Control Model.

Yixin JiangChuang LinZhen ChenHao Yin
Published in: IRI (2004)
Keyphrases
  • petri net
  • security policies
  • colored petri nets
  • petri net model
  • access control
  • data mining
  • information systems
  • fine grained