inria > sophia
ensmp > cma
Mimosa
Migration and Mobility: Semantics and Applications
-- Security





[Bou08f]Boudol, G. -- Secure information flow as a safety property -- FAST'08, 2008.
[BK07b]Boudol, G. and Kolundzija, M. -- Access control and declassification -- MMM-ACNS'07, Communications in Computer and Information Science, 2007.
[Alm06b]Almeida Matos, A. -- Typing Secure Information Flow: Declassification and Mobility -- École National Supérieure des Mines de Paris, January, 2006.
[AD06c]Amadio, R. and Dabrowski, F. -- Feasible reactivity for synchronous cooperative threads -- Electronic Notes in Theoretical Computer Science, 154-32006.
[AD06d]Amadio, R. and Dal Zilio, S. -- Resource control for synchronous cooperative threads -- Theoretical Computer Science, 3582006, pp. 229-254.
[Bou06h]Boudol, G. -- Secure information flow as a safety property -- unpublished draft, 2006.
[Bou05d]Boudol, G. -- On typing information flow -- International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science, 2005, pp. 366-380.
[ html ]
[AB05c]Almeida Matos, A. and Boudol, G. -- On declassification and the non-disclosure policy -- Computer Security Foundation Workshop, 2005, pp. 226-240.
[ html ]
[Alm05b]Almeida Matos, A. -- Non-disclosure for distributed mobile code -- FST-TCS'05, Lecture Notes in Computer Science, 2005.
[Ama05d]Amadio, R. -- Synthesis of max-plus quasi-interpretations -- Fundamenta Informaticae, 652005, pp. 29-60.
[AB05d]Almeida Matos, A. and Boudol, G. -- On declassification and the non-disclosure policy -- Computer Security Foundation Workshop, 2005, pp. 226-240.
[ html ]
[MBC04b]Matos, A. and Boudol, G. and Castellani, I. -- Typing noninterference for reactive programs -- Foundations of Computer Security, 2004.
[ pdf ]
[BC02c]Boudol, G. and Castellani, I. -- Non-interference for concurrent programs and thread systems -- Theoretical Computer Science, 281(1), 2002, pp. 109-130.
[ html ]

This Html page has been produced by Skribe.
Last update Thu Jan 15 11:30:19 2009.