%0 Journal Article %1 journals/tse/XuN06 %A Xu, Dianxiang %A Nygard, Kendall E. %D 2006 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 265-278 %T Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. %U http://dblp.uni-trier.de/db/journals/tse/tse32.html#XuN06 %V 32

@article{journals/tse/XuN06, added-at = {2023-10-21T00:00:00.000+0200}, author = {Xu, Dianxiang and Nygard, Kendall E.}, biburl = {https://www.bibsonomy.org/bibtex/21335bdd830d5bc333a8466ea631cf1f9/dblp}, ee = {https://www.wikidata.org/entity/Q122875208}, interhash = {2242db35e1c34a12cd1a3f2296f6316d}, intrahash = {1335bdd830d5bc333a8466ea631cf1f9}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {265-278}, timestamp = {2024-04-08T21:07:37.000+0200}, title = {Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse32.html#XuN06}, volume = 32, year = 2006 }