Secure Compilation to Protected Module Architectures.

Autor: PATRIGNANI, MARCO1, AGTEN, PIETER1, STRACKX, RAOUL1, JACOBS, BART1, CLARKE, DAVE2, PIESSENS, FRANK1
Zdroj: ACM Transactions on Programming Languages & Systems. Apr2015, Vol. 37 Issue 2, p6:1-6:50. 50p.
Databáze: Business Source Ultimate