Abstrakt. I detta dokument argumenteras för att utföra informationsflödesbaserad säkerhetsanalys i den första fasen av själva programvaruutvecklingscykeln, dvs. i behovsutvecklingsfasen. Meddelandesekvensdiagram (MSC) har allmänt accepterats som en formell scenariobaserad visuell notation för att skriva ner krav. I detta dokument diskuterar vi en metod för att kontrollera om en TMSC (Trigged Message Sequence Chart), en nyligen rekvisiterad förbättring till klassiska MSCs, satisifes en av de viktigaste informationsflöde egenskaper nämligen non-interference.
Ett tidigare arbete överväger icke-inblandning för Triggered Message Sequence Charts REF.
Secure Requirements Elicitation Through Triggered Message Sequence Charts
{'venue': 'ICDCIT', 'journal': None, 'mag_field_of_study': ['Computer Science']}