Bruce M. Kapron

Ein neuer Ansatz für die sichere Analyse der Programmkomplexität durch kontrollierte Datenfreigabe.

Die Verbindung zwischen Trennungslogik und kryptografischer Sicherheit durch Unabhängigkeit erkunden.