Re: [BLACKBOX] Secure Software

From: [at]} <Chris>
Date: Tue, 22 Sep 2009 16:51:19 +0930

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

David Jackson of MIT has written an interesting article titled "A Direct
Path to Dependable Software". In part he says:

"Just as a skyscraper cannot easily be built on sand, a robust software
system cannot be built on a foundation of weak tools and platforms. Fifty
years after the invention of static typing and automatic memory management,
the decision to use an unsafe programming language such as C or C++ (which
provide neither) requires serious justification, and for a critical system
the benefits that are obtained in compensation for the loss of safety have
to be extraordinarily compelling"

Java and C# justifiably get a mention. Maybe somebody should tell him about
CP?

You can download the complete article from:

http://sdg.csail.mit.edu/pubs/2008/cacm-08.pdf

Cheers,
Chris

Chris Burrows
CFB Software
Armaide v2.1: ARM Oberon-07 Development System
http://www.armaide.com


        From: BlackBox [mailto:BLACKBOX{([at]})nowhere.xy
drbautsch{([at]})nowhere.xy
        Sent: Thursday, 10 January 2008 4:47 AM
        To: BLACKBOX{([at]})nowhere.xy
        Subject: [BLACKBOX] Secure Software
        
        
        Dear all !
        
        
        I hope you will enjoy the brand new issue of the ENISA Quarterly on
secure software:
        
        
http://www.enisa.europa.eu/doc/pdf/publications/enisa_quarterly_12_07.pdf
        
        See table on page 4 ;-)
        
        Any feedback is welcome...
        
        
        Best regards from Berlin
        
        Markus

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-1144007428_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIERhdmlkIEphY2tzb24gb2YgTUlUIGhhcyB3cml0
dGVuIGFuIGludGVyZXN0aW5nIGFydGljbGUgdGl0bGVkICJBIERpcmVjdFxwYXINClBhdGggdG8g
RGVwZW5kYWJsZSBTb2Z0d2FyZSIuIEluIHBhcnQgaGUgc2F5czpccGFyDQpccGFyDQoiSnVzdCBh
cyBhIHNreXNjcmFwZXIgY2Fubm90IGVhc2lseSBiZSBidWlsdCBvbiBzYW5kLCBhIHJvYnVzdCBz
b2Z0d2FyZVxwYXINCnN5c3RlbSBjYW5ub3QgYmUgYnVpbHQgb24gYSBmb3VuZGF0aW9uIG9mIHdl
YWsgdG9vbHMgYW5kIHBsYXRmb3Jtcy4gRmlmdHlccGFyDQp5ZWFycyBhZnRlciB0aGUgaW52ZW50
aW9uIG9mIHN0YXRpYyB0eXBpbmcgYW5kIGF1dG9tYXRpYyBtZW1vcnkgbWFuYWdlbWVudCxccGFy
DQp0aGUgZGVjaXNpb24gdG8gdXNlIGFuIHVuc2FmZSBwcm9ncmFtbWluZyBsYW5ndWFnZSBzdWNo
IGFzIEMgb3IgQysrICh3aGljaFxwYXINCnByb3ZpZGUgbmVpdGhlcikgcmVxdWlyZXMgc2VyaW91
cyBqdXN0aWZpY2F0aW9uLCBhbmQgZm9yIGEgY3JpdGljYWwgc3lzdGVtXHBhcg0KdGhlIGJlbmVm
aXRzIHRoYXQgYXJlIG9idGFpbmVkIGluIGNvbXBlbnNhdGlvbiBmb3IgdGhlIGxvc3Mgb2Ygc2Fm
ZXR5IGhhdmVccGFyDQp0byBiZSBleHRyYW9yZGluYXJpbHkgY29tcGVsbGluZyIgICBccGFyDQpc
cGFyDQpKYXZhIGFuZCBDIyBqdXN0aWZpYWJseSBnZXQgYSBtZW50aW9uLiBNYXliZSBzb21lYm9k
eSBzaG91bGQgdGVsbCBoaW0gYWJvdXRccGFyDQpDUD9ccGFyDQpccGFyDQpZb3UgY2FuIGRvd25s
b2FkIHRoZSBjb21wbGV0ZSBhcnRpY2xlIGZyb206XHBhcg0KXHBhcg0KaHR0cDovL3NkZy5jc2Fp
bC5taXQuZWR1L3B1YnMvMjAwOC9jYWNtLTA4LnBkZlxwYXINClxwYXINCkNoZWVycyxccGFyDQpD
aHJpc1xwYXINClxwYXINCkNocmlzIEJ1cnJvd3NccGFyDQpDRkIgU29mdHdhcmVccGFyDQpBcm1h
aWRlIHYyLjE6IEFSTSBPYmVyb24tMDcgRGV2ZWxvcG1lbnQgU3lzdGVtXHBhcg0KaHR0cDovL3d3
dy5hcm1haWRlLmNvbVxwYXINClxwYXINClxwYXINClx0YWIgRnJvbTogQmxhY2tCb3ggW21haWx0
bzpCTEFDS0JPWEBMSVNUUy5PQkVST04uQ0hdIE9uIEJlaGFsZiBPZlxwYXINCmRyYmF1dHNjaEBB
T0wuQ09NXHBhcg0KXHRhYiBTZW50OiBUaHVyc2RheSwgMTAgSmFudWFyeSAyMDA4IDQ6NDcgQU1c
cGFyDQpcdGFiIFRvOiBCTEFDS0JPWEBMSVNUUy5PQkVST04uQ0hccGFyDQpcdGFiIFN1YmplY3Q6
IFtCTEFDS0JPWF0gU2VjdXJlIFNvZnR3YXJlXHBhcg0KXHRhYiBccGFyDQpcdGFiIFxwYXINClx0
YWIgRGVhciBhbGwgIVxwYXINClx0YWIgXHBhcg0KXHRhYiBccGFyDQpcdGFiIEkgaG9wZSB5b3Ug
d2lsbCBlbmpveSB0aGUgYnJhbmQgbmV3IGlzc3VlIG9mIHRoZSBFTklTQSBRdWFydGVybHkgb25c
cGFyDQpzZWN1cmUgc29mdHdhcmU6XHBhcg0KXHRhYiBccGFyDQpcdGFiIFxwYXINCmh0dHA6Ly93
d3cuZW5pc2EuZXVyb3BhLmV1L2RvYy9wZGYvcHVibGljYXRpb25zL2VuaXNhX3F1YXJ0ZXJseV8x
Ml8wNy5wZGZccGFyDQpcdGFiIFxwYXINClx0YWIgU2VlIHRhYmxlIG9uIHBhZ2UgNCA7LSlccGFy
DQpcdGFiIFxwYXINClx0YWIgQW55IGZlZWRiYWNrIGlzIHdlbGNvbWUuLi5ccGFyDQpcdGFiIFxw
YXINClx0YWIgXHBhcg0KXHRhYiBCZXN0IHJlZ2FyZHMgZnJvbSBCZXJsaW5ccGFyDQpcdGFiIFxw
YXINClx0YWIgTWFya3VzXHBhcg0KXHBhcg0KXHBhcg0KLS0tLVxwYXINClRvIHVuc3Vic2NyaWJl
LCBzZW5kIGEgbWVzc2FnZSB3aXRoIGJvZHkgIlNJR05PRkYgQkxBQ0tCT1giIHRvIExJU1RTRVJW
QExJU1RTLk9CRVJPTi5DSFx9fQAoan4=
----boundary-LibPST-iamunique-1144007428_-_---

Received on Tue Sep 22 2009 - 09:21:19 UTC