A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD) | IEEE Conference Publication | IEEE Xplore