SIGN IN
SIGN UP
Ensuring spatio-temporal access control for real-world applications
Full Text:
Pdf
Buy this Article
Authors:
Manachai Toahchoodee
Colorado State University, Fort Collins, CO, USA
Indrakshi Ray
Colorado State University, Fort Collins, CO, USA
Kyriakos Anastasakis
University of Birmingham, Edgbaston, United Kingdom
Geri Georg
Colorado State University, Fort Collins, CO, USA
Behzad Bordbar
University of Birmingham, Edgbaston, United Kingdom
2009 Article
Bibliometrics
· Downloads (6 Weeks): 6
· Downloads (12 Months): 42
· Downloads (cumulative): 448
· Citation Count: 6
Published in:
· Proceeding
SACMAT '09
Proceedings of the 14th ACM symposium on Access control models and technologies
Pages 13-22
ACM
New York, NY
, USA
©2009
table of contents
ISBN: 978-1-60558-537-6
doi>
10.1145/1542207.1542212
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SACMAT '13
Share:
|
Tags:
alloy
design
formal methods
languages
languages
methodologies
security
spatio-temporal rbac
uml
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder