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 &nbsp

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