Coarse Grained Retrenchment and the Mondez Denial of Service Attacks
Retrenchment is a framework that allows relatively unre stricted 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 inapplica ble outside some fairly tightly drawn notion of progress towards implementation. In this paper, we introduce a coarse grained version of retrenchment, relating to sys tem behaviours in the large, and exemplify it on the require ments 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
School of Computer Science University of Manchester Manchester, M13 9PL, U.K.
国际会议
天津
英文
103-110
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）