| Presentation | 2007-07-19 Interpretation and Analysis by Intuitionistic Logic for Incomplete Information, "Covert Channels" Tetsuya MORIZUMI, Hirotsugu KINOSHITA, Shigeo TSUJII, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper shows that the necessary condition as the logic system of the security model which supports meaning emergence and from which the individual information leakage and the falsification are prevented is intuitionistic logic. The intuitionistic logic catches the uncertainty as "Possibility", and verifies a true value by a relative, logical result to a certain state of knowledge. When it is necessary to express "Uncertainty of covert channel that depends on the possibility of the access act" and "Uncertainty by the difference between the rule base and the real world" as semantics of the deduction inference base, the intuitionistic logic can be adopted as the necessary condition. The security model by the intuition principle logic acts as a limiting condition in the meaning generation support system in the Internet society. That is, when the recognition act and the meaning generation act of the subject are captured in phenomenology, the attribute "Privacy, ownership, competition, and role" of the security model becomes the necessary condition as an attribute that the access controller of a social system should have. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | security model / access control / covert channel / intuitionistic logic / deduction inference / database / Phenomenology |
| Paper # | ISEC2007-25,SITE2007-19 |
| Date of Issue |
| Conference Information | |
| Committee | ISEC |
|---|---|
| Conference Date | 2007/7/12(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Information Security (ISEC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Interpretation and Analysis by Intuitionistic Logic for Incomplete Information, "Covert Channels" |
| Sub Title (in English) | |
| Keyword(1) | security model |
| Keyword(2) | access control |
| Keyword(3) | covert channel |
| Keyword(4) | intuitionistic logic |
| Keyword(5) | deduction inference |
| Keyword(6) | database |
| Keyword(7) | Phenomenology |
| 1st Author's Name | Tetsuya MORIZUMI |
| 1st Author's Affiliation | TOYO NETWORK SYSTEMS CO., LTD.:INSTITUTE of INFORMATION SECURITY() |
| 2nd Author's Name | Hirotsugu KINOSHITA |
| 2nd Author's Affiliation | Faculty of Engineering, Kanagawa University |
| 3rd Author's Name | Shigeo TSUJII |
| 3rd Author's Affiliation | INSTITUTE of INFORMATION SECURITY |
| Date | 2007-07-19 |
| Paper # | ISEC2007-25,SITE2007-19 |
| Volume (vol) | vol.107 |
| Number (no) | 140 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |