loading
Documents

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

ISBN: 972-8865-07-4

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.

PDF ImageFull Text

Download
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 52.3.228.47

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.; Heather M. and (2004). A Formal Security Model for Collaboration in Multi-agency Networks.In Proceedings of the 2nd International Workshop on Security in Information Systems - Volume 1: WOSIS, (ICEIS 2004) ISBN 972-8865-07-4, 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 - Volume 1: WOSIS, (ICEIS 2004)},
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 - Volume 1: WOSIS, (ICEIS 2004)
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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.