A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD).

Nadia Soudani, Bel G. Raggad, Belhassen Zouari

Browse the full CRiSIS paper archive.