Probabilistic Noninterference in a Concurrent Language † Dennis Volpano Computer Science Department Naval Postgraduate School Monterey, CA 93943, USA - Dennis - Document - PDFSEARCH.IO

First Page	Meta Content
	Probabilistic Noninterference in a Concurrent Language † Dennis Volpano Computer Science Department Naval Postgraduate School Monterey, CA 93943, USA Add to Reading List Document Date: 2009-09-17 09:05:18 Open Document File Size: 202,15 KB Share Result on Facebook

Probabilistic Noninterference in a Concurrent Language † Dennis Volpano Computer Science Department Naval Postgraduate School Monterey, CA 93943, USA Add to Reading List