Abstract
In this paper a framework called Team Automata (TA) has been introduced for capturing notions like co-ordination, collaboration and cooperation in distributed systems. It consists of component automata, combined in a coordinated way such that they can perform shared actions. Moreover, we consider a Spatio -Temporal Role Based Access Control Model (STRBAC) in the context of the team automata model, it describes the usage of the model and utility for capturing information security structures as well as critical coordination between these structures on the basis of Spatio -Temporal metaphor. In this work, Known access control strategies are given a formal description in terms of synchronization in TA.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kleijn, J.: Team Automata for CSCW – A Survey. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 295–320. Springer, Heidelberg (2003)
Ter Beek, M.H., Lenzini, G., Petrocchi, M.: Team automata for security -a survey. Electronic Notes in Theoretical Computer Science, vol. 128, pp. 105–119. Elsevier, Amsterdam (2005)
Ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems, Computer Supported Cooperative Work. The Journal of Collaborative Computing 12(1), 21–69 (2003)
Ellis, C.A.: Team Automata for Groupware Systems. In: Proc. GROUP 1997, pp. 415–424. ACM Press, New York (1997)
Lynch, N.A., Tuttle, M.R.: An Introduction to Input/Output Automata. CWI Quarterly 2(3), 219–246 (1989); Tech. Memo MIT/LCS/TM-373 (1988)
Ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Team Automata for Spatial Access Control. In: Proc. ECSCW 2001, pp. 59–77. Kluwer, Dordrecht (2001)
Ter Beek, M.H., Lenzini, G., Petrocchi, M.: Team Automata for Security Analysis of Multicast/Broadcast Communication. Technical Report 2003-TR-13, Istituto di Scienza e Tecnologie dell’Informazione, Consiglio Nazionale delle Ricerche. Presented at WISP 2003 (2003)
Ter Beek, M.H., Lenzini, G., Petrocchi, M.: Team Automata for Security Analysis. Technical Report. TR-CTIT, pp. 04–13. Centre for Telematics and Information Technology, University
Focardi, R., Martinelli, F.: A Uniform Approach for the Definition of Security Properties. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 794–813. Springer, Heidelberg (1999)
Schneider, F.B.: Enforceable Security Policies. ACM Transactions on Information and System Security 3(1), 30–50 (2000)
Mondal, S., Sural, S.: Security Analysis of RBAC with temporal and constraints-A Model Cheking Approach. Journal of Information Assurance Security 4, 319–328 (2009)
Yu, H., Lim, E.-P.: LTAM: A Location-Temporal Authorization Model. In: Jonker, W., Petković, M. (eds.) SDM 2004. LNCS, vol. 3178, pp. 172–186. Springer, Heidelberg (2004)
Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST Standard for Role-Based Access Control. ACM Transactions on Information and Systems Security 4(3) (August 2001)
Covington, M.J., Long, W., Srinivasan, S., Dey, A., Ashamed, M., Abode, G.: Securing Context-Aware Applications Using Environment Roles. In: Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, Chantilly, VA, USA, May 2001, pp. 10–20 (2001)
Mondal, S., Sural, S., Atlari, V.: Towards Formal Security Analysis of GTRBAC using Timed Automata. In: SACMAT 2009, Italy, June 3-5, pp. 33–42 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jaisankar, N., Veeramalai, S., Kannan, A. (2010). Team Automata Based Framework for Spatio-Temporal RBAC Model. In: Das, V.V., et al. Information Processing and Management. BAIP 2010. Communications in Computer and Information Science, vol 70. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12214-9_106
Download citation
DOI: https://doi.org/10.1007/978-3-642-12214-9_106
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12213-2
Online ISBN: 978-3-642-12214-9
eBook Packages: Computer ScienceComputer Science (R0)