1. Guest Editorial: Requirements Engineering for Information Security

   • Annie I. Antón

   Editorial Pages: 177 - 178

2. Authorisation Requirements on a Budget

   • Darrell Raymond

   Original Article Pages: 179 - 191

3. An Approach to Security Requirements Engineering for a High Assurance System^*

   • Cynthia E. Irvine
   • Timothy Levin
   • Barbara Pereira

   Original Article Pages: 192 - 206

4. A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System

   • Guy Helmer
   • Johnny Wong
   • Robyn Lutz

   Original Article Pages: 207 - 220

5. Guest Editorial: Special Issue on Model Checking in Requirements Engineering

   • Steve Easterbrook
   • Marsha Chechik

   Editorial Pages: 221 - 224

6. Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints

   • Yunja Choi
   • Sanjai Rayadurgam
   • Mats P.E. Heimdahl

   Original Article Pages: 225 - 242

7. Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts

   • Rik Eshuis
   • David N. Jansen
   • Roel Wieringa

   Original Article Pages: 243 - 263

8. Automatically Detecting and Visualising Errors in UML Diagrams

   • Laura A. Campbell
   • Betty H. C. Cheng
   • R. E. K. Stirewalt

   Original Article Pages: 264 - 287