[IEEE 2013 IEEE International Conference on Technologies for Homeland Security (HST) - Waltham, MA, USA (2013.11.12-2013.11.14)] 2013 IEEE International Conference on Technologies for Homeland Security (HST) - SAFE: A clean-slate architecture for secure systems
Chiricescu, Silviu, DeHon, Andre, Demange, Delphine, Iyer, Suraj, Kliger, Aleksey, Morrisett, Greg, Pierce, Benjamin C., Reubenstein, Howard, Smith, Jonathan M., Sullivan, Gregory T., Thomas, Arun, ToYear:
2013
Language:
english
DOI:
10.1109/ths.2013.6699066
File:
PDF, 494 KB
english, 2013