Login / Signup
An Extended Proof-Carrying Code Framework for Security Enforcement.
Heidar Pirzadeh
Danny Dubé
Abdelwahab Hamou-Lhadj
Published in:
Trans. Comput. Sci. (2010)
Keyphrases
</>
security enforcement
main contribution
lightweight
theoretical framework