First Page | Document Content | |
---|---|---|
Date: 2014-11-30 16:58:57Computing Software engineering Computer programming Programming languages Kernel XPL SIGPLAN Machine code Java | Micro-Policies: A Framework for Verified, Tag-Based Security Monitors Advisor: C˘at˘alin Hrit¸cu Institition: INRIA Paris-Rocquencourt, Prosecco Team Location: 23 Avenue d’Italie, Paris, FAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source WebsiteFile Size: 149,82 KBShare Document on Facebook |