Security Analysis Based on Petri Net for Separation Mechanisms in Smart Identifier Network.
Linyuan YaoPing DongXiaojiang DuHongke ZhangPublished in: ICCCN (2017)
Keyphrases
- petri net
- security analysis
- concurrent processes
- petri net model
- smart card
- service composition
- high security
- security requirements
- peer to peer
- public key
- wireless sensor networks
- stochastic petri net
- fuzzy petri net
- computer networks
- ims ld
- colored petri nets
- network traffic
- defense mechanisms
- authentication protocol
- user authentication
- mutual authentication
- intrusion detection
- data mining