ACI Sécurité 2004 : FIACRE - Fiabilité des Assemblages de Composants Répartis - Models and Tools for Safety and Security Analysis of Distributed Components and their Composition