Specification of secure distributed collaboration systems

被引:0
|
作者
Tripathi, AR [1 ]
Ahmed, T [1 ]
Kumar, R [1 ]
机构
[1] Univ Minnesota, Dept Comp Sci, Minneapolis, MN 55455 USA
关键词
distributed collaboration; role based access control; security policy specification;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The focus of this paper is on a specification model for defining security and coordination policies for distributed Collaboration and workflow systems. This work is motivated by the objective to build distributed collaboration systems from their high level specifications. We identify here unique requirements for secure collaboration, specifically role admission and activation constraints, separation of duties, dynamic access control; and a model for multi-user participation in a role. We present a role-based model for specifying coordination and dynamic security requirements in collaboration systems. It also supports hierarchical structuring of a large collaboration environment using the concept of activities, which define a naming scope and a protection domain to specify security and coordination policies. We have implemented this specification model in XML and used it to construct the runtime. environments for distributed collaboration systems using a policy based middleware.
引用
收藏
页码:149 / 156
页数:8
相关论文
共 50 条
  • [1] SPECIFICATION IN DISTRIBUTED SYSTEMS
    VONBOCHMANN, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
  • [2] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
    DEGANO, P
    MONTANARI, U
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51
  • [3] Secure Collaboration in Engineering Systems Design
    Wang, Shumiao
    Bhandari, Siddharth
    Chaduvula, Siva Chaitanya
    Atallah, Mikhail J.
    Panchal, Jitesh H.
    Ramani, Karthik
    [J]. JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2017, 17 (04)
  • [4] SECURE COLLABORATION IN ENGINEERING SYSTEMS DESIGN
    Wang, Shumiao
    Bhandari, Siddharth
    Atallah, Mikhail
    Panchal, Jitesh H.
    Ramani, Karthik
    [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2014, VOL 1B, 2014,
  • [5] Secure collaboration in a mediator-free distributed environment
    Shehab, Mohamed
    Ghafoor, Arif
    Bertino, Elisa
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2008, 19 (10) : 1338 - 1351
  • [6] Specification and verification of secure business transaction systems
    Alagar, VS
    Periyasamy, K
    [J]. SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 240 - 252
  • [7] An Approach for the Specification, Verification and Synthesis of Secure Systems
    Martinelli, Fabio
    Matteucci, Ilaria
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 168 : 29 - 43
  • [8] A comparative study of policy specification languages for secure distributed applications
    Duflos, S
    Diaz, G
    Gay, V
    Horlait, E
    [J]. MANAGEMENT TECHNOLOGIES FOR E-COMMERCE AND E-BUSINESS APPLICATIONS, PROCEEDINGS, 2002, 2506 : 157 - 168
  • [9] Distributed secure systems: Then and now
    Randell, Brian
    Rushby, John
    [J]. TWENTY-THIRD ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2007, : 178 - +
  • [10] Compositional specification of distributed systems by distributed graph transformation
    Koch, M
    [J]. COMMUNICATION-BASED SYSTEMS, 2000, : 73 - 91