Projet Saturne

previous up next contents
Précédent : Diffusion des résultats Remonter : PROJET SATURNE, Système réparti tolérant


Références

Ouvrages et articles de référence de l'équipe
1
J.-C. FABRE, Y. DESWARTE, L. BLAIN,
« Tolérance aux fautes et sécurité par fragmentation-redondance-dissémination »,
Technique et Science Informatiques , 1996,
vol. 15 No 4, p 405-427.
2
J.-C. LAPRIE, J. ARLAT, J.-P. BLANQUART, A. COSTES, Y. CROUZET, Y. DESWARTE, J.-C. FABRE, H. GUILLERMAIN, M. KAâNICHE, K. KANOUN, C. MAZET, D. POWELL, C. RABéJAC, P. THéVENOD,
Guide de la sûreté de fonctionnement ,
Cépaduès Éditions, ISBN 2-85428-382-1, 2ème édition, 1996, 380p.
Thèses et habilitations à diriger des recherches
3
T. PERENNOU,
Une architecture à métaobjets pour systèmes répartis tolérant les fautes ,
Thèse de doctorat, Institut National Polytechnique, Toulouse, 6 janvier 1997,
168p., Jury : Président: J.-C. Laprie, Rapporteurs: L. Feraud, M. Galinier, Examinateurs: M. Rozier, P. Salle, Directeur de thèse: J.-C. Fabre.
Articles
4
J.-C. FABRE, T. PERENNOU,
« Processing of confidential information in distributed systems by fragmentation »,
Computer Communications. Special Issue on Distributed Computing Systems: New Trends , mai 1997, p. 177-188,
vol 20, No 3.
5
J.-C. FABRE,
« Systèmes sûrs de fonctionnement: tolérance aux fautes par protocole à métaobjets »,
L'objet. Logiciel, base de données, réseaux , 1997, p. 9-28,
vol 3 No 1.
Communications à des manifestations scientifiques
6
Y. DESWARTE,
« Internet Security Despite Untrustworthy Agents and Components »,
in: 6th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (FTDCS'97) , p. 189-194,
Tunis (Tunisie), 218-219 octobre 1997.
7
V. NICOMETTE, Y. DESWARTE,
« An authorization scheme for distributed object systems »,
in: IEEE Symposium on Security and Privacy , p. 21-30,
Oakland (USA), 4-7 mai 1997.
8
R. ORTALO, Y. DESWARTE, M. KAANICHE,
« Experimenting with quantitative evaluation tools for monitoring operational security »,
in: 6th IFIP International Conference on Dependable Computing for Critical Application (DCCA-6) , p. 289-310,
Garmisch (Allemagne), 5-7 mars 1997.
9
F. SALLES, J. ARLAT, J.-C. FABRE,
« Can we rely on COTS microkernels for building fault-tolerant systems? »,
in: 6th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (FTDCS'97) , p. 189-194,
Tunis (Tunisie), 29-31 octobre 1997.
Rapports de recherche
10
J. FABRE, T. PERENNOU,
« Object-oriented development of metaobjects for distributed fault tolerance »,
rapport de recherche, LAAS-CNRS, décembre 1997,
20p., Rapport LAAS No 96476.
11
J.-C. FABRE,
« Design and implementation of the FRIENDS system »,
rapport de recherche, LAAS-CNRS, mars 1997,
16p., Rapport LAAS No 97091.
12
J. LAFFONT, R. ORTALO,
« Editeur de politiques de sécurité utilisant le formalisme des logiques modales »,
rapport de recherche, LAAS-CNRS, février 1997,
30p., Rapport LAAS No 97064.
13
R. ORTALO,
« Using role-based abstractions for security policy specification with deontic logic »,
rapport de recherche, LAAS-CNRS, juin 1997,
20p., Rapport LAAS No 97216.
14
T. PERENNOU, J.-C. FABRE,
« Object-oriented development of metaobjects for distributed fault tolerance »,
rapport de recherche, LAAS-CNRS, décembre 1997,
20p., Rapport LAAS No 96476.
15
E. TOTEL, J.-P. BLANQUART, Y. DESWARTE, D. POWELL,
« Supporting multiple levels of criticality »,
rapport de recherche, LAAS-CNRS, décembre 1997,
17p., Rapport LAAS No 97525.
16
E. TOTEL,
« Coexistence de logiciels de différents niveaux de criticité dans une architecture distribuée »,
rapport de recherche, LAAS-CNRS, octobre 1997,
4p., Rapport LAAS No 97379.
Divers
17
J.-P. BLANQUART, Y. DESWARTE, D. POWELL, E. TOTEL,
« Multilevel integrity mechanisms », janvier 1997,
Rapport LAAS No 97034, Contrat ESPRIT GUARDS Project 20716, 18p.
18
P. CORNEILLIE, Y. DESWARTE, A. HAWES, M. KAANICHE, H. KURTH, T. MANNING, S. MOREAU, A. STEINACKER,
« SQUALE Definition of draft criteria for the assessment of dependable systems », 1997,
Rapport LAAS No 97166, Rapport contrat ACTS SQUALE, Project AC097, mai 1997, 138p.
19
R. ORTALO, Y. DESWARTE, M. KAANICHE,
« Experimenting with quantitative evaluation tools for monitoring operational security », décembre 1996,
Rapport contrat ESPRIT DeVa Project No 20072, pp.599-620, version révisée de [7].
20
A. STEINECKER, P. BENOIT, P. CORNEILLIE, Y. DESWARTE, J. GOODSON, A. HAWES, H. KURT, G. LEIBICH, S. MOREAU,
« SQUALE: description of the underground automatic pilot system », juillet 1997,
Rapport LAAS No 97301, Rapport contrat ACTS SQUALE, Project AC097, 66p., Non Diffusable.
Bibliographie générale
IEC95
IEC. -
Functional Safety: Safety-Related Systems. -
Rapport technique, International Electrotechnical Commission SC 65 A, 1995.
WCS96
Wall (L.), Chritiansen (T.) et Schwartz (R. L.). -
Programming Perl. -
O'Reilly & Associates, 1996.
Bib97
Biba (K.). -
Integrity Considerations for Secure Computer Systems. -
Rapport technique, MITRE Co., 1997.
CW87
Clark (D.D.) et Wilson (D.R.). -
A comparison of commercial and military computer security policies. In: IEEE Symposium on Security and Privacy, pp. 184-194.