Logical Method for Reasoning About Access Control and Data Flow Control Models
Keyword(s):
1996 ◽
1985 ◽
Vol 68
(5)
◽
pp. 66-74
2014 ◽
Vol 3
(9(69))
◽
pp. 22
◽
Keyword(s):