Can I read Property Templates for Checking Source Code Security on EtoBox?

Property Templates for Checking Source Code Security by Elizabeth I. Leonard, Myla M. Archer, and Constance L. Heitmeyer is a scholarly article available to read on EtoBox.

What is Property Templates for Checking Source Code Security about?

This paper describes a method for using property definition templates to support automatic analysis of source code for application-specific security properties. The method is illustrated on an example data flow property of a C program.

Author

Elizabeth I. Leonard, Myla M. Archer, and Constance L. Heitmeyer

Publisher

ACM

Published

2017

Language

EN