Abstract | ||
---|---|---|
In this paper we have proposed an approach to describing security and operational business policies and verifying their correctness with respect to a set of properties. The method is based on the REA business modeling language to construct definitions of security and operational business rules. Once the rules are created their representations are combined into policies and policy sets using state machines. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.accinf.2014.05.004 | International Journal of Accounting Information Systems |
Keywords | Field | DocType |
Security policies,REA,Correctness of security policies | Network security policy,Software engineering,Computer security,Information security standards,Computer science,Correctness,Finite-state machine,Business model,Security policy,Computer security model,Business rule,Management science | Journal |
Volume | Issue | ISSN |
15 | 4 | 1467-0895 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vahid R. Karimi | 1 | 3 | 1.71 |
Donald D. Cowan | 2 | 581 | 90.75 |
Paulo S. C. Alencar | 3 | 393 | 45.89 |