DLFP - Dépêches de alenvers

Prix Turing 2007 : le "Model checking" a vaincu

Tue, 05 Feb 2008 21:10:07 +0100

Le prix Turing, l'une des plus prestigieuses récompenses sinon la plus prestigieuse dans le domaine de l'informatique, vient d'être décerné à Edmund M. Clarke (de l'université Carnegie Mellon), E. Allen Emerson (Université du Texas) , et Joseph Sifakis (Université de Grenoble, laboratoire Verimag) pour leur travaux sur le "model checking".

Le "model checking" (tel que connu aujourd'hui) a émergé au début des années 1980 avec les travaux de nos trois primés. Ces travaux ont été les initiateurs d'une nouvelle discipline. De nombreux chercheurs et laboratoires leur ont emboîté le pas et le domaine est très rapidement devenu une matière de recherche importante. Cette matière fait partie désormais partie intégrante du cursus de base de toutes les études universitaires en informatique.

Vous trouverez plus de détail dans l'article complet.

L'annonce du prix Turing
http://www.acm.org/press-room/news-releases/turing-award-07

Communiqué de presse du CNRS
http://www2.cnrs.fr/presse/communique/1280.htm

Le laboratoire Verimag
http://www-verimag.imag.fr/index.php?page=home&lang=fr

(...)

Reporters sans frontières publie le premier classement mondial de la liberté de la presse

Sat, 02 Nov 2002 11:58:25 +0100

"Reporters sans frontières publie le premier classement mondial de la liberté de la presse"

Et devinez qui est en tete : le pays de naissance de Tux !

Note du modérateur : « Le premier classement mondial de la liberté de la presse révèle des surprises parmi les démocraties occidentales : les Etats-Unis sont moins bien classés que le Costa Rica, et l'Italie se trouve derrière le Bénin. (...) Les cinq pays les plus liberticides au monde sont la Corée du Nord, la Chine, la Birmanie, le Turkménistan et le Bhoutan. »

L'article sur RSF
http://www.rsf.fr/article.php3?id_article=4097

RSF
http://www.rsf.fr/

Howto : comment écrire des virii pour Linux

Thu, 14 Mar 2002 16:33:44 +0100

Le howto est sous titré : "post-link-time code modification of ELF executables under Linux/i386". Ce document présente des méthodes permettant le parasitage de binaires ELF sous linux. On peut facilement penser que ce genre de document peut profiter seulement aux pirates, mais non ! Il peut profiter aussi à toute personne un peu soucieuse de sécurité. En effets, connaitre les techniques de piratage permet de les détecter ou encore mieux de les éviter.

Afin de comprendre ce document, il est seulement nécessaire d'avoir des bases d'assembleur x86.

Manu nous signale par ailleurs :
Vnu.net nous alerte sur l'existence d'un virus pour Linux, sauf que ce pauvre virus ressemble à un virus d'essai, ni plus ni moins. Il se propage en infectant les exécutables et bibliothèques (tout ce qui est au format ELF je suppose).

le Howto
http://wildsau.idv.uni-linz.ac.at/~k3032e4/virus-writing-HOWTO/_html/

Vnu.net
http://www.vnunet.com/News/1130066

L'avis de Symantec
http://securityresponse.symantec.com/avcenter/venc/data/linux.jac.8759.html

Haute disponibilité sous linux

Thu, 11 Oct 2001 06:53:45 +0200

Pendant cette dernière années, les initiatives de haute disponibilité sous linux se sont multipliées et maintenant un certain nombre d'entre elles semblent viables dans un environnement de production. Voila quelques liens utiles dans le domaine.

PS : Merci au chan #linuxfr pour cette nouvelle.

Kimberlite
http://oss.missioncriticallinux.com/projects/kimberlite/

sgi Linux FailSafe
http://oss.sgi.com/projects/failsafe/

Linux High Availibility
http://linux-ha.org/

Linux Virtual Server
http://www.linuxvirtualserver.org/