Design and semantics of a decentralized authorization language

We present a declarative authorization language that strikes a careful balance between syntactic and semantic simplicity, policy expressiveness, and execution efficiency. The syntax is close to natural language, and the semantics consists of just three deduction rules. The language can express many common policy idioms using constraints, controlled delegation, recursive predicates, and negated queries. We describe an execution strategy based on translation to Datalog with Constraints, and table-based resolution. We show that this execution strategy is sound, complete, and always terminates, despite recursion and negation, as long as simple syntactic conditions are met

Concurrent constraint programming with process mobility

We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purpose, we first investigate a "pure " paradigm for process migration, namely a paradigm where the only actions are those dealing with transmissions of processes. Our goal is to give a structural definition of the semantics of migration; namely, we want to describe the behaviour of the system, during the transmission of a process, in terms of the behaviour of the components. We achieve this goal by using a labeled transition system where the effects of sending a process, and requesting a process, are modeled by symmetric rules (similar to handshaking-rules for synchronous communication) between the two partner nodes in the network. Next, we extend our paradigm with the primitives of concurrent constraint programming, and we show how to enrich the semantics to cope with the notions of environment and constraint store. Finally, we show how the operational semantics can be used to define an interpreter for the basic calculus.

Cryptographically Secure Information Flow Control on Key-Value Stores

We present Clio, an information flow control (IFC) system that transparently incorporates cryptography to enforce confidentiality and integrity policies on untrusted storage. Clio insulates developers from explicitly manipulating keys and cryptographic primitives by leveraging the policy language of the IFC system to automatically use the appropriate keys and correct cryptographic operations. We prove that Clio is secure with a novel proof technique that is based on a proof style from cryptography together with standard programming languages results. We present a prototype Clio implementation and a case study that demonstrates Clio's practicality.Comment: Full version of conference paper appearing in CCS 201

Orchestrating Tuple-based Languages

The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

Thermographic imaging in sports and exercise medicine: A Delphi study and consensus statement on the measurement of human skin temperature

This is an accepted manuscript of an article published by Elsevier in Journal of Thermal Biology on 18/07/2017, available online: https://doi.org/10.1016/j.jtherbio.2017.07.006 The accepted version of the publication may differ from the final published version.© 2017 Elsevier Ltd The importance of using infrared thermography (IRT) to assess skin temperature (tsk) is increasing in clinical settings. Recently, its use has been increasing in sports and exercise medicine; however, no consensus guideline exists to address the methods for collecting data in such situations. The aim of this study was to develop a checklist for the collection of tsk using IRT in sports and exercise medicine. We carried out a Delphi study to set a checklist based on consensus agreement from leading experts in the field. Panelists (n  =  24) representing the areas of sport science (n = 8; 33%), physiology (n = 7; 29%), physiotherapy (n = 3; 13%) and medicine (n = 6; 25%), from 13 different countries completed the Delphi process. An initial list of 16 points was proposed which was rated and commented on by panelists in three rounds of anonymous surveys following a standard Delphi procedure. The panel reached consensus on 15 items which encompassed the participants’ demographic information, camera/room or environment setup and recording/analysis of tsk using IRT. The results of the Delphi produced the checklist entitled “Thermographic Imaging in Sports and Exercise Medicine (TISEM)” which is a proposal to standardize the collection and analysis of tsk data using IRT. It is intended that the TISEM can also be applied to evaluate bias in thermographic studies and to guide practitioners in the use of this technique.Published versio

Intermittent dislocation flow in viscoplastic deformation

The viscoplastic deformation (creep) of crystalline materials under constant stress involves the motion of a large number of interacting dislocations. Analytical methods and sophisticated `dislocation-dynamics' simulations have proved very effective in the study of dislocation patterning, and have led to macroscopic constitutive laws of plastic deformation. Yet, a statistical analysis of the dynamics of an assembly of interacting dislocations has not hitherto been performed. Here we report acoustic emission measurements on stressed ice single crystals, the results of which indicate that dislocations move in a scale-free intermittent fashion. This result is confirmed by numerical simulations of a model of interacting dislocations that successfully reproduces the main features of the experiment. We find that dislocations generate a slowly evolving configuration landscape which coexists with rapid collective rearrangements. These rearrangements involve a comparatively small fraction of the dislocations and lead to an intermittent behavior of the net plastic response. This basic dynamical picture appears to be a generic feature in the deformation of many other materials. Moreover, it should provide a framework for discussing fundamental aspects of plasticity, that goes beyond standard mean-field approaches that see plastic deformation as a smooth laminar flow