Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/307.pdf
