Skalpel: A Type Error Slicer for Standard ML

in Electronic Notes in Theoretical Computer Science (2015)

Coalition Description Logic for Individuals

in Electronic Notes in Theoretical Computer Science (2010), 262

Simplified Reducibility Proofs of Church-Rosser for beta- and beta-eta-reduction

in Electronic Notes in Theoretical Computer Science (2009), 247

Chosen-name attacks: An overlooked class of type-flaw attacks

in Electronic Notes in Theoretical Computer Science (2008), 197(2), 31-43

In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has been overlooked in all ... [more ▼]

In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has been overlooked in all significant protocol verification frameworks based on formal methods. We identify and classify new type-flaw attacks arising from this capability. Several examples of protocols that are vulnerable to this type of attack are given, including Lowe’s modification of KSL. The consequences for automatic verification tools are discussed. [less ▲]

Coordination and Organization: Definitions, Examples and Future Research Directions.

in Electronic Notes in Theoretical Computer Science (2006), 150(3), 320

Coordination languages and models like Linda and Reo have been developed in computer science to coordinate the interaction among components and objects, and are nowadays used to model and analyze ... [more ▼]

Coordination languages and models like Linda and Reo have been developed in computer science to coordinate the interaction among components and objects, and are nowadays used to model and analyze organizations too. Moreover, organizational concepts are used to enrich the existing coordination languages and models. We describe this research area of “organization and coordination” by presenting definitions, examples, and future research directions. We highlight two issues. First, we argue for a study of value-based rather than information-based coordination languages to model the coordination of autonomous agents and organizations. Second, we argue for a study of the balance between enforced control and trust-based anticipation to deal with security aspects in the coordination of organizations. [less ▲]

Roles as a Coordination Construct: Introducing powerJava

in Electronic Notes in Theoretical Computer Science (2006), 150(1), 929

In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the features of roles are their ... [more ▼]

In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the features of roles are their dependence on an institution, and the powers they assign to players of roles. The institution represents an environment where the components interact with each other by using the powers attributed to them by the roles they play, even when they do not know each other. The interaction between a component playing a role and the role is performed via interfaces stating the requirements to play a role, and which powers are attributed by roles. Roles encapsulate their players' capabilities to interact with the institution and with the other roles, thus achieving separation of concerns between computation and coordination. The institution acts as a coordinator which manages the interactions among components by acting on the roles they play, thus achieving a form of exogenous coordination. As an example, we introduce the role construct in the Java programming language, providing a precompiler for it. In order to better explain the proposal, we show how to use the role construct as a coordination means by applying it to a dining philosophers problem extended with dynamic reconfiguration. [less ▲]