Source Code Analysis Laboratory (SCALe) for Energy Delivery Systems
暂无分享,去创建一个
R. Seacord | J. McCurley | Will Dormann | David Svoboda | R. Stoddard | Jefferson Welch | Philip Miller
[1] Robert C. Seacord,et al. The Cert Oracle Secure Coding Standard for Java , 2011 .
[2] Timothy Wilson,et al. As-If Infinitely Ranged Integer Model , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.
[3] Aurelien Delaitre,et al. The Second Static Analysis Tool Exposition (SATE) 2009 , 2010 .
[4] Vadim Okun,et al. Static Analysis Tool Exposition (SATE) 2008 | NIST , 2009 .
[5] Jared D. DeMott,et al. Fuzzing for Software Security Testing and Quality Assurance , 2008 .
[6] E Hicham,et al. Failure Mode and Effects Analysis (FMEA) , 2007 .
[7] Alexander von Eye,et al. Analyzing Rater Agreement: Manifest Variable Methods , 2004 .
[8] Pascal Meunier,et al. Can source code auditing software identify common vulnerabilities and be used to evaluate software security? , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.
[9] Grace A. Lewis,et al. Modernizing Legacy Systems - Software Technologies, Engineering Processes, and Business Practices , 2003, SEI series in software engineering.
[10] Kenneth S. Stephens,et al. The Handbook Of Applied Acceptance Sampling: Plans, Procedures And Principles , 2001 .
[11] J. R. Landis,et al. The measurement of observer agreement for categorical data. , 1977, Biometrics.
[12] Jerome H. Saltzer,et al. The protection of information in computer systems , 1975, Proc. IEEE.
[13] Robert C. Seacord,et al. Supporting the Use of CERT ® Secure Coding Standards in DoD Acquisitions , 2012 .
[14] Robert A. Martin,et al. Vulnerability Type Distributions in CVE , 2007 .
[15] R. Seacord,et al. Secure Coding Standards , 2006 .
[16] Thomas Plum,et al. Eliminating Buffer Overflows , Using the Compiler or a Standalone Tool , 2005 .