GUPEA >
Student essays / Studentuppsatser >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Masteruppsatser >

A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/53077

Files in This Item:

File Description SizeFormat
gupea_2077_53077_1.pdf3486KbAdobe PDF
View/Open
Title: A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams
Other Titles: A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams
Authors: Rahman, Mushfiqur
Issue Date: 12-Jul-2017
Degree: Student essay
Keywords: privacy policy
verification
privacy by design
data flow diagrams
privacy-aware data flow diagrams
Petri nets
Abstract: Privacy of personal data in information systems is gaining importance rapidly. Although data flow diagrams (DFDs) are commonly used for designing information systems, they do not have appropriate elements to address privacy of personal data. Privacy-aware data flow diagrams (PA-DFDs) were introduced recently to tackle this issue. However, they lack the concrete semantics to be formally verifiable. On the other hand, Petri net is a well-known mathematical modeling language that has all the necess... more
URI: http://hdl.handle.net/2077/53077
Appears in Collections:Masteruppsatser

 

 

© Göteborgs universitet 2011