Using Alloy to analyse a spatio-temporal access control model supporting delegation-Reference-Cited by-同舟云学术

Using Alloy to analyse a spatio-temporal access control model supporting delegation

Published:2009 Issue:3 Volume:3 Page:75
ISSN:1751-8709
Container-title:IET Information Security
language:en
Short-container-title:IET Inf. Secur.

Author:

Toahchoodee M.,Ray I.

Publisher

Institution of Engineering and Technology (IET)

Subject

Computer Networks and Communications,Information Systems,Software

Link

https://digital-library.theiet.org/content/journals/10.1049/iet-ifs.2008.0074?crawler=true&mimetype=application/pdf

Reference35 articles.

1. Securing context-aware applications using environment roles

2. Implementing access control to people location information

3. A Spatio-temporal Access Control Model Supporting Delegation for Pervasive Computing Applications

4. Georg, G., Bieman, J., and France, R.B.: ‘Using Alloy and UML/OCL to specify run-time configuration management: a case study’, Evans, A., France, R., Moreira, A., Rumpe, B., Practical UML-based rigorous development methods – countering or integrating the eXtremists, 2001),(LNI, P-7) p. 128–141

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Access Control for Internet of Things Applications;Proceedings of the 5th on Cyber-Physical System Security Workshop - CPSS '19;2019

2. On the design and analysis of protocols for Personal Health Record storage on Personal Data Server devices;Future Generation Computer Systems;2018-03

3. Declarative specifications for the development of multi-agent systems;Computer Standards & Interfaces;2016-01

4. Safety and Security Assessment of Behavioral Properties Using Alloy;Lecture Notes in Computer Science;2015

5. Security analysis of temporal RBAC under an administrative model;Computers & Security;2014-10