A calculus of information flow
収録刊行物
-
- Proceedings of the European Symposium on Research in Computer Security, 1990
-
Proceedings of the European Symposium on Research in Computer Security, 1990 1990