Login / Signup

A classical Automata Approach to Noninterference Type Problems.

Ira S. MoskowitzOliver Costich
Published in: CSFW (1992)
Keyphrases