论文信息 - Building Security In: The SPARK Approach to Software Development - 字舞流文

Building Security In: The SPARK Approach to Software Development

Stuart Matthews | Greg Gicca

[1] Peter J. Denning,et al. Certification of programs for secure information flow , 1977, CACM.

[2] Roderick Chapman,et al. SPARKSkein: A Formal and Fast Reference Implementation of Skein , 2011, SBMF.

[3] Elizabeth N. Fong,et al. Source code security analysis tool functional specification version 1.1 , 2011 .