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 1.2.3.1 (aufheben):
Sicherheit ist ein Zustand. 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.