View in EDS PDF Full Text

A verified information-flow architecture.

Saved in:
Bibliographic Details
Title: A verified information-flow architecture.
Authors: de Amorim, Arthur Azevedo1, aarthur@seas.upenn.edu, Collins, Nathan2, DeHon, André1, Demange, Delphine3, Hriţ, Cătălin4, Pichardie, David5, Piercea, Benjamin C.1, Pollack, Randy6, Tolmach, Andrew7
Source: Journal of Computer Security; 2016, Vol. 24 Issue 6, p689-734, 46p
Database: Applied Science & Technology Source
Description
ISSN:0926227X
DOI:10.3233/JCS-15784