Abstract. This paper argues for performing information-flow-based security analysis in the first phase of 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.
A former work considers non-interference for Triggered Message Sequence Charts REF .
Secure Requirements Elicitation Through Triggered Message Sequence Charts
ICDCIT
Computer Science