|
News News regarding BSD and related. |
|
Thread Tools | Display Modes |
|
|||
Developing a Metric of Software Security
Quote:
|
|
|||
Software has always been able to have been mathematically proved correct and free of bugs and logically correct. It is the cost associated with that task which companies would be against. Also, although there are "software engineers" it is not a formal licensed engineering path like electrical, mechanical or civil engineering. Plus, many programmers, even today, don't have a formal programming education.
I'm also uncertain how some of the new languages and web programming paradigms and frameworks would hold up to the science of computer programming (e.g., logic). Last edited by gpatrick; 1st August 2016 at 11:35 AM. |
|
|||
That the only picture of a machine in the article, the two of them examining a Stardust pinball machine, ironically says everything I need to know. (For those who don't know, the Stardust pinball machine has no software.)
|
|
|||
I thought the article highlighted the prescience of the OpenBSD project.
Open code, code correctness, true randomness feeding robust encryptation algorithms, fine grain privilege separation and pledging. Last edited by shep; 1st August 2016 at 04:03 PM. |
|
|
Similar Threads | ||||
Thread | Thread Starter | Forum | Replies | Last Post |
Thoughts on software and security | jggimi | OpenBSD Security | 2 | 18th July 2015 06:20 AM |
HP developing photonic computer, with new open source OS | IdOp | News | 0 | 19th June 2014 03:52 PM |
Report: Open source software quality is better than proprietary software | J65nko | News | 6 | 28th February 2012 05:33 PM |
MIT developing MITx: Open source software for online education | J65nko | News | 0 | 21st December 2011 07:07 AM |
bbs software | mjt | FreeBSD Ports and Packages | 3 | 8th May 2008 03:02 PM |