Sciweavers

TASE
2009
IEEE

Coarse Grained Retrenchment and the Mondex Denial of Service Attacks

14 years 5 months ago
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model based refinement, whence it emerged, which is inapplicable outside some fairly tightly drawn notion of ‘progress towards implementation’. In this paper, we introduce a ‘coarse grained’ version of retrenchment, relating to system behaviours in the large, and exemplify it on the requirements issues surrounding a Denial of Service case study drawn from the Mondex Purse. We show that the coarse grained retrenchment framework gives a good account of this case study.
Richard Banach
Added 21 May 2010
Updated 21 May 2010
Type Conference
Year 2009
Where TASE
Authors Richard Banach
Comments (0)