Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions

As computation spreads from computers to networks of computers, and migrates into cyberspace, it ceases to be globally programmable, but it remains programmable indirectly: network computations cannot be controlled, but they can be steered by local constraints on network nodes. The tasks of "programming" global behaviors through local constraints belong to the area of security. The "program particles" that assure that a system of local interactions leads towards some desired global goals are called security protocols. As computation spreads beyond cyberspace, into physical and social spaces, new security tasks and problems arise. As networks are extended by physical sensors and controllers, including the humans, and interlaced with social networks, the engineering concepts and techniques of computer security blend with the social processes of security. These new connectors for computational and social software require a new "discipline of programming" of global behaviors through local constraints. Since the new discipline seems to be emerging from a combination of established models of security protocols with older methods of procedural programming, we use the name procedures for these new connectors, that generalize protocols. In the present paper we propose actor-networks as a formal model of computation in heterogenous networks of computers, humans and their devices; and we introduce Procedure Derivation Logic (PDL) as a framework for reasoning about security in actor-networks. On the way, we survey the guiding ideas of Protocol Derivation Logic (also PDL) that evolved through our work in security in last 10 years. Both formalisms are geared towards graphic reasoning and tool support. We illustrate their workings by analysing a popular form of two-factor authentication, and a multi-channel device pairing procedure, devised for this occasion.Comment: 32 pages, 12 figures, 3 tables; journal submission; extended references, added discussio

Tying Arrangements and the Computer Industry: Digidyne Corp. v. Data General Corp.

V diskurzu umění nových médií se setkáváme s nadprodukcí pojmenování této umělecké praxe. Produkce neologismů je pro tuto disciplínu natolik specifická, že můžeme mluvit o tekuté identitě diskurzu nových médií. Příspěvek je věnován specifikaci pojmu softwarové umění ve vztahu k jiným označením umění využívajícího digitální média, konkrétně počítačové umění a počítačem generované umění. Softwarové umění představíme jako disciplínu propojující matematické, poetické a metafyzické chápání komputace (A. Lovelace), jako diskurz osvobozující software z logiky čisté funkcionality ve prospěch jeho metaforické funkce (A. Turing), a jako uměleckou tvorbu zkoumající limity lidské i strojové racionality a imaginace, kterou můžeme nazvat extrémní programování nebo programování excesu.In the discourse of new media art, we meet with overproduction of terms for the artistic practice. Production of neologisms is so characteristic for this discipline that we can talk about fluid identity of new media discourse. The paper is devoted to the specification of the concept of software art in relation to other terms referring to the digital media arts, specifically computer art and computer generated art. The software art will be presented as a discipline that links mathematical, poetic and metaphysical understanding of computation (A. Lovelace), as discourse, whose ambition is to free software from logic of pure functionality in favor of its metaphorical function (A. Turing), and as a creative activity exploring the limits of human and mechanic rationality and imagination in the forms of activities that can be called extreme programming, or programming of excess

airline revenue management

With the increasing interest in decision support systems and the continuous advance of computer science, revenue management is a discipline which has received a great deal of interest in recent years. Although revenue management has seen many new applications throughout the years, the main focus of research continues to be the airline industry. Ever since Littlewood (1972) first proposed a solution method for the airline revenue management problem, a variety of solution methods have been introduced. In this paper we will give an overview of the solution methods presented throughout the literature.revenue management;seat inventory control;OR techniques;mathematical programming

What is Robotics: Why Do We Need It and How Can We Get It?

Robotics is an emerging synthetic science concerned with programming work. Robot technologies are quickly advancing beyond the insights of the existing science. More secure intellectual foundations will be required to achieve better, more reliable and safer capabilities as their penetration into society deepens. Presently missing foundations include the identification of fundamental physical limits, the development of new dynamical systems theory and the invention of physically grounded programming languages. The new discipline needs a departmental home in the universities which it can justify both intellectually and by its capacity to attract new diverse populations inspired by the age old human fascination with robots. For more information: Kod*la

A new computational model and its discipline of programming

Disponible dans les fichiers attachés à ce documen

Towards Reversible Sessions

In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits taking different computation paths along the same session, as well as reverting the whole session and starting a new one. Our aim is to define a theoretical basis for examining the interplay in concurrent systems between reversible computation and session-based interaction. We thus enrich a session-based variant of pi-calculus with memory devices, dedicated to keep track of the computation history of sessions in order to reverse it. We discuss our initial investigation concerning the definition of a session type discipline for the proposed reversible calculus, and its practical advantages for static verification of safe composition in communication-centric distributed software performing reversible computations.Comment: In Proceedings PLACES 2014, arXiv:1406.331

Creating Interaction Scenarios With a New Graphical User Interface

The field of human-centered computing has known a major progress these past few years. It is admitted that this field is multidisciplinary and that the human is the core of the system. It shows two matters of concern: multidisciplinary and human. The first one reveals that each discipline plays an important role in the global research and that the collaboration between everyone is needed. The second one explains that a growing number of researches aims at making the human commitment degree increase by giving him/her a decisive role in the human-machine interaction. This paper focuses on these both concerns and presents MICE (Machines Interaction Control in their Environment) which is a system where the human is the one who makes the decisions to manage the interaction with the machines. In an ambient context, the human can decide of objects actions by creating interaction scenarios with a new visual programming language: scenL.Comment: 5th International Workshop on Intelligent Interfaces for Human-Computer Interaction, Palerme : Italy (2012