Journal Debug SSL/TLS avec OpenSSL - partie 1

Posté par (page perso) . Licence CC by-sa.
Tags :
30
21
juil.
2015

Si tu es en pleine session de dé/bug SSL/TLS, cet article peut t'éviter quelques désagréments ;-)

SSL Labs, l'incontournable

On ne le présente plus, le site de Qualys permet de tester la configuration de son serveur facilement avec une interface web bien faite. Le test permet d'avoir un rapport concernant les points suivants :

  • Authentification : validité du certificat (nom du site, période de validité…),
  • présence et validité de la chaîne de certificat (chain)
  • Protocoles disponibles (SSLv2, SSLv3, TLS 1.0 (...)

Sortie de Coq 8.5 bêta, un assistant de preuve formelle

98
28
jan.
2015
Science

L'assistant de preuve Coq, deux fois primé l'année dernière, vient de sortir en version 8.5 bêta. Attendue depuis plus d'un an déjà, on trouvera au menu de cette version un nombre certain de changements en profondeur.

Coq est un assistant de preuve sous licence LGPL 2.1, développé entre autres à l'INRIA. Issu des travaux sur la correspondance de Curry-Howard, Coq peut être vu aussi bien comme un langage de programmation que comme un système de preuves mathématiques. Il est, de fait, employé par les deux communautés. Parmi les développements en Coq, on peut citer par exemple le compilateur C certifié CompCert sur le versant informatique et la preuve du Théorème de Feit et Thompson sur le versant mathématique. Plus récemment, une des failles d'OpenSSL a été découverte grâce à Coq[0] . Il est aussi de plus en plus utilisé comme système interactif pour l'apprentissage de la logique dans l'enseignement supérieur.

On rappellera dans le reste de la dépêche les grands principes qui sous-tendent Coq, ce qu'il est, ce qu'il n'est pas, puis on détaillera les changements introduits dans cette version.

"Imitation Game" : la vie d'Alan Turing sur grand écran

Posté par (page perso) . Édité par Benoît Sibaud. Modéré par Yvan Munoz. Licence CC by-sa.
33
3
jan.
2015
Culture

Déjà sorti dans les salles obscures anglo-saxonnes et bientôt à l'écran en France (28 janvier), le film "The Imitation Game" (Imitation Game en France et « Le jeu de l'imitation » au Québec, une référence au Test de Turing) retrace la vie d'Alan Turing, et plus spécialement son implication à Bletchley Park pour décrypter les messages de l'armée allemande chiffrés avec la machine Enigma durant la seconde guerre mondiale.

Comme tout film historique et biographique, un certain nombre de points ne sont pas exacts, mais le travail réalisé est tout à fait honorable et permet de montrer l'importance de la cryptographie durant la seconde guerre mondiale, et la situation pour les homosexuels en Angleterre (qui conduira à la castration chimique de Turing). Plusieurs prix et nominations ont été accordés aux acteurs (en particulier à Benedict Cumberbatch qui joue le rôle de Turing), au scénario et à l’œuvre dans son ensemble.

Journal La lecture et ses désagréments.

4
25
sept.
2014

Je suis en train de lire la série de la fraternité du Panca de Pierre Bordage.

Généralement, j’aime plutôt bien Bordage. Terra Mater, Wang… m’ont plutôt plu, même si ce n’est pas vraiment de la science-fiction, mais plutôt de la fantaisie dans un monde technologique (surtout Terra Mater et la fraternité du Panca d’ailleurs).

Pourtant, là on n’est pas au niveau. En 150 pages sur le tome 3, j’ai des baromètres pour mesurer la température ; des rescapés d’un naufrage en (...)

Journal Epsilon, un outil de gestion de dépense

Posté par (page perso) . Licence CC by-sa.
Tags :
27
14
juin
2013

Cher journal,

Je ne t'écris pas bien souvent je sais bien. Ne m'en veut pas, je suis surement "timide".

Aujourd'hui, je voudrais te présenter un petit projet que je maintient depuis maintenant près de 4 ans : Epsilon. C'est quoi "Epsilon" ?

Il s'agit d'une web-application qui permet de surveiller ses dépenses. En gros, je peux y enregistrer plusieurs "comptes" sur lesquels j'enregistre des opérations de retraits, dépôt ou virement. L'objectif premier étant de surveiller ce que je fait avec (...)

Journal Pâtes à l'huile d'olive ou au beurre ?

Posté par (page perso) . Licence CC by-sa.
3
14
mai
2012

En cette merveilleuse journée de mai, une question me traverse l'esprit. Est-ce que le lectorat de linuxfr préfère les pâtes à l'huile d'olive ou au beurre ?

En effet, il semblerait que certaines personnes préfèrent les pâtes au beurre, ce qui est choquant, et j'aimerais savoir si ces personnes sont nombreuses.

Évidemment, quand je parle d'huile d'olive, il s'agit de véritable huile d'olive, et pas quelque chose de coupé acheté en promotion dans une grande surface.

Ce journal est à mettre (...)

Journal Ergonomie et aménagement du poste de travail : retours et appels à expériences

25
5
jan.
2012

Sommaire

Bonsoir à tous.

Les récents Interview d'indépendants et le déroulement de cette année passée m'ont donné envie d'écrire ce journal, traitant d'un sujet malheureusement toujours d'actualité.
Souffrant du très vague "syndrome de la souris" depuis presque un an, je vous livre mon retour (...)

Journal Esprit du libre = Capitalisme

5
6
mar.
2011

Alors qu'on parle plus souvent d'anti-capitalisme, voire même de communisme, je pense au contraire que le logiciel libre est un philosophie très capitaliste. Comme disait le poète : nous l'allons montrer tout à l'heure.

Les libertés fondamentale du libre

Rappelons-nous des 4 liberté fondamentales d'un logiciel libre :

  • Liberté d'exécuter le logiciel
  • Liberté d'étudier son fonctionnement
  • Liberté de le modifier
  • Liberté de le redistribuer

Ces libertés sont considérées comme fondamentales par les libristes, car elles apportent à l'utilisateur un (...)

Journal L'engagement de Red Hat envers l'open source

Posté par . Licence CC by-sa.
Tags :
34
5
mar.
2011

Vous vous souvenez surement du journal de patrick_g publié un presque vendredi.
Il y relatait le changement de politique de Red Hat concernant la distribution de leurs patchs appliqués au kernel. Red Hat a décidé pour RHEL 6 de les rendre publics sous la forme d'un unique gros patch, rendant le traçage de leurs modifications difficile.
Seuls les clients Red Hat ont accès aux informations relatives à ces modifications.

Et bien la réponse de RedHat nous parvient par la voie (...)

Journal Red Hat et les patchs: Un journal du vendredi publié samedi

54
26
fév.
2011

Premier weekend après la bascule du site vers la version RoR.
C'est étrange car je n'ai pas vu le moindre journal vraiment trollifère publié hier. A peine un texte sur l'histoire Banshee/Canonical mais écrit d'une façon honteusement factuelle et neutre. Un vrai gâchis si vous voulez mon avis.

C'était pourtant une occasion en or d'inaugurer ainsi la nouvelle version. Être le tout premier à troller sur un vendredi vierge comme une pente de neige poudreuse. L'ivresse de flirter avec la (...)