Search

The number of physical objects connected to the Internet constantly grows and a common thought says the IoT scenario will change the way we live and work. Since IoT technologies have the potential to be pervasive in almost every aspect of a human life, in this paper, we deeply analyze the IoT scenario. First, we describe IoT in simple terms and then we investigate what current technologies can achieve. Our analysis shows four major issues that may limit the use of IoT (i.e., interoperability, security, privacy, and business models) and it highlights possible solutions to solve these problems. Finally, we provide a simulation analysis that emphasizes issues and suggests practical research directions. [ABSTRACT FROM AUTHOR]

Abstract: Web services providing E-commerce capabilities to support business transactions over the Internet are more and more widespread. The development of such services involves several security issues ranging from authentication to the management of the access to shared resources according to a given business model. The capability of validating designs against fast evolving requirements is of paramount importance for the adaptation of business models to changing regulations and rapidly evolving market needs. So, techniques for the specification and automated analysis of web services to be used in security-sensitive applications are crucial in the development of these systems. In this paper, we propose an extension of the relational transducers introduced by Abiteboul, Vianu, Fordham, and Yesha for the specification of the transaction protocols of web services and their security properties. We investigate the decidability of relevant verification problems such as goal reachability (for the validation of use-case scenarios) and log validation (for detecting frauds) and provide sufficient conditions for their decidability. The extension we propose is two-fold. First, we add constraints to specify the algebraic structure of the resources manipulated by the transducers. Second, recursion is allowed (only) in policy rules to express important policy idioms such as delegation. Technically, decidability is obtained by a reduction to a decidable class of first-order formulae and fix-point computation to handle recursion. [Copyright &y& Elsevier]

SONET/SDH systems have been the preferred transport technology over fiber optics for almost two decades now. Carriers have developed extensive expertise in operating, managing, and developing business models for these systems. Manufacturers' technical expertise in such systems has increased to a deep understanding of what transport over fiber is about. In short, SONET/SDH can be called a mature transport technology. Out of this mature expertise, new techniques for bettering transport over fiber services have appeared. These techniques are likely to considerably reshape the next generation of SONET/SDH systems in many aspects: new transport techniques, new transport services, new management systems and business models. We describe several new transport techniques, and discuss their impact on the creation of new transport services for next-generation SONET/SDH systems [ABSTRACT FROM PUBLISHER]

The article reports on the initiative of publishing industries towards international copyright issues. The Newspaper Association of America has participated in the establishment of the Automated Content Access Protocol in London, England. It is stated that the protocol is a joint effort of the publishing industries to open technical standards including control access to copyright material for newspapers, magazines and book publishers. It is emphasized that the standard will be designed to be agnostic of business models while ensuring appropriate distribution of revenues.