The formal specification of the Tees Confidentiality Model
This thesis reports an investigation into authorisation models, as used in identity and access management. It proposes new versions of an authorisation model, the Tees Confidentiality Model (TCM), and presents formal specifications in B, and verifications and implementations of the key concepts usin...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Teesside University
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.517470 |