Search Results for author:
Found 5 papers, 0 papers with code
A Multidisciplinary Definition of Privacy Labels: The Story of Princess Privacy and the Seven Helpers
Privacy is currently in distress and in need of rescue, much like princesses in the all-familiar fairytales.
Cryptography and Security Computers and Society
A Web-Based Tool for Analysing Normative Documents in English
Our goal is to use formal methods to analyse normative documents written in English, such as privacy policies and service-level agreements.
Extracting Formal Models from Normative Texts
We are concerned with the analysis of normative texts - documents based on the deontic notions of obligation, permission, and prohibition.
Extracting Formal Models from Normative Texts
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition.
A CNL for Contract-Oriented Diagrams
We present a first step towards a framework for defining and manipulating normative documents or contracts described as Contract-Oriented (C-O) Diagrams.
