A Calculus of Information Flow.

C. O'Halloran

European Symposium on Research in Computer Security · 1990 · 85 citations · 0 references

Concepts