Global Security, Safety and Sustainability & e-Democracy. 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011, Revised Selected Papers

Research Article

Towards Colored Petri Net Modeling of Expanded C-TMAC

Download34 downloads
  • @INPROCEEDINGS{10.1007/978-3-642-33448-1_13,
        author={Apostolos Provatidis and Christos Georgiadis and Ioannis Mavridis},
        title={Towards Colored Petri Net Modeling of Expanded C-TMAC},
        proceedings={Global Security, Safety and Sustainability \& e-Democracy. 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011, Revised Selected Papers},
        proceedings_a={ICGS3 \& E-DEMOCRACY},
        year={2012},
        month={10},
        keywords={Security Access Control C-TMAC RBAC Colored Petri Nets CPNtools Formal Modeling and Analysis},
        doi={10.1007/978-3-642-33448-1_13}
    }
    
  • Apostolos Provatidis
    Christos Georgiadis
    Ioannis Mavridis
    Year: 2012
    Towards Colored Petri Net Modeling of Expanded C-TMAC
    ICGS3 & E-DEMOCRACY
    Springer
    DOI: 10.1007/978-3-642-33448-1_13
Apostolos Provatidis1, Christos Georgiadis1,*, Ioannis Mavridis1
  • 1: University of Macedonia
*Contact email: geor@uom.gr

Abstract

Today advancements in information technology have led to multi-user information systems of high complexity, where users can group, collaborate and share resources. The variety of such systems include a wide range of applications such as collaborative document sharing and editing, social networks, work flow management systems, mobile location based applications etc. As those systems continue to evolve, additional requirements arise which need to be met, such as context inclusion in access control decision making and security policies that support grouping, collaboration and sharing. To address this need, we are working on expanding C-TMAC, a security model that intrinsically supports grouping, collaboration and context awareness. In this perspective, we utilize the mathematical modeling language of Colored Petri Nets, along with the CPNtools, in order to represent and analyze the basic components of C-TMAC model.