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.

• Type: Conference
• Year: 2004
• Where: ICDCIT
• Authors: Arnab Ray, Bikram Sengupta, Rance Cleaveland
• Keywords: ICDCIT 2004, Internet Technology, Message Sequence Chart, Requirements Elicitation Phase, Scenario-based Visual Notation