Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.
Dianxiang XuKendall E. NygardPublished in: IEEE Trans. Software Eng. (2006)
Keyphrases
- petri net
- colored petri nets
- aspect oriented
- petri net model
- software development
- stochastic petri net
- crosscutting concerns
- object oriented
- concurrent systems
- development process
- business applications
- embedded real time systems
- aspect oriented programming
- discrete event systems
- sequence diagrams
- fuzzy petri net
- web services
- databases
- ims ld
- software product line
- process model
- software systems
- database applications
- source code
- software architecture
- model checking
- database systems
- case study