Boyland’s original work on fractional permissions introduced a mechanism to statically reason about the correct use of shared memory in concurrent programs. Permissions are linear capabilities that can be passed from one task to another. By splitting a permission into fractions, a task can grant multiple other tasks concurrent read access. Because writing data requires the full permission– and ...

Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confidence in one type of action achieving the same goal than in other. We give a logic handling this type of ramification, and present a complete axiomatization. The recent work offers an extension of the Dynamic Logic of Per...

Our goal is to formalize what "having the permission to say" means. We adapt the dynamic logic of permission considered by van der Meyden in the particular case where atomic actions are public and truthful announcements. Hence, we extend the logic of public announcements introduced by Plaza, that enables us to express the ways agents update their knowledge after public and truthful announcement...

With the expansion of the market share occupied by the Android platform, security issues (especially application security) have become attention focus of researchers. In fact, the existing methods lack the capabilities to manage application permissions without root privilege. This study proposes a dynamic management mechanism of Android application permissions based on security policies. The pa...

this research considers whenever husband's permission is necessary in islam jurisprudence. there are many traditionsabout this subject. these traditionsexpress that woman is obliged to get permission from her husband to do some religious act recommended such as fasting, pilgrimage,aitkafand other daily affairs such as leaving home, vow and so on.therefore,it is necessary to examine the imp...