Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

Liknande verk

• Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
  av: Agrafiotis, I, et al.
  Publicerad: (2010)
• Applying formal methods to describe the privacy−control requirements in real case−study scenario: emerging ambiguities and proposed solutions
  av: Goldsmith, N
  Publicerad: (2010)
• A Conceptual Model for Privacy Policies with Consent and Revocation Requirements
  av: Mont, M, et al.
  Publicerad: (2011)
• Developing a Strategy for Automated Privacy Testing Suites
  av: Agrafiotis, I, et al.
  Publicerad: (2012)
• Refinement checking for privacy policies.
  av: Papanikolaou, N, et al.
  Publicerad: (2012)