Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows

Research output: Contribution to conferencesPaperContributedpeer-review

Contributors

Abstract

This work introduces Information Inference Diagrams (I2Ds), a modeling framework aiming to complement existing approaches for privacy and security analysis of distributed systems. It is intended to support established threat modeling processes. Our approach is designed to be compatible with Data Flow Diagrams (DFDs), which form the basis of many established techniques and tools. Unlike DFDs, I2Ds represent information propagation, going beyond mere data flows to enable more formal reasoning in threat modeling while remaining practical. They define inference and sharing (flow) relations on information items to model how information moves through a system. To this end, we provide formal definitions for information items, entities, and flows. By introducing classes as a type system, our formal rules are both generic and allow conformance to existing vocabularies. We demonstrate the applicability of I2Ds through examples, that showcase their versatility in system analysis.

Details

Original languageEnglish
Pages202-220
Number of pages19
Publication statusPublished - 2025
Peer-reviewedYes

Conference

Title13th Annual Privacy Forum
Abbreviated titleAPF 2025
Conference number13
Duration22 - 23 October 2025
Website
LocationJohann Wolfgang Goethe-Universität Frankfurt am Main & Online
CityFrankfurt am Main
CountryGermany

External IDs

Scopus 105020263422
ORCID /0000-0002-0466-562X/work/198593137

Keywords