%0 Conference Paper %1 conf/kbse/XuN05 %A Xu, Dianxiang %A Nygard, Kendall E. %B ASE %D 2005 %E Redmiles, David F. %E Ellman, Thomas %E Zisman, Andrea %I ACM %K dblp %P 342-346 %T A threat-driven approach to modeling and verifying secure software. %U http://dblp.uni-trier.de/db/conf/kbse/ase2005.html#XuN05 %@ 1-58113-993-4

@inproceedings{conf/kbse/XuN05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Xu, Dianxiang and Nygard, Kendall E.}, biburl = {https://www.bibsonomy.org/bibtex/2383fc017726e37e45eee023728ce6e1f/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2005}, editor = {Redmiles, David F. and Ellman, Thomas and Zisman, Andrea}, ee = {https://doi.org/10.1145/1101908.1101965}, interhash = {8cc7b56461a41dd5b70e818ab342dcd4}, intrahash = {383fc017726e37e45eee023728ce6e1f}, isbn = {1-58113-993-4}, keywords = {dblp}, pages = {342-346}, publisher = {ACM}, timestamp = {2018-11-07T13:04:55.000+0100}, title = {A threat-driven approach to modeling and verifying secure software.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2005.html#XuN05}, year = 2005 }