| Presentation | 2010-05-21 Formal verification method for Dynamic Segregation of Duties which is based Functional Role Michinobu OCHI, Satoshi ONO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Frauds cause increase of requirements of SOX. The requirements include "Segregation of Duties (SoD)", and it's important to develop access control model which can described Dynamic Segregation of Duties. However it's more difficult to verify DSoD than Static SoD. This paper suggests Formal verification method for access control model which can described Dynamic Segregation of Duties. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Dynamic Segregation of Duties / Formal verification method / SPIN |
| Paper # | ISEC2010-5 |
| Date of Issue |
| Conference Information | |
| Committee | ISEC |
|---|---|
| Conference Date | 2010/5/14(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) | Formal verification method for Dynamic Segregation of Duties which is based Functional Role |
| Sub Title (in English) | |
| Keyword(1) | Dynamic Segregation of Duties |
| Keyword(2) | Formal verification method |
| Keyword(3) | SPIN |
| 1st Author's Name | Michinobu OCHI |
| 1st Author's Affiliation | Informatics, Kogakuin University Graduate Schoo() |
| 2nd Author's Name | Satoshi ONO |
| 2nd Author's Affiliation | Faculty of Informatics Kogakuin University |
| Date | 2010-05-21 |
| Paper # | ISEC2010-5 |
| Volume (vol) | vol.110 |
| Number (no) | 44 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |