Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

Схожие документы

• Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
  по: Agrafiotis, I, и др.
  Опубликовано: (2010)
• Applying formal methods to describe the privacy−control requirements in real case−study scenario: emerging ambiguities and proposed solutions
  по: Goldsmith, N
  Опубликовано: (2010)
• A Conceptual Model for Privacy Policies with Consent and Revocation Requirements
  по: Mont, M, и др.
  Опубликовано: (2011)
• Developing a Strategy for Automated Privacy Testing Suites
  по: Agrafiotis, I, и др.
  Опубликовано: (2012)
• Refinement checking for privacy policies.
  по: Papanikolaou, N, и др.
  Опубликовано: (2012)