Modeling and security analysis of enterprise network using attack-defense stochastic game Petri nets.
Yuanzhuo WangJingyuan LiKun MengChuang LinXueqi ChengPublished in: Secur. Commun. Networks (2013)
Keyphrases
- petri net
- security analysis
- defense mechanisms
- colored petri nets
- enterprise network
- stochastic petri net
- authentication protocol
- attack graph
- discrete event systems
- security requirements
- smart card
- public key
- encryption algorithm
- user authentication
- encryption scheme
- service composition
- security issues
- database systems
- information security
- neural network