Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions

The concept of dynamic coalitions (also virtual organizations) describes the temporary interconnection of autonomous agents, who share information or resources in order to achieve a common goal. Through modern technologies these coalitions may form across company, organization and system borders. Therefor questions of access control and security are of vital significance for the architectures supporting these coalitions. In this paper, we present our first steps to reach a formal framework for modeling and verifying the design of privacy-sensitive dynamic coalition infrastructures and their processes. In order to do so we extend existing dynamic coalition modeling approaches with an access-control-concept, which manages access to information through policies. Furthermore we regard the processes underlying these coalitions and present first works in formalizing these processes. As a result of the present paper we illustrate the usefulness of the Abstract State Machine (ASM) method for this task. We demonstrate a formal treatment of privacy-sensitive dynamic coalitions by two example ASMs which model certain access control situations. A logical consideration of these ASMs can lead to a better understanding and a verification of the ASMs according to the aspired specification.Comment: In Proceedings FAVO 2011, arXiv:1204.579

“An ethnographic seduction”: how qualitative research and Agent-based models can benefit each other

We provide a general analytical framework for empirically informed agent-based simulations. This methodology provides present-day agent-based models with a sound and proper insight as to the behavior of social agents — an insight that statistical data often fall short of providing at least at a micro level and for hidden and sensitive populations. In the other direction, simulations can provide qualitative researchers in sociology, anthropology and other fields with valuable tools for: (a) testing the consistency and pushing the boundaries, of specific theoretical frameworks; (b) replicating and generalizing results; (c) providing a platform for cross-disciplinary validation of results

Online social lending: Borrower-generated content

This article explores online social lending, an innovative venture that represents a reintermediation in financial services. Borrowers and lenders now have access to online financial information services such as Motley Fool, http://www.fool.com/ , and the opportunity to communicate directly with each other online, sharing user-generated content, in the spirit of Web 2.0. In this environment, new possibilities emerge. Drawing on the literature of community banks, finance, and online banking, we conducted a structurational analysis of ZOPA(2007) a newly founded venture in online social lending whereby borrower/lender interactions take place within an open and transparent environment using discussion boards and blogs. ZOPA offers a service as an intermediary but one that differs from the intermediating role played by a traditional bank. We analyzed the possible attractions and risks of ZOPA’s service to customers, from the perspective of social lending and social networking, using public data from ZOPA’s website. Our intention is to understand the nature of this reintermediation and explain the development of this process through Giddens’ propositions

The governance of European security

This article seeks to develop a concept of ‘security governance’ in the context of post-Cold War Europe. The validity of a governance approach lies in its ability to locate some of the distinctive ways in which European security has been coordinated, managed and regulated. Based on an examination of the way governance is utilised in other political fields of political analysis, the article identifies the concept of security governance as involving the coordinated management and regulation of issues by multiple and separate authorities, the interventions of both public and private actors (depending upon the issue), formal and informal arrangements, in turn structured by discourse and norms, and purposefully directed toward particular policy outcomes. Three issues are examined to demonstrate the utility of the concept of security governance for understanding security in post-Cold War Europe: the transformation of NATO, the Europeanisation of security accomplished through EU-led initiatives and, finally, the resultant dynamic relationship between forms of exclusion and inclusion in governance

Overview on agent-based social modelling and the use of formal languages

Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.Postprint (author's final draft

Can processes make relationships work? The Triple Helix between structure and action

This contribution seeks to explore how complex adaptive theory can be applied at the conceptual level to unpack Triple Helix models. We use two cases to examine this issue – the Finnish Strategic Centres for Science, Technology & Innovation (SHOKs) and the Canadian Business-led Networks of Centres of Excellence (BL-NCE). Both types of centres are organisational structures that aspire to be business-led, with a considerable portion of their activities driven by (industrial) users’ interests and requirements. Reflecting on the centres’ activities along three dimensions – knowledge generation, consensus building and innovation – we contend that conceptualising the Triple Helix from a process perspective will improve the dialogue between stakeholders and shareholders

Tools of the Trade: A Survey of Various Agent Based Modeling Platforms

Agent Based Modeling (ABM) toolkits are as diverse as the community of people who use them. With so many toolkits available, the choice of which one is best suited for a project is left to word of mouth, past experiences in using particular toolkits and toolkit publicity. This is especially troublesome for projects that require specialization. Rather than using toolkits that are the most publicized but are designed for general projects, using this paper, one will be able to choose a toolkit that already exists and that may be built especially for one's particular domain and specialized needs. In this paper, we examine the entire continuum of agent based toolkits. We characterize each based on 5 important characteristics users consider when choosing a toolkit, and then we categorize the characteristics into user-friendly taxonomies that aid in rapid indexing and easy reference.Agent Based Modeling, Individual Based Model, Multi Agent Systems