[GAP] Ada for security (rather than safety, reliability)?

[Rod Chapman]

> The Tokeneeer project illustrates what kind of thing we can
> do.  Published in ISSSE 2006 - PDF of the paper is on www.sparkada.com

Bo requested a more precise ref for this.  It's:

"Engineering the Tokeneer Enclave Protection Software"
Janet Barnes, Rod Chapman: Praxis High Integrity Systems. Randy Johnson, James Widmaier: National Security Agency. David Cooper: River River Limited. Bill Everett: SPRE Inc.
Proceedings of the IEEE International Symposium on Secure Software Engineering (ISSSE) 2006.

PDF from the top-most link on:

http://www.praxis-his.com/sparkada/publications_confs.asp

We hope to make the entire Tokeneer project archive (requirements,
security policy, formal specs, designs, code, proofs, test cases etc. etc.)
available to the academic community soon.  Watch this space.
 - Rod, SPARK Team



This email is confidential and intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient, be advised that you have received this email in error and that any use, disclosure, copying or distribution or any action taken or omitted to be taken in reliance on it is strictly prohibited. If you have received this email in error please contact the sender. Any views or opinions presented in this email are solely those of the author and do not necessarily represent those of Praxis. 

Although this email and any attachments are believed to be free of any virus or other defect, no responsibility is accepted by Praxis or any of its associated companies for any loss or damage arising in any way from the receipt or use thereof. The IT Department at Praxis can be contacted at it.support at praxis-his.com.

Praxis High Integrity Systems Ltd:

Company Number: 3302507, registered in England and Wales

Registered Address: 20 Manvers Street, Bath. BA1 1PX

VAT Registered in Great Britain: 682635707