[SystemSafety] C for OSs

Peter Bernard Ladkin ladkin at causalis.com
Fri Sep 6 13:54:17 CEST 2019


A quote from Tom van Vleck in Risks 31.40 today:

"It seems clear that trying to write secure operating systems in C does not
work.  Very smart people have tried for 50 years, and the solution to the
problem is not reduced to practice. "

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190906/d4b3c230/attachment.sig>


More information about the systemsafety mailing list