Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Formal Methods and Secure Systems Development

Formal Methods and Secure Systems Development
View Free PDF
Author(s): Gurpreet S. Dhillon (University of Nevada, Las Vegas, USA)and Ian Hosein (London School of Economics, UK)
Copyright: 2001
Pages: 6
Source title: Managing Information Technology in a Global Economy
Source Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-930708-07-5.ch124
ISBN13: 9781930708075
EISBN13: 9781466665323


This paper argues that extensive reliance on formal methods to design security for computer based systems within modern business organizations falls short of fulfilling the purpose. The argument is conducted by evaluating various formal methods and reviewing the nature and scope of modern organizations. Since models are abstractions of reality, this paper presents an outline of the necessity conditions, restrictions and the nature and scope of the applicability because of the abstractions.

Body Bottom