A Petri-net based multilevel security specification model for multimedia documents | IEEE Conference Publication | IEEE Xplore