Combining behavioural types with security analysis

Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems. This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties

On the Economics and Biology of Trust

In recent years, many social scientists have claimed that trust plays an important role in economic and social transactions. Despite its proposed importance, the measurement and the definition of trust seem to be not fully settled, and the identification of the exact role of trust in economic interactions has proven to be elusive. It is still not clear whether trust is just an epiphenomenon of good institutions or whether it plays an independent causal role capable of shaping important aggregate economic outcomes. In this paper, I rely on a behavioral definition of trust that enables us to relate it to economic primitives such as preferences and beliefs. I review strong biological and behavioral evidence indicating that trusting is not just a special case of risk-taking, but based on important forms of social preferences such as betrayal aversion. Behaviorally defined trust also opens the door for understanding national and ethnic trust differences in terms of differences in preferences and beliefs, and it suggests ways to examine and interpret a causal role of trust.trust, preferences, beliefs, biological basis

Agricultural Producer Cooperatives as Strategic Alliances

In this paper we examine the linkages between four bodies of business-to-business relationship theory (transaction cost analysis, the resource-based theory of the firm (RBV), social network theory and theories of trust and cooperation) to the design and governance of agricultural cooperatives. Defining a cooperative broadly as any type of alliance formed by producers for their mutual benefit, we base the discussion on three types of cooperative; traditional, "new generation" and learning networks. Our main focus is on cooperatives as an alliance between members, but we also discuss alliances between cooperatives We find that there is a gap in the literature relating to the analysis of alliances with more than two members (such as cooperatives), so the linkages between the theories and cooperative types must be seen as being somewhat tentative. We hypothesise that the RBV, social network theory and trust and cooperation theories are in fact, applicable to multiple-member alliances, but their relevance is likely to become less as the number of members increase.agricultural cooperatives, strategic alliances, transaction cost analysis, the resource-based view, social network theory, trust and cooperation, new generation cooperatives, learning networks., Agribusiness,

Distributed service‐level agreement management with smart contracts and blockchain

The current cloud market is dominated by a few providers, which offer cloud services in a take‐it‐or‐leave‐it manner. However, the dynamism and uncertainty of cloud environments may require the change over time of both application requirements and service capabilities. The current service‐level agreement (SLA) management solutions cannot easily guarantee a trustworthy, distributed SLA adaptation due to the centralized authority of the cloud provider who could also misbehave to pursue individual goals. To address the above issues, we propose a novel SLA management framework, which facilitates the specification and enforcement of dynamic SLAs that enable one to describe how, and under which conditions, the offered service level can change over time. The proposed framework relies on a two‐level blockchain architecture. At the first level, the smart SLA is transformed into a smart contract that dynamically guides service provisioning. At the second level, a permissioned blockchain is built through a federation of monitoring entities to generate objective measurements for the smart SLA/contract assessment. The scalability of this permissioned blockchain is also thoroughly evaluated. The proposed framework enables creating open distributed clouds, which offer manageable and dynamic services, and facilitates cost reduction for cloud consumers, while it increases flexibility in resource management and trust in the offered cloud services

The role of trust in financial sector development

In any economic environment where decisions are decentralized, agents consider the risk that others might unfairly exploit informational asymmetries to their own disadvantage. Incomplete results, especially, lies at the heart of financial transactions in which agents trade real claims for promises of future real claims. Agents thus need to invest considerable resources to assess the trustworthiness of others with whom they know they can interact only under conditions of limited and asymmetrically distributed information. Thinking of finance as the complex of institutions and instruments needed to reduce the cost of trading promises among anonymous individuals who do not fully trust each other, the author analyzes how incomplete trust shapes the transaction costs in trading assets, and how it affects resource allocation and pricing decisions from rational, forward-looking agents. His analysis leads to core propositions about the role of finance and financial efficiency in economic development. He recommends areas of financial sector reform in emerging economies aimed at improving the financial system's efficiency in dealing with incomplete trust. Among other things, the public sector can improve trust in finance by improving financial infrastructure, including legal systems, financial regulation, and security in payment and trading systems. But fundamental improvements in financial efficiency may best be gained by eliciting good conduct through market forces.Payment Systems&Infrastructure,Economic Theory&Research,Environmental Economics&Policies,International Terrorism&Counterterrorism,Decentralization,Economic Theory&Research,Environmental Economics&Policies,International Terrorism&Counterterrorism,Banks&Banking Reform,Insurance&Risk Mitigation

The Strawberry Growth Underneath the Nettle: the emergence of entrepreneurs in China

Chinese entrepreneurs innovatively manage organisations in the absence of strong economic institutions, under conditions of high environmental and technological uncertainty. This paper presents the findings of an empirical study designed to investigate how Chinese entrepreneurs can be successful in such an environment. We found that Chinese entrepreneurial activity relies on social institutions rather than on economic institutions. We offer a sociological theory which explains why the reliance on social institutions leads to such an unprecedented success. We conclude that the strong rule-enforcement mechanisms generate reliable behavioral patterns, and that these in turn efficiently reduce uncertainty to tolerable levels.networks;social capital;evolutionary economics;Comparative business systems;private sector in China

Managing Triads in a Military Avionics Service Maintenance Network in Taiwan

Purpose – The purpose of this paper is to investigate how different types of triad structures, and the management mechanisms adopted by the focal company, affect cooperative performance. Design/methodology/approach – This paper uses a social network perspective to examine the triad management phenomenon in the military avionics maintenance context, which is closely associated with the field of operations management. Findings – This paper demonstrates that different triad structures and management mechanisms influence perceived cooperative performance. Four main findings emerged: in a triad, a firm playing a bridging role perceives higher cooperative performance than when playing a peripheral role in the triad or being located in a fully connected triad. When a firm plays the bridging role in a triad, and has a high level of trust, this leads to higher perceived cooperative performance. When a firm plays a peripheral role in a triad, high levels of coordination mechanism combined with high levels of trust result in higher levels of perceived cooperative performance. In a fully linked triad, when the coordination mechanism is well developed, the level of trust is high, so that the resulting level of perceived cooperation is high. Originality/value – This paper extends the knowledge of triad management by providing an in-depth study of a well-defined network setting with exceptionally high-level access to the most senior executives. In practice, this paper shows how to manage differen