Title of article :
Abstract interpretation of operational semantics for secure information flow
Author/Authors :
R. Barbuti، نويسنده , , C. Bernardeschi، نويسنده , , N. De Francesco، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2002
Keywords :
Security , Static analysis , Formal semantics , Information flow
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
