Formal specification and security verification of usage control model based on PAT
Usage control (UCON) is an access control model to enforce digital resources protection in highly distributed, heterogeneous network computing environment. Firstly, each core model of UCON was specified formally with TCSP#, and a combination specification mechanism was proposed for general UCON. Sec...
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Άρθρο |
| Γλώσσα: | English |
| Έκδοση: |
POSTS&TELECOM PRESS Co., LTD
2016-03-01
|
| Σειρά: | 网络与信息安全学报 |
| Θέματα: | |
| Διαθέσιμο Online: | http://www.infocomm-journal.com/cjnis/CN/10.11959/j.issn.2909-109x.2016.00038 |