Modeling and Analyzing Security Patterns Using High Level Petri Nets.

Xudong He, Yujian Fu

Browse the full SEKE paper archive.