Toggle Main Menu Toggle Search

Open Access padlockePrints

A Methodology for Analysing Human and Computer-related Issues in Secure Systems

Lookup NU author(s): Emeritus Professor John Dobson



The paper describes work being carried out a the Universities of Newcastle and York which is developing conceptual and logical models of non-functional requirements such as 'security', whose meaning derives from the organisational environment of a computer system. The work brings together two novel approaches to the problem of deciding whether or not a system is 'secure': (i) a recently-developed framework based on enterprise modelling principles for evaluating whether a system is fit for its purpose in some given organisational context; ande (ii) a logic based on speech act theory for evaluating the conversation structures in which the term 'secure' is defined and ascribed as a property of a computing system.

Publication metadata

Author(s): Dobson JE

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1990

Pages: 26

Print publication date: 01/03/1990

Source Publication Date: March 1990

Report Number: 307

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne