@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: /users/comete/catuscia/bin/bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"giunti" | author:"knight" | author:"kramer" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author: "troina" | author:"valencia" | author:"wu" | author:"ziegler"' -c year=2010 papers.bib}}
@inproceedings{hamadou:2010:inria-00424853:2,
address = {Eindhoven, The Netherlands},
author = {Hamadou, Sardaouna and Palamidessi, Catuscia and Sassone, Vladimiro and ElSalamouny, Ehab},
booktitle = {Postproceedings of the 6th International Workshop on Formal Aspects in Security and Trust},
doi = {10.1007/978-3-642-12459-4_11},
editor = {Pierpaolo Degano and Joshua D. Guttman},
pages = {141-156},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Probable Innocence and Independent Knowledge},
url = {http://hal.inria.fr/inria-00424853/en},
volume = {5983},
x-id-hal = {inria-00424853},
year = {2010},
}
@article{Kramer:10:JCV,
author = {Simon Kramer and Julian C. Bradfield},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1007/s11416-009-0137-1},
journal = {Journal in Computer Virology},
number = {2},
pages = {105-114},
title = {A general definition of malware},
url = {http://www.springerlink.com/content/x5373l5445477225/},
volume = {6},
year = {2010},
}
@inproceedings{PALAMIDESSI:2010:HAL-00548210:1,
address = {{L}ac {B}eaufort, {Q}u\'ebec {C}ity, {C}anada},
author = {{C}atuscia {P}alamidessi},
booktitle = {Joint Conference: 10th International Conference on the Mathematics of Program Construction (MPC 2010), and 13th International Conference on Algebraic Methodology And Software Technology (AMAST 2010)},
doi = {10.1007/978-3-642-13321-3_2},
editor = {{C}laude {B}olduc and {J}ules {D}esharnais and {B}{\'e}chir {K}tari},
hal_id = {hal-00548210},
language = {{E}nglish},
pages = {19-19},
publisher = {{S}pringer},
series = {{L}ecture {N}otes in {C}omputer {S}cience},
title = {{C}ompositionality of {S}ecure {I}nformation {F}low},
url = {http://hal.archives-ouvertes.fr/hal-00548210/en/},
volume = {6120},
x-invited-conference = {yes},
year = {2010},
}
@inproceedings{PALAMIDESSI:2010:HAL-00548211:1,
address = {{P}aphos, {C}yprus},
author = {Catuscia {P}alamidessi and {M}\'ario S. {A}lvim and Miguel E. Andres},
booktitle = {{J}oint {W}orkshop on {A}utomated {R}easoning for {S}ecurity {P}rotocol {A}nalysis and {I}ssues in the {T}heory of {S}ecurity ({ARSPA}-{WITS} 2010)},
doi = {10.1007/978-3-642-16074-5_8},
editor = {{A}lessandro {A}rmando and {G}avin {L}owe},
hal_id = {hal-00548211},
language = {{E}nglish},
pages = {111-111},
publisher = {{S}pringer},
series = {{L}ecture {N}otes in {C}omputer {S}cience},
title = {{I}nteractive {I}nformation {F}low},
url = {http://hal.archives-ouvertes.fr/hal-00548211/en/},
volume = {6186},
x-invited-conference = {yes},
year = {2010},
}
@inproceedings{ALVIM:2010:HAL-00548212:1,
address = {{B}risbane, {A}ustralia},
author = {{M}\'ario S. {A}lvim and Miguel E. Andres and {C}atuscia {P}alamidessi},
booktitle = {6th {IFIP} {I}nternational {C}onference on {T}heoretical {C}omputer {S}cience ({TCS} 2010)},
doi = {10.1007/978-3-642-15240-5_4},
editor = {{C}ristian {S}. {C}alude and {V}ladimiro {S}assone},
hal_id = {hal-00548212},
language = {{E}nglish},
pages = {53-54},
publisher = {{S}pringer},
series = {{IFIP} {A}dvances in {I}nformation and {C}ommunication {T}echnology},
title = {{E}ntropy and {A}ttack {M}odels in {I}nformation {F}low},
url = {http://hal.archives-ouvertes.fr/hal-00548212/en/},
volume = {323},
x-invited-conference = {yes},
year = {2010},
}
@article{chatzikokolakis:2010:inria-00424860:2,
author = {Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
doi = {10.1016/j.ic.2009.06.006},
journal = {Information and Computation},
number = {6},
pages = {694-715},
title = {Making Random Choices Invisible to the Scheduler},
url = {http://hal.inria.fr/inria-00424860/en},
volume = {208},
x-id-hal = {inria-00424860},
year = {2010},
}
@inproceedings{chiarugi:2010:hal-00548213:1,
address = {Niagara Falls, New York, USA},
author = {Chiarugi, Davide and Falaschi, Moreno and Olarte, Carlos and Palamidessi, Catuscia},
booktitle = {First ACM International Conference on Bioinformatics and Computational Biology (BCB 2010)},
doi = {10.1145/1854776.1854843},
pages = {414-417},
publisher = {ACM Digital Libraries},
title = {Compositional modelling of signalling pathways in timed concurrent constraint programming},
url = {http://hal.inria.fr/hal-00548213/en},
x-id-hal = {hal-00548213},
year = {2010},
}
@inproceedings{andres:2010:hal-00445445:2,
address = {Cyprus},
author = {Andres, Miguel E. and Palamidessi, Catuscia and Van Rossum, Peter and Smith, Geoffrey},
booktitle = {16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010)},
doi = {10.1007/978-3-642-12002-2_32},
editor = {Javier Esparza and Rupak Majumdar},
pages = {373-389},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Computing the Leakage of Information-Hiding Systems},
url = {http://hal.inria.fr/hal-00445445/en},
volume = {6015},
x-id-hal = {hal-00445445},
year = {2010},
}
@inproceedings{andres:2010:hal-00548187:1,
address = {Williamsburg, VA, USA},
author = {Andres, Miguel E. and Palamidessi, Catuscia and Van Rossum, Peter and Sokolova, Ana},
booktitle = {7th IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2010)},
doi = {10.1109/QEST.2010.11},
pages = {17-26},
publisher = {IEEE Computer Society},
title = {Information Hiding in Probabilistic Concurrent Systems},
url = {http://hal.inria.fr/hal-00548187/en},
x-id-hal = {hal-00548187},
year = {2010},
}
@inproceedings{alvim:2010:inria-00479672:2,
address = {Paris, France},
author = {Alvim, M{\'a}rio S. and Andres, Miguel E. and Palamidessi, Catuscia},
booktitle = {21th International Conference on Concurrency Theory (CONCUR 2010)},
doi = {10.1007/978-3-642-15375-4_8},
editor = {Paul Gastin and Fran{\c{c}}ois Laroussinie},
pages = {102-116},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Information Flow in Interactive Systems},
url = {http://hal.inria.fr/inria-00479672/en},
volume = {6269},
x-id-hal = {inria-00479672},
year = {2010},
}
@inproceedings{alvim:2010:inria-00479674:2,
address = {Brisbane, Australia},
author = {Alvim, M{\'a}rio S. and Andres, Miguel E. and Palamidessi, Catuscia and Van Rossum, Peter},
booktitle = {6th IFIP International Conference on Theoretical Computer Science (TCS 2010)},
doi = {10.1007/978-3-642-15240-5_5},
editor = {Cristian S. Calude and Vladimiro Sassone},
pages = {55-70},
publisher = {Springer},
series = {IFIP Advances in Information and Communication Technology},
title = {Safe Equivalences for Security Properties},
url = {http://hal.inria.fr/inria-00479674/en},
volume = {323},
x-id-hal = {inria-00479674},
year = {2010},
}
@inproceedings{hamadou:2010:inria-00548007:1,
address = {Berleley/Oakland, California, USA},
author = {Hamadou, Sardaouna and Sassone, Vladimiro and Palamidessi, Catuscia},
booktitle = {31st IEEE Symposium on Security and Privacy},
doi = {10.1109/SP.2010.13},
pages = {79-92},
publisher = {IEEE Computer Society},
title = {Reconciling Belief and Vulnerability in Information Flow},
url = {http://hal.inria.fr/inria-00548007/en},
x-id-hal = {inria-00548007},
year = {2010},
}
@inproceedings{alvim:2010:hal-00548200:1,
address = {Edinburgh, United Kingdom},
author = {Alvim, M{\'a}rio S. and Andres, Miguel E. and Palamidessi, Catuscia},
booktitle = {25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)},
doi = {10.1109/LICS.2010.53},
pages = {314-321},
publisher = {IEEE Computer Society},
title = {Probabilistic Information Flow},
url = {http://hal.inria.fr/hal-00548200/en},
x-id-hal = {hal-00548200},
x-invited-conference = {yes},
year = {2010},
}
@techreport{pino:2010:hal-00546849:1,
author = {Pino, Luis},
institution = {Universidad del Valle, Colombia},
note = {BSc Thesis from Universidad del Valle, Colombia},
title = {Analysis of the reachability problem in fragments of the Pi-calculus},
url = {http://hal.inria.fr/hal-00546849/en},
x-id-hal = {hal-00546849},
year = {2010}
}
@techreport{alvim:2010:hal-00548214:1,
author = {Alvim, M{\'a}rio S. and Chatzikokolakis, Konstantinos and Degano, Pierpaolo and Palamidessi, Catuscia},
institution = {INRIA},
title = {Differential Privacy versus Quantitative Information Flow},
url = {http://hal.inria.fr/hal-00548214/en},
x-id-hal = {hal-00548214},
year = {2010}
}
@inproceedings{darondeau:2010:inria-00510013:1,
address = {Berlin, Germany},
author = {Darondeau, Philippe and Dubreil, J{\'e}r{\'e}my and Marchand, Herv{\'e}},
booktitle = {Workshop on Discrete Event Systems (WODES 2010)},
month = aug,
pages = {428-435},
title = {Supervisory Control for Modal Specifications of Services},
url = {http://hal.inria.fr/inria-00510013/en},
x-id-hal = {inria-00510013},
year = {2010}
}
@inproceedings{aristizabal:2010:hal-00546857:1,
address = {Edinburgh, United Kingdom},
author = {Aristizabal P., Andr\'es A.},
booktitle = {Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)},
doi = {10.4230/LIPIcs.ICLP.2010.236},
editor = {Manuel V. Hermenegildo and Torsten Schaub},
month = jul,
note = {Short paper accepted at the Doctoral Programme of ICLP'2010},
pages = {236-240},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {Leibniz International Proceedings in Informatics},
title = {Bisimilarity in Concurrent Constraint Programming},
url = {http://hal.inria.fr/hal-00546857/en},
volume = {7},
x-id-hal = {hal-00546857},
year = {2010},
}
@incollection{gabbrielli:2010:hal-00545256:1,
author = {Gabbrielli, Maurizio and Palamidessi, Catuscia and Valencia, Frank D.},
booktitle = {A 25-Year Perspective on Logic Programming},
doi = {10.1007/978-3-642-14309-0_11},
editor = {Agostino Dovier and Enrico Pontelli},
month = jun,
pages = {231-253},
publisher = {Springer},
title = {Concurrent and Reactive Constraint Programming},
url = {http://hal.inria.fr/hal-00545256/en},
x-id-hal = {hal-00545256},
year = {2010},
}
@article{DubreilDM2010,
author = {J{\'e}r{\'e}my Dubreil and Philippe Darondeau and Herv{\'e} Marchand},
journal = {IEEE Transactions on Automatic Control},
month = {May},
title = {Supervisory Control for Opacity},
url = {http://hal.archives-ouvertes.fr/inria-00483891/en},
year = {2010}
}
@phdthesis{braun:2010:tel-00527367:1,
author = {Braun, Christelle},
month = may,
school = {Ecole Polytechnique X},
title = {Quantitative Approaches to Information Hiding},
url = {http://hal.inria.fr/tel-00527367/en},
x-id-hal = {tel-00527367},
year = {2010}
}
@techreport{darondeau:2010:inria-00472736:1,
author = {Darondeau, Philippe and Dubreil, J{\'e}r{\'e}my and Marchand, Herv{\'e}},
institution = {INRIA},
month = apr,
number = {RR-7247},
title = {Supervisory Control for Modal Specifications of Services},
type = {Research Report},
url = {http://hal.inria.fr/inria-00472736/en},
x-id-hal = {inria-00472736},
year = {2010}
}
This file was generated by bibtex2html 1.96.