[519] in WWW Security List Archive
Re: Web Scripting Languages (was: Re: two-way communication in html)
daemon@ATHENA.MIT.EDU (Mary Ellen Zurko)
Wed Mar 8 13:02:19 1995
From: zurko@osf.org (Mary Ellen Zurko)
To: alvin@eyepoint.com
Date: Wed, 8 Mar 95 8:59:35 EST
Cc: www-talk@www10.w3.org,
www-security@ns2.rutgers.edu (WWW security dist list),
zurko@osf.org (Me)
In-Reply-To: <95Mar7.173008est.92@eyepoint.com>; from "Alvin Starr" at Mar 7, 95 5:36 pm
Errors-To: owner-www-security@ns2.rutgers.edu
> 1) Turing has a formal and provable semantics(this includes IO) and
> claims to meet the US DOD criteria as a TRUSTED language.
What US DOD criteria for TRUSTED languages? Got any pointers? Thanks.
Mez
