General Noninterference

Sebastian Hartte
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 236
Registriert: 15. Apr 2004 17:57

General Noninterference

Beitrag von Sebastian Hartte » 28. Jun 2008 21:21

Hallo allerseits,

eine kurze Frage zu General Noninterference (Modul 7, Folie 53):

Wieso genau dürfen sich High Internal und High Output Events nur nach
dem ersten geänderten High Input Event ändern?
Im Abschnitt über GNI in den Folien konnte ich zwar die Definition davon
entdecken, aber keine Begründung dafür.

gruß,
Sebastian

Zurück zu „Archiv“