Re: Web Scripting Languages (was: Re: two-way communication in html)

From: Mary Ellen Zurko <zurko@osf.org>
Date: Wed, 8 Mar 95 8:59:35 EST
To: alvin@eyepoint.com
Cc: www-talk@www10.w3.org, www-security@ns2.rutgers.edu (WWW security dist list), zurko@osf.org (Me)
Message-Id: <9503081359.AA21377@link.osf.org>

> 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

Received on Wednesday, 8 March 1995 08:59:42 UTC