Sciweavers

ICDCIT
2004
Springer

Secure Requirements Elicitation Through Triggered Message Sequence Charts

13 years 11 months ago
Secure Requirements Elicitation Through Triggered Message Sequence Charts
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicitation phase. Message Sequence Charts (MSC)s have been widely accepted as a formal scenario-based visual notation for writing down requirements. In this paper, we discuss a method for checking if a TMSC (Triggered Message Sequence Chart), a recently propsed enhancement to classical MSCs, satisifes one of the most important information flow properties namely non-interference.
Arnab Ray, Bikram Sengupta, Rance Cleaveland
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICDCIT
Authors Arnab Ray, Bikram Sengupta, Rance Cleaveland
Comments (0)