Dianxiang Xu, Kendall E. Nygard. Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. IEEE Trans. Software Eng., 32(4):265-278, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.