A Formal Framework for Concrete Reputation Systems

In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions about interaction. However, while trust management is a component in security decision-making, many existing reputation-based trust-management systems provide no formal security-guarantees. In this extended abstract, we describe a mathematical framework for a class of simple reputation-based systems. In these systems, decisions about interaction are taken based on policies that are exact requirements on agents’ past histories. We present a basic declarative language, based on pure-past linear temporal logic, intended for writing simple policies. While the basic language is reasonably expressive (encoding e.g. Chinese Wall policies) we show how one can extend it with quantification and parameterized events. This allows us to encode other policies known from the literature, e.g., ‘one-out-of-k’. The problem of checking a history with respect to a policy is efficient for the basic language, and tractable for the quantified language when policies do not have too many variables

Development of draft quality-of-governance standards for climate change mitigation and beyond: groundtruthing of developed verifiers in REDD+ pilot area, Nepal

Governance has been identified as central aspect of sustainable forest management. While all participants within the forest policy arena would agree with this observation, it has been less easy to determine how best to evaluate forest governance. Building on the work of the 1992 UN Statement of Forest Principles, and using a hierarchical framework of principles, criteria and indicators (PC&I), Dr Cadman has developed a consistent approach to evaluating forest governance at the global, regional, national and local levels. Tim and Tek applied their work to a range of global policy mechanisms, including REDD+, and has been used by the forest sector in developing countries (Nepal) to develop on-the-ground standards for evaluating REDD+ effectiveness and governance quality

Climate Services for Resilient Development (CSRD) Partnership’s work in Latin America

The Climate Services for Resilient Development (CSRD) Partnership is a private-public collaboration led by USAID, which aims to increase resilience to climate change in developing countries through the development and dissemination of climate services. The partnership began with initial projects in three countries: Colombia, Ethiopia, and Bangladesh. The International Center for Tropical Agriculture (CIAT) was the lead organization for the Colombian CSRD efforts – which then expanded to encompass work in the whole Latin American region

Mobile Oriented Future Internet (MOFI)

This Special Issue consists of seven papers that discuss how to enhance mobility management and its associated performance in the mobile-oriented future Internet (MOFI) environment. The first two papers deal with the architectural design and experimentation of mobility management schemes, in which new schemes are proposed and real-world testbed experimentations are performed. The subsequent three papers focus on the use of software-defined networks (SDN) for effective service provisioning in the MOFI environment, together with real-world practices and testbed experimentations. The remaining two papers discuss the network engineering issues in newly emerging mobile networks, such as flying ad-hoc networks (FANET) and connected vehicular networks

Reasoning About a Service-oriented Programming Paradigm

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new programming paradigm exists. In this paper we illustrate the basic features it is characterized by

A Framework for Concrete Reputation-Systems

In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions about interaction. However, while trust management is a component in security decision-making, few existing reputation-based trust-management systems aim to provide any formal security-guarantees. We provide a mathematical framework for a class of simple reputation-based systems. In these systems, decisions about interaction are taken based on policies that are exact requirements on agents' past histories. We present a basic declarative language, based on pure-past linear temporal logic, intended for writing simple policies. While the basic language is reasonably expressive, we extend it to encompass more practical policies, including several known from the literature. A naturally occurring problem becomes how to efficiently re-evaluate a policy when new behavioural information is available. Efficient algorithms for the basic language are presented and analyzed, and we outline algorithms for the extended languages as well