Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
research:publications [2016/11/30 21:58] luca |
research:publications [2016/11/30 22:26] luca |
||
|---|---|---|---|
| Line 118: | Line 118: | ||
| * Barbuti, Roberto and Tesei, Luca (2003) "A Decidable Notion of Timed Non-Interference", //Fundamenta Informaticae// **54**(2-3), 137-150.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-03|Page at Publisher]], [[http://hdl.handle.net/11581/201245|Entry at UNICAM Repository]], {{ :research:bt03-postprint.pdf |PDF}} | * Barbuti, Roberto and Tesei, Luca (2003) "A Decidable Notion of Timed Non-Interference", //Fundamenta Informaticae// **54**(2-3), 137-150.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-03|Page at Publisher]], [[http://hdl.handle.net/11581/201245|Entry at UNICAM Repository]], {{ :research:bt03-postprint.pdf |PDF}} | ||
| + | * De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2003) "Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems", //Fundamenta Informaticae// **54**(2-3), 195-211.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-07|Page at Publisher]], [[http://hdl.handle.net/11581/201302|Entry at UNICAM Repository]], {{ :research:dst03-postprint.pdf |PDF}} | ||
| + | ===== 2002 ===== | ||
| + | |||
| + | ==== Journal Papers ==== | ||
| + | |||
| + | * Barbuti, Roberto and De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2002) "A Notion of Non-Interference for Timed Automata", //Fundamenta Informaticae// **51**(1-2), 1-11.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-02|Page at Publisher]], [[http://hdl.handle.net/11581/201244|Entry at UNICAM Repository]], {{ :research:bdst02-postprint.pdf |PDF}} | ||