Security Guidelines: Requirements Engineering for Verifying Code Quality
暂无分享,去创建一个
Rabéa Ameur-Boulifa | Yves Roudier | Stuart Short | Zeineb Zhioua | R. Ameur-Boulifa | Y. Roudier | S. Short | Zeineb Zhioua
[1] Ludovic Apvrille,et al. SysML-Sec: A model driven approach for designing safe and secure systems , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
[2] K. J. Bma. Integrity considerations for secure computer systems , 1977 .
[3] David Sands,et al. Declassification: Dimensions and principles , 2009, J. Comput. Secur..
[4] John Wilander,et al. Pattern Matching Security Properties of Code using Dependence Graphs , 2005 .