Formal security model research based on Petri-net.
Mixia LiuQiuyu ZhangDongmei YuZhao HongPublished in: GrC (2005)
Keyphrases
- petri net
- security model
- access control
- public key
- security analysis
- security requirements
- petri net model
- reactive systems
- colored petri nets
- stochastic petri net
- discrete event systems
- service composition
- designated verifier
- web service composition
- formal specification
- ims ld
- fuzzy petri net
- formal methods
- expert systems
- public key cryptography