Modeling and Analyzing Security Patterns Using High Level Petri Nets

Xudong He, Yujian Fu. Modeling and Analyzing Security Patterns Using High Level Petri Nets. In Jerry Gou, editor, The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, Redwood City, San Francisco Bay, USA, July 1-3, 2016. pages 623-627, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2016. [doi]

Authors

Xudong He

This author has not been identified. Look up 'Xudong He' in Google

Yujian Fu

This author has not been identified. Look up 'Yujian Fu' in Google