Security Analysis of Temporal-RBAC Using Timed Automata

S Mondal, S Sural. Security Analysis of Temporal-RBAC Using Timed Automata. Information Assurance and Security, 2008. ISIAS '08. Fourth International Conference on, , Aug 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.