From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8251e82c4cf5be46,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!h76g2000cwa.googlegroups.com!not-for-mail
From: roderick.chapman@googlemail.com
Newsgroups: comp.lang.ada
Subject: ANN: NSA, SPARK, Praxis project - results now available
Date: 12 Jun 2006 08:32:54 -0700
Organization: http://groups.google.com
Message-ID: <1150126374.256794.147510@h76g2000cwa.googlegroups.com>
NNTP-Posting-Host: 217.205.167.130
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1150126379 27841 127.0.0.1 (12 Jun 2006 15:32:59
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 12 Jun 2006 15:32:59 +0000 (UTC)
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.8.0.4) Gecko/20060508 Firefox/1.5.0.4,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: h76g2000cwa.googlegroups.com; posting-host=217.205.167.130;
   posting-account=EhC47gwAAABJYiJ7JUJjwDyYMTWH1OKq
Xref: g2news2.google.com comp.lang.ada:4752
Date: 2006-06-12T08:32:54-07:00
List-Id: <comp.lang.ada>

I'm pleased to say that we're finally able to publish the results
of our work on the NSA's Tokeneer system.  Press release and
PDF of the full paper from the recent ISSSE Conference are at
www.sparkada.com as usual.
 - Rod, SPARK Team