Title of article :
Instruction-level security analysis for information flow in stack-based assembly languages
Author/Authors :
Nicoletta De Francesco، نويسنده , , Luca Martini، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Flow-sensitive , Language-based security , Static analysis , abstract interpretation
Journal title :
Information and Computation
Journal title :
Information and Computation
