Refinement checking for privacy policies

DOI10.1016/J.SCICO.2011.07.009zbMath1243.68041OpenAlexW1990868876MaRDI QIDQ436427

Michael Goldsmith, Sadie Creese, Nikolaos I. Papanikolaou

Publication date: 20 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.07.009

zbMATH Keywords

model checkingCSPpolicy refinementprivacy policy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Uses Software

• FDR2

Cites Work

• Unnamed Item
• Understanding concurrent systems
• A type system for expressive security policies
• Programming Languages and Systems

This page was built for publication: Refinement checking for privacy policies