Re: [BLACKBOX] Secure Software

From: [at]} <Rex>
Date: Thu, 17 Jan 2008 15:03:01 -0600

----boundary-LibPST-iamunique-640858469_-_-
Content-type: text/plain

At 12:42 PM 1/17/2008, you wrote:
>Languages like C++, Ada, and Java are huge. The main advantage of the CP language is its size. When somebody wants to deliver a system that needs to be accredited, almost all components of the system must be validated or certified (also compiler).

        I have a feeling that Anes Sadikovic's analysis short-changes Oberon in other ways too. For example, the first point is false. Oberon specifically isolates unsafe, system-specific code.

Rex Couture

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-640858469_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEF0IDEyOjQyIFBNIDEvMTcvMjAwOCwgeW91IHdy
b3RlOlxwYXINCj5MYW5ndWFnZXMgbGlrZSBDKyssIEFkYSwgYW5kIEphdmEgYXJlIGh1Z2UuIFRo
ZSBtYWluIGFkdmFudGFnZSBvZiB0aGUgQ1AgbGFuZ3VhZ2UgaXMgaXRzIHNpemUuIFdoZW4gc29t
ZWJvZHkgd2FudHMgdG8gZGVsaXZlciBhIHN5c3RlbSB0aGF0IG5lZWRzIHRvIGJlIGFjY3JlZGl0
ZWQsIGFsbW9zdCBhbGwgY29tcG9uZW50cyBvZiB0aGUgc3lzdGVtIG11c3QgYmUgdmFsaWRhdGVk
IG9yIGNlcnRpZmllZCAoYWxzbyBjb21waWxlcikuXHBhcg0KXHBhcg0KICAgICAgICBJIGhhdmUg
YSBmZWVsaW5nIHRoYXQgQW5lcyBTYWRpa292aWMncyBhbmFseXNpcyBzaG9ydC1jaGFuZ2VzIE9i
ZXJvbiBpbiBvdGhlciB3YXlzIHRvby4gIEZvciBleGFtcGxlLCB0aGUgZmlyc3QgcG9pbnQgaXMg
ZmFsc2UuICBPYmVyb24gc3BlY2lmaWNhbGx5IGlzb2xhdGVzIHVuc2FmZSwgc3lzdGVtLXNwZWNp
ZmljIGNvZGUuXHBhcg0KXHBhcg0KUmV4IENvdXR1cmUgIFxwYXINClxwYXINClxwYXINCi0tLS1c
cGFyDQpUbyB1bnN1YnNjcmliZSwgc2VuZCBhIG1lc3NhZ2Ugd2l0aCBib2R5ICJTSUdOT0ZGIEJM
QUNLQk9YIiB0byBMSVNUU0VSVkBMSVNUUy5PQkVST04uQ0h9fQBccGFy
----boundary-LibPST-iamunique-640858469_-_---

Received on Thu Jan 17 2008 - 22:03:01 UTC