Jorgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues. Architectural Modeling to Verify Security and Nonfunctional Behavior. IEEE Security & Privacy, 8(1):43-49, 2010. [doi]
@article{HanssonWFMLH10, title = {Architectural Modeling to Verify Security and Nonfunctional Behavior}, author = {Jorgen Hansson and Lutz Wrage and Peter H. Feiler and John Morley and Bruce A. Lewis and Jérôme Hugues}, year = {2010}, doi = {10.1109/MSP.2009.143}, url = {http://doi.ieeecomputersociety.org/10.1109/MSP.2009.143}, tags = {modeling, architecture, security}, researchr = {https://researchr.org/publication/HanssonWFMLH10}, cites = {0}, citedby = {0}, journal = {IEEE Security & Privacy}, volume = {8}, number = {1}, pages = {43-49}, }