A theory of permission based on the notion of derogation

Stolpe, Audun

doi:10.1016/j.jal.2010.01.001

Cited by 40 publications

(29 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For instance, PO-Spec models permission as derogation (Stolpe, 2010): a permission may suspend a more general obligation.…”

Section: Attacks Incorporating Modalitiesmentioning

confidence: 99%

Sequent-based logical argumentation

Arieli¹,

Straßer²

2015

Argument & Computation

View full text Add to dashboard Cite

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations (including those that reflect relevance or quantitative considerations), and is faithful to standard methods of drawing conclusions by argumentation frameworks. Altogether, we show that argumentation theory may benefit from incorporating proof theoretical techniques and that different non-classical formalisms may be used for backing up intended argumentation semantics.

show abstract

“…For instance, PO-Spec models permission as derogation (Stolpe, 2010): a permission may suspend a more general obligation.…”

Section: Attacks Incorporating Modalitiesmentioning

confidence: 99%

Sequent-based logical argumentation

Arieli¹,

Straßer²

2015

Argument & Computation

View full text Add to dashboard Cite

show abstract

“…In our example above, this would lead to the derivability of the permission ¬out¬s detached at line 7 in the proof, whereas the obligation out¬s at line 6 is not derivable. Prioritizing permissions in this way gives us a concept that is similar to Stolpe's notion of 'permission as derogation' [43]. We return to this point in Section 5.3 where we discuss prioritized norms.…”

Section: Permissions By Defaultmentioning

confidence: 98%

“…The reason why the original (constrained) I/O functions are suboptimal for the explication of defeasible reasoning in this context is due to the undecidability of predicate logic: there is no effective way to perform the consistency check that is necessary to calculate the maxfamilies. 43 The dynamic proof theory of ALs comes in handy since it doesn't force us to make consistency checks 'on the spot'. Instead, we can defeasibly assume that a set of conditionals is consistent.…”

Section: Prioritiesmentioning

confidence: 99%

“…1 I/O logics have been used e.g. to model various types of permissions [31,43], to capture the dynamics of normative systems and regulations [13], and to formalize reasoning with contrary-toduty obligations [32]. 2 Technically speaking, I/O logics (without constraints, cf.…”

Section: Introductionmentioning

confidence: 99%

“…In this paper we will focus on I/O logics that have an adequate axiomatic representation. It should be noted that although for many I/O logics presented in the literature there is a known sound and complete axiomatization, there are exceptions such as [43].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Adaptive Logic Characterizations of Input/Output Logic

2016

View full text Add to dashboard Cite

Abstract.We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a prooftheoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.

show abstract

Privacy issues of android application permissions: A literature review

Shrivastava

Kumar

Gupta

et al. 2019

Trans Emerging Tel Tech

View full text Add to dashboard Cite

Android is an application platform for mobile devices. It comprises of the operating system, software framework, and core programs. This platform uses permissions to hide precious information about the user from untrusted apps. However, to install an application, device feature uses permissions that are granted by the user. User has the ability to analyze permissions and abort the setup if the permissions are unfriendly or unrestrained. Android permission analysis schemes show a significant role to fight against these undesirable behaviors of untrusted android apps in the aspect of security and privacy. This survey attempts to deal with the android application permissions that are related security and privacy challenges. It includes various research articles published in computers and security, digital investigation, decision support systems, systems and software security, and information forensics journals in the last 10 years. The survey is based on the following considerations: research issues motivated by the scheme, the methodology used, ability of result analysis conducted, and android features considered for performance evaluation.

show abstract

A theory of permission based on the notion of derogation

Cited by 40 publications

References 20 publications

Sequent-based logical argumentation

Sequent-based logical argumentation

Adaptive Logic Characterizations of Input/Output Logic

Privacy issues of android application permissions: A literature review

Contact Info

Product

Resources

About