Combining type-based analysis and model checking for finding counterexamples against non-interference

Open Webpage

Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa

Published: 2006, Last Modified: 23 Jul 2025PLAS 2006EveryoneRevisionsBibTeXCC BY-SA 4.0