254 research outputs found
Access Control Synthesis for Physical Spaces
Access-control requirements for physical spaces, like office buildings and
airports, are best formulated from a global viewpoint in terms of system-wide
requirements. For example, "there is an authorized path to exit the building
from every room." In contrast, individual access-control components, such as
doors and turnstiles, can only enforce local policies, specifying when the
component may open. In practice, the gap between the system-wide, global
requirements and the many local policies is bridged manually, which is tedious,
error-prone, and scales poorly.
We propose a framework to automatically synthesize local access control
policies from a set of global requirements for physical spaces. Our framework
consists of an expressive language to specify both global requirements and
physical spaces, and an algorithm for synthesizing local, attribute-based
policies from the global specification. We empirically demonstrate the
framework's effectiveness on three substantial case studies. The studies
demonstrate that access control synthesis is practical even for complex
physical spaces, such as airports, with many interrelated security
requirements
Reconstructing the Poynting vector skew angle and wave-front of optical vortex beams via two-channel moir\'e deflectometery
A novel approach based on the two-channel moir\'e deflectometry has been used
to measure both wave-front and transverse component of the Poynting vector of
an optical vortex beam. Generated vortex beam by the q-plate, an inhomogeneous
liquid crystal cell, has been analyzed with such technique. The measured
topological charge of generated beams are in an excellent agreement with
theoretical prediction.Comment: 3 pages, 2 figure
Risk Balance in Exchange Protocols
We study the behaviour of rational agents in exchange protocols which rely on trustees. We allow malicious parties to compromise the trustee by paying a cost and, thereby, present a game analysis that advocates exchange protocols which induce balanced risks on the participants. We also present a risk-balanced protocol for fair confidential secret comparison
The Role of Religious Presuppositions and Precomprehensions in Selecting Narratives Related to the Cause of Revelation (Asbab al-Nuzul)
Abstract
The narratives of the cause of revelation (Asbab al-Nuzul) play a decisive role in the interpretation of Quranic verses. On the other hand, when coming across with these narratives, presuppositions, and precomprehensions play an important role in selecting them. This research tries to study the narratives of the cause of revelation in the Tafsir al Munir fi al Aqidah wa al Shariah wa al Manhaj (by Karya Wahbah al Zuhaili) and explain the role of Wahbah al Zuhaili’s religious presuppositions and precomprehensions in selecting narratives related to the cause of revelation (Asbab al-Nuzul). This study uses library research method that has been discussing the subject with a descriptive-analytical approach. This research shows that in many cases, Wahbah al Zuhaili has been influenced by religious presuppositions and precomprehenstion and has used them to develop his interpretative goals.
Keywords: Wahbah al Zuhaili, Tafsir al-Munir, Asbab an-Nuzul
 
Diseño de un seguro de ingresos de toda la granja para cultivos agrícolas en la provincia de Zanjan de Irán
[EN] The purpose of this article is to design and empirically evaluate the Whole Farm Insurance (WFI) over the conventional insurance programs in Zanjan province of Iran. Historical farm-level and county-level data were used to estimate yield and price density functions. Both parametric and non-parametric methods were applied for predicting the future values and the PQH simulation method was utilized to calculate premium rates. Results revealed that loss ratios of the WFI are lower for farmers who insured more than one crop. Additionally, utilizing WFI reduces premiums. Moreover, premiums obtained from nonparametric method are relatively lower compared to the parametric approach.[ES] El propósito de este artículo es diseñar y evaluar empíricamente el Seguro Agrario Integral (SAI) con respecto a los programas de seguros convencionales en la provincia de Zanjan de Irán. Se usaron datos históricos a nivel de explotación y de comarca para estimar las funciones de rendimiento y de densidad de precios. Se aplicaron métodos paramétricos y no paramétricos para predecir los valores futuros y se utilizó el método de simulación SAI para calcular las tasas de primas. Los resultados revelaron que los índices de pérdida del SAI son más bajos para los agricultores que aseguraron más de un cultivo. Además, la utilización del SAI reduce las primas. Las primas obtenidas del método no paramétrico son relativamente más bajas en comparación con el enfoque paramétrico.Ghahremanzadeh, M.; Mohammadrezaei, R.; Dashti, G.; Ainollahi, M. (2018). Designing a whole-farm revenue insurance for agricultural crops in Zanjan province of Iran. Economía Agraria y Recursos Naturales - Agricultural and Resource Economics. 17(2):29-53. doi:10.7201/earn.2017.02.02SWORD295317
- …