2,117 research outputs found
Advancing Orchestration Synthesis for Contract Automata - Complementary Material
No full text<p>This repository contains the complementary material for the paper "Advancing Orchestration Synthesis for Contract Automata" by Davide Basile and Maurice H. ter Beek, published in the Journal of Logical and Algebraic Methods in Programming. </p>
<p>This repository contains:</p>
<ul>
<li>a snapshot of the repository https://github.com/contractautomataproject/ContractAutomataLib/tree/953b9167070842f767f85d227df9235f7a7dca6d (the contract automata library implementing the splitting orchestration synthesis),</li>
<li>a snapshot of the repository https://github.com/contractautomataproject/jlampIce2023experiments/tree/c5fb9dee3059800188c99eb8484e1b55b96b6410 (the code used for the experiments in the paper),</li>
<li>an archive containing the automata of the other examples used in the paper.</li>
</ul>
Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect - Complementary Data
No full textThis repository contains the UMC and SPARX-EA data used in the paper:
Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect
by Davide Basile, Franco Mazzanti and Alessio Ferrari,
submitted at the conference FMICS 2023
A Formal Model of Security Capabilities towards Vendor-Agnostic Channel Protection
No full textThis paper presents the Capability Model - Channel Protection (CM-CP), a formal model to abstract the security capabilities of channel protection implementations. Using a Model-Driven Engineering approach, this model forms the basis of a generic policy translator, which converts secure communication policies, written in a vendor-agnostic language, into low-level configurations for specific implementations (known as Security Controls or Network Security Functions). As a result, network administrators can conceive these policies without acknowledging the underlying technologies, thus reducing the potential for errors arising from human intervention. The effectiveness of this work was validated with three state-of-the-art open-source Security Controls: XFRM, StrongSwan, and OpenVPN. As a result, the model's expressiveness and capacity to address concrete requirements for secure channel scenarios are verified
A methodology to assess pedestrian crossing safety
No full textPurpose: The safety level of a pedestrian crossing is affected by infrastructure characteristics and vehicular and pedestrian traffic level. This paper presents a methodology that allows assessing the safety level of a pedestrian crossing, regulated or not by traffic light, in an urban area according to the features of the crossing. Methods: A hierarchical structure representing factors influencing crossing safety has been developed and the relative contributions of each factor were calculated using AHP method. A composite index for crossing safety and specific indexes for main aspects included in the assessment have been developed. Results: Main assessment aspects are: Spatial and Temporal Design, Day-time and Night-time Visibility and Accessibility. Night-time Visibility resulted to have the higher weight (about 41%). Conclusion: Developed indexes allow ranking of pedestrian crossings and assigning intervention priorities, highlighting the aspects which are to be enhanced. The methodology has been used for the evaluation of 215 pedestrian crossings in 17 European cities for the Pedestrian Crossing Assessment Project co-financed by FIA Foundation. © 2010 The Author(s)
Recommended from our members
National boundaries and the location of multinational firms in Europe
No full textUsing data on 5,102 subsidiaries established in the period 1991–1999, we examine the location choice of multinational firms of different nationalities in 47 regions of five EU countries. In particular we estimate a nested logit model and find that European multinationals consider regions across different countries as relatively closer substitutes than regions within national borders. This is consistent with the hypothesis that European regions compete to attract foreign direct investments relatively more across than within countries. However, in line with previous studies, we also find that national boundaries still play some role in choices made by non-European multinationals
EXPLORATORY INNOVATION: INTERPLAY BETWEEN SEARCH, ORGANIZATIONAL CONTEXT AND PERFORMANCE
No full textA formal framework for secure and complying services
No full textInternet is offering a variety of services that are assembled to accomplish
requests made by clients. While serving a request, security of the communications and
of the data exchanged among services is crucial. Since communications occur along
specific channels, it is equally important to guarantee that the interactions between a
client and a server never get blocked because either cannot access a selected channel.
We address here both these problems, from a formal point of view. A static analysis is
presented, guaranteeing that a composition of a client and of possibly nested services
respects both security policies for access control, and compliance between clients and
servers
La localizzazione delle imprese multinazionali in Europa: il ruolo delle politiche dell’UE e le peculiarità dell’Italia
No full textLa localizzazione delle imprese multinazionali in Europa: il ruolo delle politiche dell’UE e le peculiarità dell’Italia”
No full text- …
