Re: [iwar] [fc:COMPUTER.SECURITY.SOME.THOUGHTS.ON.STANDARDS.and.TESTING,.FORMAL.ME THODS]

From: Ross Stapleton-Gray (amicus@well.com)
Date: 2002-06-21 00:01:48


Return-Path: <sentto-279987-4855-1024643151-fc=all.net@returns.groups.yahoo.com>
Delivered-To: fc@all.net
Received: from 204.181.12.215 [204.181.12.215] by localhost with POP3 (fetchmail-5.7.4) for fc@localhost (single-drop); Fri, 21 Jun 2002 00:08:07 -0700 (PDT)
Received: (qmail 25828 invoked by uid 510); 21 Jun 2002 07:05:51 -0000
Received: from n24.grp.scd.yahoo.com (66.218.66.80) by all.net with SMTP; 21 Jun 2002 07:05:51 -0000
X-eGroups-Return: sentto-279987-4855-1024643151-fc=all.net@returns.groups.yahoo.com
Received: from [66.218.66.98] by n24.grp.scd.yahoo.com with NNFMP; 21 Jun 2002 07:05:51 -0000
X-Sender: amicus@well.com
X-Apparently-To: iwar@yahoogroups.com
Received: (EGP: mail-8_0_3_2); 21 Jun 2002 07:05:51 -0000
Received: (qmail 8681 invoked from network); 21 Jun 2002 07:05:51 -0000
Received: from unknown (66.218.66.217) by m15.grp.scd.yahoo.com with QMQP; 21 Jun 2002 07:05:51 -0000
Received: from unknown (HELO pimout2-int.prodigy.net) (207.115.63.101) by mta2.grp.scd.yahoo.com with SMTP; 21 Jun 2002 07:05:51 -0000
Received: from home.well.com (adsl-64-172-57-178.dsl.snfc21.pacbell.net [64.172.57.178]) by pimout2-int.prodigy.net (8.11.0/8.11.0) with ESMTP id g5L75nL125892 for <iwar@yahoogroups.com>; Fri, 21 Jun 2002 03:05:49 -0400
Message-Id: <4.3.2.7.2.20020621000116.03c1bef0@embassy.org>
X-Sender: amicus@mail.well.com
X-Mailer: QUALCOMM Windows Eudora Version 4.3.2
To: iwar@yahoogroups.com
In-Reply-To: <200206210519.g5L5JQP02303@red.all.net>
From: Ross Stapleton-Gray <amicus@well.com>
Mailing-List: list iwar@yahoogroups.com; contact iwar-owner@yahoogroups.com
Delivered-To: mailing list iwar@yahoogroups.com
Precedence: bulk
List-Unsubscribe: <mailto:iwar-unsubscribe@yahoogroups.com>
Date: Fri, 21 Jun 2002 00:01:48 -0700
Subject: Re: [iwar] [fc:COMPUTER.SECURITY.SOME.THOUGHTS.ON.STANDARDS.and.TESTING,.FORMAL.ME THODS]
Reply-To: iwar@yahoogroups.com
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Spam-Status: No, hits=-1.2 required=5.0 tests=IN_REP_TO,RISK_FREE,FREE_MONEY version=2.20
X-Spam-Level: 

Hey, nice to meet you at NetSec.

Ross


------------------------ Yahoo! Groups Sponsor ---------------------~-->
Free $5 Love Reading
Risk Free!
http://us.click.yahoo.com/3PCXaC/PfREAA/Ey.GAA/kgFolB/TM
---------------------------------------------------------------------~->

------------------
http://all.net/ 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/ 



This archive was generated by hypermail 2.1.2 : 2003-08-24 02:46:32 PDT