From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ian Grant Newsgroups: gmane.lisp.guile.devel Subject: Re: Dijkstra's Methodology for Secure Systems Development Date: Fri, 26 Sep 2014 11:45:46 -0400 Message-ID: References: <87y4tetq7q.fsf@taylan.uni.cx> <83ha02zb26.fsf@gnu.org> <87tx42tf42.fsf@taylan.uni.cx> <8361giyy06.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1411746382 3043 80.91.229.3 (26 Sep 2014 15:46:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 26 Sep 2014 15:46:22 +0000 (UTC) Cc: guile-devel To: Left Right Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Sep 26 17:46:17 2014 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XXXio-0002zV-C9 for guile-devel@m.gmane.org; Fri, 26 Sep 2014 17:46:14 +0200 Original-Received: from localhost ([::1]:49949 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XXXin-0004KC-VB for guile-devel@m.gmane.org; Fri, 26 Sep 2014 11:46:13 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:41280) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XXXiT-00041v-Vk for guile-devel@gnu.org; Fri, 26 Sep 2014 11:45:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XXXiS-0006zb-Nl for guile-devel@gnu.org; Fri, 26 Sep 2014 11:45:53 -0400 Original-Received: from mail-wi0-x22d.google.com ([2a00:1450:400c:c05::22d]:45496) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XXXiS-0006xB-GL; Fri, 26 Sep 2014 11:45:52 -0400 Original-Received: by mail-wi0-f173.google.com with SMTP id r20so11215032wiv.12 for ; Fri, 26 Sep 2014 08:45:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=R8N5Ze48sp8KL6Dlao5VmN8xfPNr0woaTQN/LOffaLI=; b=mpOlzhP91ckc7/5tkvRGFhv6H1Fc0ajw4qaMQkoKRoQBk2HN2376MfvMuxRkO8L8LG lKC4AnIAqTpo6HGodwvlSwU799BnHYqnXLnZE6sMob5T9Mrl9LRRFjH4TNrw7RJ0iei/ Tryh2GyHth/bko5/AttP6xNb5Tbk5+JNr927VckQ05iWw1exvmmxWPQPvKwpCknPXR9h BECd5uJzr+D1xbbphlaYeMSVV7ctZhufP6svzY/vSoo8qqK5MyX3oL2VoGfGUJhKcmsf r0kY1vclM4MGlEJhkbIR8MgWugMWXyWXBdh/dxIBdLGg65G3fBtXk3PsZAYc+2Z9rxYD H9tw== X-Received: by 10.194.57.237 with SMTP id l13mr25293235wjq.102.1411746346352; Fri, 26 Sep 2014 08:45:46 -0700 (PDT) Original-Received: by 10.194.81.194 with HTTP; Fri, 26 Sep 2014 08:45:46 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c05::22d X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:17525 Archived-At: http://livelogic.blogspot.com/2014/09/beware-good-and-wise.html