Implementing RBAC on a type enforced system
- 23 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Current off-line electronic cash systems require a great number of complex online computations by clients during the payment phase. In this paper, we propose a new off-line anonymous cash scheme that greatly reduces the number of online computations ...Keywords
This publication has 4 references indexed in Scilit:
- Role-based access control: a multi-dimensional viewPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using type enforcement to assure a configurable guardPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- Role-based access control modelsComputer, 1996