By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Nadia Soudain ; LIP2 laboratory, FST, University El Manar, Tunisia ; Bel G Raggad ; Beihassen Zouari

Data flow diagram (DFD) is a methodology which can be applied to design an information system and even the behaviour of a whole organization. It has the advantages of simplicity and popularity by using simple notations. But, it is semi formal which means it lacks representation of semantics. Also, it doesn 't consider security features of the system. In, this paper, we describe our new proposed methodology called FSDFD (formal secure data flow diagram). The idea of this proposal has been born from an increasing need of organizations to secure their information systems by making a secure and a formal design of each information system component. FSDFD will not only design formally more secured systems but also it will automate some security activities like security audit, risk analysis and vulnerability assessment. Use of FSDFD will so let organizations reduce both supported risk and security costs and improve security and assurance levels of their system.

Published in:

Risks and Security of Internet and Systems (CRiSIS), 2009 Fourth International Conference on

Date of Conference:

19-22 Oct. 2009