Tractatus / Liste / 5.2.2.4.1

Tractatus Logico-Philosophicus Instrumentum Computatorium

Letztes Update des Tractatus: 12.04.2018

Darstellung: Liste | Logik | Prosa | Diagramm (474 kb)
Details: 6 | 5 | 4 | 3 | 2 | 1

Informale Herleitung zu 5.2.2.4.1 (aufheben):
Eine Programmcode mit unerwünschten Nebeneffekten gilt als korrupter Programmcode. q.e.d.

1 Sicherheit ist ein Zustand.

2 Unsicherheit gewährt eine nicht zugelassene Handlung.

3 Eine unzulässige Handlung ist ein Angriff.

4 Unsicherheiten und Angriffe sind unter sich nicht gleichwertig.

5 Eine Programmcode mit unerwünschten Nebeneffekten gilt als korrupter Programmcode.

6 Sensitive Daten müssen vor Manipulationen geschützt werden.