Year | DOI | Venue |
---|---|---|
2002 | 10.1016/S0020-0190(02)00219-3 | Inf. Process. Lett. |
Keywords | Field | DocType |
secure information flow,abstract interpretation,operational semantics,security,static analysis,information flow,formal semantics | Information flow (information theory),Operational semantics,Computer science,Abstract interpretation,Static analysis,Theoretical computer science,Semantics of logic | Journal |
Volume | Issue | ISSN |
83 | 2 | 0020-0190 |
Citations | PageRank | References |
18 | 0.78 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
R. Barbuti | 1 | 47 | 3.74 |
C. Bernardeschi | 2 | 41 | 4.90 |
Nicoletta De Francesco | 3 | 50 | 4.86 |