Presentation | 1993/10/26 Security Planing in Data Processing System Hiroshi Nagase, Hideki Shina, Gutierrez Edmundo, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Given secrecy and integrity requirements as well as processing requiments,automatically generation of a secure and executable program is discussed.For this objective,these requiments are at first described with specification language and inconsistencies among these requiments are checked.In this security design,by using ER model for description of specification,we can evaluate secrecy and integrity of data processing system precisely taking account of their processing functions.As a security model,execute access is newly introduced in addition to conventional read, write access. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | access control / data processing system / ER model |
Paper # | ISEC93-57 |
Date of Issue |
Conference Information | |
Committee | ISEC |
---|---|
Conference Date | 1993/10/26(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 | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Security Planing in Data Processing System |
Sub Title (in English) | |
Keyword(1) | access control |
Keyword(2) | data processing system |
Keyword(3) | ER model |
1st Author's Name | Hiroshi Nagase |
1st Author's Affiliation | Department of Information and Computer Engineering,Kanazawa Institute of Technology() |
2nd Author's Name | Hideki Shina |
2nd Author's Affiliation | Department of Information and Computer Engineering,Kanazawa Institute of Technology |
3rd Author's Name | Gutierrez Edmundo |
3rd Author's Affiliation | Department of Information and Computer Engineering,Kanazawa Institute of Technology |
Date | 1993/10/26 |
Paper # | ISEC93-57 |
Volume (vol) | vol.93 |
Number (no) | 296 |
Page | pp.pp.- |
#Pages | 9 |
Date of Issue |