Modeling and Analyzing Security Patterns Using High Level Petri Nets.

Xudong HeYujian Fu
Published in: SEKE (2016)