Documents, par auteur > Cousot Patrick

Dépendance

Notion qui intervient dans de nombreux raisonnements sur les programmes :
• Non-interférence (confidentialité, intégrité)
• Sécurité, vie privée
• Découpage de programmes (slicing)
• Dépendances temporelles en Lustre, Signal
etc.

Les définitions existantes
• sont données à priori (par exemple Cheney, Ahmed, and Acar, 2011;
D. E. Denning and P. J. Denning, 1977),
• sans justification sémantiques (à l'exception de Assaf, Naumann, Signoles, Totel,
and Tronel, 2017; Urban and Müller, 2018)

Notre objectif est de montrer les principes, pas d'obtenir une analyse de dépendance
puissante