Security Analysis using Flow Logics | C. Bodei, P. Degano, Hanne Riis Nielson, Flemming Nielson
| | Type | Book [Chapter] | | Book title | Current Trends in Theoretical computer Science | | Editors | G. Paun and G. Rozenberg and A. Salomaa | | Year | 2000 pp. 525-542 | | Publisher | World Scientific | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|