From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 50CE87EE51 for ; Fri, 24 May 2013 09:03:01 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of david.mentre@gmail.com) identity=pra; client-ip=209.85.215.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of david.mentre@gmail.com designates 209.85.215.42 as permitted sender) identity=mailfrom; client-ip=209.85.215.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f42.google.com) identity=helo; client-ip=209.85.215.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="postmaster@mail-la0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlECAFUPn1HRVdcqjWdsb2JhbABZgziCdAHALwgWDgEBAQEHCwsJEgYkgmoBOQMNBRBaAxIBBQEiG4dzAw8MmSyCd488hR4nDYhkAQUMkmwDjiWJFo9bFimBXYJaOg X-IPAS-Result: AlECAFUPn1HRVdcqjWdsb2JhbABZgziCdAHALwgWDgEBAQEHCwsJEgYkgmoBOQMNBRBaAxIBBQEiG4dzAw8MmSyCd488hR4nDYhkAQUMkmwDjiWJFo9bFimBXYJaOg X-IronPort-AV: E=Sophos;i="4.87,732,1363129200"; d="scan'208";a="18786233" Received: from mail-la0-f42.google.com ([209.85.215.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 May 2013 09:03:00 +0200 Received: by mail-la0-f42.google.com with SMTP id fg20so4123500lab.29 for ; Fri, 24 May 2013 00:03:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type:content-transfer-encoding; bh=bt/xEgJn9AF3wi42rIMVGSBjvDTkB6r0rGtc2Wkxack=; b=dFMi/ehDR0X8QTtKaqlCP+wz7qc3Uok/U7I30wELQOYjRyskrL5OPDqD8u07onR0lc 9ytdt+0yAGGRrnXALV0FmukQgNZ3yFJTUQ4cj8Wc/IqfeKDZ1wDe/mlkEE2Vljorq5FE 5BgaHB93KNgoQi8rWEZWBF3W+9lg0Zjxwir6WkaUKw+QGU4b6kCycdKGm9RUzLmipINh KKFhA8K95uj6yBSiEzgPpqwz11W4X21OJ4IVQV17QAWOoUnpWR2Abp0LMR9POiJMI25w gKpMfwk2bKumvY8uBwND8YriwtTmsdOUHNAmGUEk9GHg3658wJVAZXQQ4oIJOV3bzTgU g0VA== X-Received: by 10.112.63.169 with SMTP id h9mr8151315lbs.135.1369378979954; Fri, 24 May 2013 00:02:59 -0700 (PDT) MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.112.73.208 with HTTP; Fri, 24 May 2013 00:02:29 -0700 (PDT) From: David MENTRE Date: Fri, 24 May 2013 09:02:29 +0200 X-Google-Sender-Auth: KrAJ-kUl8DfsobT75XBDlhS-vLc Message-ID: To: caml users Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] French study on security and functional languages Hello, For those reading French, ANSSI (French agency for information security) published a study on security and functional languages, with a set of recommendations. OCaml is apparently well studied: http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques/a= utres-publications/lafosec-securite-et-langages-fonctionnels.html """ Cette =E9tude, men=E9e par un consortium compos=E9 de Saferiver, Normation, AMOSSYS et du CEDRIC dans le cadre formel d=92un march=E9 du SGDSN, avait pour objectif principal d=92=E9tudier l=92ad=E9quation des langages fonctionnels pour le d=E9veloppement d=92applications de s=E9curit=E9, de proposer le cas =E9ch=E9ant des recommandations, et de mettre en pratique certaines de ces recommandations. """ Best regards, david