Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (Q5172635)
From MaRDI portal
scientific article; zbMATH DE number 6397670
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications |
scientific article; zbMATH DE number 6397670 |
Statements
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (English)
0 references
4 February 2015
0 references
abstract interpretation
0 references
privacy
0 references
information-flow analysis
0 references
