A hookup theorem for multilevel secruity
収録刊行物
-
- IEEE Transactions on Software Engineering
-
IEEE Transactions on Software Engineering 16 (6), 563-568, 1990
IEEE Transactions on Software Engineering 16 (6), 563-568, 1990