Modeling and Analyzing Security Patterns Using High Level Petri Nets.

Xudong He Yujian Fu

Published in: SEKE (2016)

Keyphrases

security patterns
petri net
formal model
artificial intelligence
information systems
case study
data model
e government