Paper Info
Title
Property templates for checking source code security.
Abstract
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.
Year
Venue
Field
2017
MEMOCODE
Programming language,Computer science,Source code,Security properties,Template,Data flow diagram
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
4
3
Name
Order
Citations
PageRank
Elizabeth I. Leonard11108.48
Myla Archer246356.43
Constance Heitmeyer358339.53