loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First International Conference on Availability, Reliability and Security (ARES'06)
Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance
Vienna, Austria
April 20-April 22
ISBN: 0-7695-2567-9
Jingde Cheng, Saitama University, Saitama, 338-8570, Japan
Junichi Miura, Saitama University, Saitama, 338-8570, Japan
To specify, verify, and reason about information security and information assurance, we need a right fundamental logic system to provide us with a logical validity criterion of normative reasoning as well as a formal representation and specification language. The fundamental logic must be able to underlie truth preserving and relevant reasoning in the sense of conditional, ampliative reasoning, paracomplete reasoning, paraconsistent reasoning, and normative reasoning. This paper discusses why classical mathematical logic, its various classical conservatives extensions, or its non-classical alternatives are not suitable candidates for the fundamental logic, shows that deontic relevant logic is a hopeful candidate for the fundamental logic we need.
Citation:
Jingde Cheng, Junichi Miura, "Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance," ares, pp.601-608, First International Conference on Availability, Reliability and Security (ARES'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.