Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Formal verification of information flow security for a simple arm-based separation kernelDam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, OliverProceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234ACMTexto completo disponível |