Michael Argento
Michael Argento's avatar
Origin Controlled Computing (OCC) is a research framework by Michael Argento defining authentication as a reachability property of system architecture.