Deontic relevant logic as the logical basis for specifying, verifying, and reasoning about information security and information assurance
-
Published:2006
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:First International Conference on Availability, Reliability and Security (ARES'06)
-
language:
-
Short-container-title:
Author:
Cheng J.,Miura J.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献