Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_d4742d4344a0910ea87b1a7f8990817c, O_RDWR) failed: Read-only file system (30) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cookie - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cache limiter - headers already sent (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: Cannot modify header information - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/header.php on line 2
CoSy Bibliography
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems
Nicoletta De Francesco, Antonella Santone, Luca Tesei.
Fundam. Inform.. pp. 195-211. vol. 54 no. 2-3. 2003.

@ARTICLE{DBLP:journals/fuin/FrancescoST03,
  title = {{Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems}},
  author = {De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca},
  journal = {Fundam. Inform.},
  pages = {195-211},
  volume = {54},
  number = {2-3},
  year = {2003},
}

Warning: Unknown: open(/var/lib/php5/sess_d4742d4344a0910ea87b1a7f8990817c, O_RDWR) failed: Read-only file system (30) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0