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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.