Modeling of information systems security features with colored Petri nets.

Boleslaw Mikolajczak, Sachin Joshi

Browse the full SMC paper archive.