Hazard analysis for security protocol requirements

N Foster; J Jacob

Hazard analysis for security protocol requirements

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper describes a process for the generation and analysis of security protocol requirements. It addresses some of the problems resulting from the inadequacies of present development methods. It is based on a hazard analysis technique which has been developed for safety critical systems engineering. This provides a structured method of analysis of tile requirements whilst avoiding the problems of being too restrictive.

Original language	English
Title of host publication	ADVANCES IN NETWORK AND DISTRIBUTED SYSTEMS SECURITY
Editors	B DeDecker, F Piessens, J Smits, L VanHerrewhen
Place of Publication	NORWELL
Publisher	Kluwer
Pages	75-92
Number of pages	18
ISBN (Print)	0-7923-7558-0
Publication status	Published - 2001
Event	1st Annual Working Conference on Network Security - LEUVEN Duration: 26 Nov 2001 → 27 Nov 2001

Conference

Conference	1st Annual Working Conference on Network Security
City	LEUVEN
Period	26/11/01 → 27/11/01

Keywords

security protocols
software engineering
requirements gathering and analysis
hazard analysis

Cite this

@inproceedings{c422c453b0924a05881a0101999a458b,

title = "Hazard analysis for security protocol requirements",

abstract = "This paper describes a process for the generation and analysis of security protocol requirements. It addresses some of the problems resulting from the inadequacies of present development methods. It is based on a hazard analysis technique which has been developed for safety critical systems engineering. This provides a structured method of analysis of tile requirements whilst avoiding the problems of being too restrictive.",

keywords = "security protocols, software engineering, requirements gathering and analysis, hazard analysis",

author = "N Foster and J Jacob",

year = "2001",

language = "English",

isbn = "0-7923-7558-0",

pages = "75--92",

editor = "B DeDecker and F Piessens and J Smits and L VanHerrewhen",

booktitle = "ADVANCES IN NETWORK AND DISTRIBUTED SYSTEMS SECURITY",

publisher = "Kluwer",

address = "United States",

note = "1st Annual Working Conference on Network Security ; Conference date: 26-11-2001 Through 27-11-2001",

}

TY - GEN

T1 - Hazard analysis for security protocol requirements

AU - Foster, N

AU - Jacob, J

PY - 2001

Y1 - 2001

N2 - This paper describes a process for the generation and analysis of security protocol requirements. It addresses some of the problems resulting from the inadequacies of present development methods. It is based on a hazard analysis technique which has been developed for safety critical systems engineering. This provides a structured method of analysis of tile requirements whilst avoiding the problems of being too restrictive.

AB - This paper describes a process for the generation and analysis of security protocol requirements. It addresses some of the problems resulting from the inadequacies of present development methods. It is based on a hazard analysis technique which has been developed for safety critical systems engineering. This provides a structured method of analysis of tile requirements whilst avoiding the problems of being too restrictive.

KW - security protocols

KW - software engineering

KW - requirements gathering and analysis

KW - hazard analysis

M3 - Conference contribution

SN - 0-7923-7558-0

SP - 75

EP - 92

BT - ADVANCES IN NETWORK AND DISTRIBUTED SYSTEMS SECURITY

A2 - DeDecker, B

A2 - Piessens, F

A2 - Smits, J

A2 - VanHerrewhen, L

PB - Kluwer

CY - NORWELL

T2 - 1st Annual Working Conference on Network Security

Y2 - 26 November 2001 through 27 November 2001

ER -