Tractatus Logico-Philosophicus Instrumentum Computatorium |
Vorwort | Einführung | | Begriffe | Kontakt |
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.3.2.2 (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. |
© 2007-2024 by Marc Ruef |