Trust domains in system models: algebra, logic, utility, and combinators
Keyword(s):
2004 ◽
Vol 9
(5-6)
◽
pp. 11-29
◽
Keyword(s):
Keyword(s):