Art

J-GLOBAL ID：201002201610282855   Reference number：10A1287632

Deontic relevant logic as the logical basis for specifying, verifying, and reasoning about information security and information assurance

情報セキュリティと情報保障についての仕様、検証、及び推論のたの論理的根拠としての義務的関連論理

Author (2)： CHENG J ,  MIURA J
Material： FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS
Page： 601-608  Publication year： 2006 
JST Material Number： I20060454  ISBN： 0-7695-2567-9  Document type： Article
Country of issue： Other (ZZZ)  Language： ENGLISH (EN)

Terms in the title (7)： 情報セキュリティ ,  情報保障 ,  仕様 ,  検証 ,  推論 ,  根拠 ,  論理