Abstract | ||
---|---|---|
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes it possible to analyze security issues oil security systems based on the access control model. To illustrate this approach, a case study of the Simple Access Control Model (SACM) is used and specific safety problems of the security model are analyzed using the SPR tool. |
Year | Venue | Keywords |
---|---|---|
2006 | COMPUTING AND INFORMATICS | SPR (Safety Problem Resolver), SEW (Security Evaluation Workshop), SPSL (Safety Problem Specification Language) |
Field | DocType | Volume |
Resolver,Model checking,Software engineering,Computer security,Computer science,Theoretical computer science,Access control,Computer security model,Formal verification | Journal | 25 |
Issue | ISSN | Citations |
5 | 1335-9150 | 1 |
PageRank | References | Authors |
0.38 | 3 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Il-gon Kim | 1 | 24 | 5.91 |
Mi-Young Kang | 2 | 40 | 11.87 |
Jin-young Choi | 3 | 606 | 50.44 |
Peter D. Zegzhda | 4 | 22 | 11.92 |
Maxim O. Kalinin | 5 | 31 | 17.42 |
Dmitry P. Zegzhda | 6 | 50 | 24.58 |
Inhye Kang | 7 | 169 | 17.91 |