Results 11 to 20 of about 17,793,711 (295)
Therapeutic abortion in Iran: an epidemiologic study of legal abortion in 2 years
Objectives Unsafe abortion is one of the most important causes of death and disability among mothers in countries where abortion is illegal. These conditions have changed since then.
Seyed Amirhosein Mahdavi +4 more
doaj +1 more source
The article dwells upon the main problems of granting permission for the right to use tax benefits by enterprises of public organizations of persons with disabilities, related to the procedure for giving such approval, analysis, and control over the ...
Teriukhanova I. M.
doaj +1 more source
Freedom of Assembly and Procession, Principle 27, Constitution, Permit System, Notification System [PDF]
IntroductionThe freedom of assembly and procession is a fundamental civil and political right recognized in numerous human rights documents and legal systems, including that of the Islamic Republic of Iran (IRI).
Mohammad Mahdifar, Faezeh Rafatnejad
doaj +1 more source
Tableaux for some deontic logics with the explicit permission operator
In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved.
Daniela Glavaničová +3 more
doaj +1 more source
Permission delegation has become a new way for data sharing by delegating the authorized permission to other users. A flexible authorization model with strict access control policies is promising for electronic health record (EHR) sharing with security ...
Ya Gao +3 more
doaj +1 more source
Deprivation of “right” and restriction of “permission rule” in the Iranian legal system [PDF]
The majority of the lawyers hold that the ability of waiver is one of the affiliations of the rights and any owner of the right is entitled to waive it.
hamed khubyari
doaj +1 more source
An Automatically Verified Prototype of the Android Permissions System
Abstract In a previous work De Luca and Luna presented formal specifications of idealized formulations of the permission model of Android in the Coq proof assistant. This formal development is about 23 KLOC of Coq code, including proofs. This work aims at showing that {log} (‘setlog’)---a satisfiability solver and a constraint logic programming
Claudia Frydman +2 more
openaire +3 more sources
Proxy Re-Encryption Scheme for Decentralized Storage Networks
Storage is a promising application for permission-less blockchains. Before blockchain, cloud storage was hosted by a trusted service provider. The centralized system controls the permission of the data access. In web3, users own their data.
Jia Kan, Jie Zhang, Dawei Liu, Xin Huang
doaj +1 more source
Permissions and obligations in hierarchical normative systems [PDF]
In this paper we discuss different types of permissions and their roles in deontic logic. We study the distinction between weak and strong permissions in the context of input/output logic, combining the logic with constraints, priorities and hierarchies of normative authorities.
BOELLA, Guido, L. W. N. van der Torre
openaire +3 more sources
A Fine-Grained Multi-Tenant Permission Management Framework for SDN and NFV
Although software defined network (SDN) has been widely recognized for several years, it still has not addressed security issues regarding permission management on SDN controller, one lack of which is the effective permission allocation of application ...
Deqing Zou +4 more
doaj +1 more source

