loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Salem Aljareh 1 ; Nick Rossiter 2 and Michael Heather 3

Affiliations: 1 Computing Science, Newcastle University, United Kingdom ; 2 Informatics, University of Northumbria, United Kingdom ; 3 Law, University of Northumbria, United Kingdom

Abstract: Security problems in collaborative work between multiple agencies are less well understood than those in the business and defence worlds. We develop a perspective for policies and models that is task-based on a need-to-know basis. These policies are represented by two protocols, the first CTCP (Collaboration Task-based Creation Protocol) dealing with negotiation, decision and agreement between the parties involved and the second CTRP (Collaboration Task-based Run-time Protocol) responsible for the operation of the policy. The two protocols and the relationship between them are defined in Petri-Nets. The overall model is formally defined using a categorical pullback construction. Each of the protocols, represented as Petri-Nets for state-transition purposes, is a category-valued functor in the pullback.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.222.118.194

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Aljareh, S.; Rossiter, N. and Heather, M. (2004). A Formal Security Model for Collaboration in Multi-agency Networks. In Proceedings of the 2nd International Workshop on Security in Information Systems (ICEIS 2004) - WOSIS; ISBN 972-8865-07-4, SciTePress, pages 157-169. DOI: 10.5220/0002671001570169

@conference{wosis04,
author={Salem Aljareh. and Nick Rossiter. and Michael Heather.},
title={A Formal Security Model for Collaboration in Multi-agency Networks},
booktitle={Proceedings of the 2nd International Workshop on Security in Information Systems (ICEIS 2004) - WOSIS},
year={2004},
pages={157-169},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002671001570169},
isbn={972-8865-07-4},
}

TY - CONF

JO - Proceedings of the 2nd International Workshop on Security in Information Systems (ICEIS 2004) - WOSIS
TI - A Formal Security Model for Collaboration in Multi-agency Networks
SN - 972-8865-07-4
AU - Aljareh, S.
AU - Rossiter, N.
AU - Heather, M.
PY - 2004
SP - 157
EP - 169
DO - 10.5220/0002671001570169
PB - SciTePress