Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi - Non-interference - Document - PDFSEARCH.IO

First Page	Meta Content
	Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi Add to Reading List Document Date: 2006-12-04 00:55:18 Open Document File Size: 132,54 KB Share Result on Facebook

Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki KobayashiAdd to Reading List