Modelling and analysis of normative documents

Camilleri, John J.; Schneider, Gerardo

doi:10.1016/j.jlamp.2017.05.002

Cited by 10 publications

(7 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“… One starting point for research and tools relevant for translating between privacy policies and privacy labels can be found in the area of logical/legal reasoning and controlled natural languages. One of the more advanced tools is the Contract Verifier [11] (Camilleri and Schneider, 2017; Camilleri et al , 2018), using several different technologies and off-the-shelve tools (see architecture in Figure 4), and taking input a normative document written in English, such as a privacy policy. Using a standard natural language parser for English (e.g.…”

Section: Automation and Tools For Creating Privacy Labelsmentioning

confidence: 99%

A multidisciplinary definition of privacy labels

Johansen¹,

Pedersen²,

Fischer‐Hübner³

et al. 2022

ICS

Self Cite

View full text Add to dashboard Cite

Purpose This paper aims to present arguments about how a complex concept of privacy labeling can be a solution to the current state of privacy. Design/methodology/approach The authors give a precise definition of Privacy Labeling (PL), painting a panoptic portrait from seven different perspectives: Business, Legal, Regulatory, Usability and Human Factors, Educative, Technological and Multidisciplinary. They describe a common vision, proposing several important “traits of character” of PL as well as identifying “undeveloped potentialities”, i.e. open problems on which the community can focus. Findings This position paper identifies the stakeholders of the PL and their needs with regard to privacy, describing how PL should be and look like to address these needs. Main aspects considered are the PL’s educational power to change people’s knowledge of privacy, tools useful for constructing PL and the possible visual appearances of PL. They also identify how the present landscape of privacy certifications could be improved by PL. Originality/value The authors adopt a multidisciplinary approach to defining PL as well as give guidelines in the form of goals, characteristics, open problems, starting points and a roadmap for creating the ideal PL.

show abstract

Section: Automation and Tools For Creating Privacy Labelsmentioning

confidence: 99%

A multidisciplinary definition of privacy labels

Johansen¹,

Pedersen²,

Fischer‐Hübner³

et al. 2022

ICS

Self Cite

View full text Add to dashboard Cite

show abstract

“…When a contract is made for translating regulatory documents, there is an absolute requirement for the quality of the translated documents, which is based on translation strategy and methods. So, before a contract is signed, it seems reasonable to learn about the specialization of the company's translators and study the reviews of this company's customers [7].…”

Section: Organizing the Purchasing Process Of Regulatory Documents Tomentioning

confidence: 99%

Improving regulatory support and information security in an industrial enterprise

Emelianova

Kliuchareva

Kolesnichenko-Yanushev

et al. 2020

E3S Web Conf.

View full text Add to dashboard Cite

The existing regulatory documents in the field of standardization set general requirements for information support of organizational-technical systems with not enough attention being paid to regulatory support in industrial enterprises. The problems of information support arise when the existing international standards are being adapted to the local conditions of production. This research study is aimed at substantiating and proposing rational processes for effective information support of industrial enterprises’ activities. In order to substantiate the results of this study and to prepare the materials suggested in the paper, the following scientific methods were used: analysis and best practices in applying standardization regulatory documents, observance and gathering of facts concerning information protection from unauthorized access; risks related to the lack of an effective information support system in an enterprise are formulated and summarized. As a result of the conducted research study, the following ones are proposed: an effective process for achieving synchronized financing of purchases of regulatory documents; conditions are summarized and proposed for effective contractual work in terms of the purchase and application of regulatory documents; system problems arising in the course of development (approval, application) of company (enterprise) standards were analyzed and ways to minimize related risks were suggested;

show abstract

“…Clauses can be constrained by temporal restrictions or guarded based on the status of other clauses. This formalism, which is based on C-O Diagrams [16], is described fully in [10].…”

Section: Conversion To Contract Modelmentioning

confidence: 99%

“…Processing semantic queries is achieved through using model checking techniques, by first converting a contract model into a network of timed automata [1] and then using the Uppaal tool [15] to verify temporal properties against the translated model. This idea was introduced for C-O Diagrams in [12]; the details of our own translation can be found in [10]. By using verification, we are able to quantify over all possible sequences of events with respect to the contract.…”

Section: Semanticmentioning

confidence: 99%

“…This includes answering queries based on a syntactic traversal of the model, as well as using model-checking to verify temporal properties, by converting the model to a timed automata representation. Each of the components required for this have been described individually in previous works by the current authors [8,9,10]. This paper presents a new web-based tool for the analysis of normative texts in English, bringing each of these components together into a single interface.…”

mentioning

confidence: 99%

See 1 more Smart Citation

A web-based tool for analysing normative documents in english

Camilleri

Haghshenas²,

Schneider

2018

Proceedings of the 33rd Annual ACM Symposium on Applied Computing

Self Cite

View full text Add to dashboard Cite

Our goal is to use formal methods to analyse normative documents written in English, such as privacy policies and service-level agreements. This requires the combination of a number of different elements, including information extraction from natural language, formal languages for model representation, and an interface for property specification and verification. We have worked on a collection of components for this task: a natural language extraction tool, a suitable formalism for representing such documents, an interface for building models in this formalism, and methods for answering queries asked of a given model. In this work, each of these concerns is brought together in a web-based tool, providing a single interface for analysing normative texts in English. Through the use of a running example, we describe each component and demonstrate the workflow established by our tool.

show abstract

Modelling and analysis of normative documents

Cited by 10 publications

References 4 publications

A multidisciplinary definition of privacy labels

A multidisciplinary definition of privacy labels

Improving regulatory support and information security in an industrial enterprise

A web-based tool for analysing normative documents in english

Contact Info

Product

Resources

About