Mobility control via passports

International audienceDpi is a simple distributed extension of the pi-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this paper we introduce passports to control those migrations; in order to gain access to a location agents are now expected to show some credentials, granted by the destination location. Passports are tied to specific locations, from which migration is permitted. We describe a type system for these passports, which includes a novel use of dependent types, and prove that well-typing enforces the desired behaviour in migrating processes. Passports allow locations to control incoming processes. This induces a major modification to the possible observations which can be made of agent-based systems. Using the type system we describe these observations, and use them to build a loyal notion of observational equivalence for this setting. Finally we provide a complete proof technique in the form of a bisimilarity for establishing equivalences between systems

Unequal Access to Foreign Spaces: How States Use Visa Restrictions to Regulate Mobility in a Globalised World

Nation-states employ visa restrictions to manage the complex trade-off between facilitating the entrance to their territory by passport holders from certain countries for economic and political reasons and deterring individuals from other countries for reasons of perceived security and immigration-control. The resulting system is one of highly unequal access to foreign spaces, reinforcing existing inequalities. Trans- national mobility is encouraged for passport holders from privileged nations, particularly rich Western countries, at the expense of severe restrictions for others. Visa restrictions manifest states’ unfaltering willingness to monitor, regulate and control entrance to their territory in a globalised world.globalisation, visa restrictions, passport, borderless world, nation-state, mobility

Security-Autonomy-Mobility Roadmaps: Passports To Security for Youth

Taking the highway along the California coast and swinging inland into one of the state\u27s agricultural belts, the hills appear golden in the distance, spotted with gnarled oak trees. Vineyards rise up on either side of the highway, and occasionally cowboys may be seen in the distance herding grazing cattle. Yet as clouds of dust rise from the fields in this agricultural community, the idyllic scene fades dramatically in the town of Rancho Benito, a community wearing the signs of the hard economic times. This once relatively prosperous community is now a place in which many families sit down to dinner in dramatically different circumstances than just a few years ago. After the 2008 recession hit this community, gaping holes appeared in all areas of the economy. Just driving through town, one sees evidence in the strip malls of the failure of one local business after another. Local industry has felt the ravages of the new economic landscape, from a partially empty mall to burgeoning bargain stores. While not all families have endured the same kind or degree of economic insecurity, nonetheless they dwell in a community strongly affected by the Great Recession. While not all have directly felt the effects on their immediate personal circles, all community members live in an environment indelibly stamped by the recession\u27s imprint

Migration control for mobile agents based on passport and visa

Research on mobile agents has attracted much attention as this paradigm has demonstrated great potential for the next-generation e-commerce. Proper solutions to security-related problems become key factors in the successful deployment of mobile agents in e-commerce systems. We propose the use of passport and visa (P/V) for securing mobile agent migration across communities based on the SAFER e-commerce framework. P/V not only serves as up-to-date digital credentials for agent-host authentication, but also provides effective security mechanisms for online communities to control mobile agent migration. Protection for mobile agents, network hosts, and online communities is enhanced using P/V. We discuss the design issues in details and evaluate the implementation of the proposed system

You Make Us Do What We Want! The Usage of External Actors and Policy Conditionality in the European Neighborhood

In academic and public debates, external actors have been considered to promote their rules most effectively in third countries in cases of high and asymmetric interdependence. Hence, high interdependence of European Neighborhood Countries (ENC) with Russia has been discussed as a major constraint to EU rule transfer. The case of migration policies, however, represents an odd one out: high degrees of interdependence of the ENC and Russia are coupled with compliance with EU rules, whereas lower degrees of interdependence correlate with shallow and selective compliance. The paper investigates the de facto impact of Russia and the EU on the implementation of the European Neighborhood Policy (ENP) in this highly interdependent policy field and argues for a change in perspective: adopting a stronger bottom-up perspective on power-based approaches of external governance cannot only account for varying compliance records, but also shows how domestic actors can use multiple external opportunity structures to promote their own agenda.immigration policy; neighbourhood policy; Russia

TRENDS IN MIGRATION TO IRELAND OF NATIONALS OF COUNTRIES WITH VISA LIBERALISATION AGREEMENTS WITH THE EUROPEAN UNION. ESRI SURVEY AND STATISTICAL REPORT SERIES, August 2019

The synthesis report presents an analysis of the impact in terms of direct and indirect benefits, as well as challenges. Tourism is considered a direct benefit, as tourism is one of the purposes of a short-stay visa. There was a rise in tourists from the visa-free countries after visa liberalisation across the EU Member States, although the numbers were modest in the context of overall tourism numbers to the EU. Residence permits for work or study reasons were considered an indirect benefit – as these are not purposes of stay for a short-stay Schengen visa, though a short stay could ultimately influence a longer stay for one of these reasons. The synthesised findings show that the number of residence permits issued to nationals of the visa-free countries more than doubled since 2008, and most of these were issued for employment reasons. Therefore, the report suggests that visa liberalisation could be a facilitator to labour market access. However, a similar link was not found for student migration or for entrepreneurship (EMN, 2019)

Paper Rights: The Emergence of Documentary Identities in Post-Colonial India, 1950–67

This essay contextualises the emergence of a document regime which regulated routine travel through the deployment of the India–Pakistan Passport and Visa Scheme in 1952. It suggests that such travel documents were useful for the new Indian state to delineate citizenship and the nationality of migrants and individual travellers from Pakistan. The bureaucratic and legal mediations under the Scheme helped the Indian state to frame itself before its new citizens as the sole certifier of some of their rights as Indians. In contrast, applicants for these documents viewed them as utilitarian, meant to facilitate their travel across the new borders. The contrast and contestation between such different perceptions helps us to understand the continued significance of documentary identities in contemporary India

Surveillance, risk and preemption on the Australian border

In this paper we will map and analyze Australian border surveillance technologies. In doing so, we wish to interrogate the extent to which these surveillance practices are constitutive of new regimes of regulation and control. Surveillance technologies, we argue, are integral to strategies of risk profiling, social sorting and “punitive pre-emption.” The Australian nation-state thus mirrors broader global patterns in the government of mobility, whereby mobile bodies are increasingly sorted into kinetic elites and kinetic underclasses. Surveillance technologies and practices positioned within a frame of security and control diminish the spaces that human rights and social justice might occupy. It is therefore imperative that critical scholars examine the moral implications of risk and identify ways in which spaces for such significant concerns might be forged