The following publications are possibly variants of this publication:
- Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent SystemsNicoletta De Francesco, Antonella Santone, Luca Tesei. FUIN, 54(2-3):195-211, 2003. [doi]
- Abstract interpretation of operational semantics for secure information flowRoberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco. ipl, 83(2):101-108, 2002. [doi]
- An abstract semantics tool for secure information flow of stack-based assembly programsCinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri. mam, 26(8):391-398, 2002. [doi]