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 Formale Herleitung zu 5.1.2 (aufheben): (1) Korrupter Programmcode = (Programmcode ∧ Unerwünschter Nebeneffekt)
q.e.d.1 Sicherheit ∈ Zustand
2 ∀(Unsicherheit) = ∃(Nicht zugelassene Handlung)
3 Angriff = Unzulässige Handlung
4 (Unsicherheitm ≠ Unsicherheitn) ≠ (Angriffm ≠ Angriffn)
5 Korrupter Programmcode = (Programmcode ∧ Unerwünschter Nebeneffekt)
6 Sensitive Daten → Schutz vor Manipulationen
|
© 2007-2024 by Marc Ruef |