Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

DOI10.1007/978-3-662-46081-8_4zbMath1432.68131OpenAlexW28659641MaRDI QIDQ5172635

Marco Pistoia, Omer Tripp, Pietro Ferrara, Agostino Cortesi

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_4

zbMATH Keywords

privacyabstract interpretationinformation-flow analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Privacy of data (68P27)

Related Items (3)

Constructing independently verifiable privacy-compliant type systems for message passing between black-box components ⋮ Secure information flow connections ⋮ Only connect, securely

Uses Software

• FunArray

This page was built for publication: Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications