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, F - 23 Avenue - Document - PDFSEARCH.IO

First Page	Meta Content
	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, F Add to Reading List Document Date: 2014-11-30 16:58:57 Open Document File Size: 149,82 KB Share Result on Facebook

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 List