Abstract

Abstract

Abstract
This paper proposes a roadmap to integrate existing educational web applications into the ecosystem based on a learning management system. To achieve this integration, applications must support the Learning Tools Interoperability specification in the role of tool provider. The paper starts with an overview of the evolution of this specification, emphasizing the main features of the current stable version. Then, it proposes a set of design goals and milestones to guide the adaptation process. The proposed roadmap was validated with existing applications. This paper reports on the challenges faced to apply it in these concrete cases. © Leal, Jose Paulo; Queirs, Ricardo; Ferreirinha, Pedro; Swacha, Jakub; licensed under Creative Commons License CC-BY 4.0

Abstract
With continuous technological advancement, multihomed devices are becoming common. They can connect simultaneously to multiple networks through different interfaces. However, since TCP sessions are bound to one interface per device, it hampers applications from taking advantage of all the available connected networks. This has been solved by MPTCP, introduced as a seamless extension to TCP, allowing more reliable sessions and enhanced throughput. However, MPTCP comes with an inherent risk, as it becomes easier to fragment attacks towards evading NIDS. This paper presents a study of how MPTCP can be used to evade NIDS through simple cross-path attacks. It also introduces tools to facilitate assessing MPTCP-based services in diverse network topologies using an emulation environment. Finally, a new solution is proposed to prevent cross-path attacks through uncoordinated networks. This solution consists of a hostlevel plugin that allows MPTCP sessions only through trusted networks, even in the presence of a NAT.

Abstract
One of the most important phases in the Web development cycle is testing. There are several types of tests, different approaches to their use and a wide range of tools. However, most of them are not open source, require coding and do not have a pedagogical nature. This article introduces WebPuppet as an automated Web UI testing tool. The tool is distributed as a small Node package and can be easily integrated into any learning environment in the web development domain. In addition, it does not require coding in any language, just use a very simple domain-specific language that will generate a test script to run in client applications. In order to exemplify its use, a simple test scenario based on a login page is presented. © Queiros, Ricardo; licensed under Creative Commons License CC-BY 4.0

Abstract
The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned as a tribute to Jose Manuel Esgalhado Valenca on the occasion of his Jubilation. A tribute to a professor, in the deepest sense of the word, a colleague and a friend, but above all to a long and inspiring academic journey that has so profoundly shaped the development of Informatics as a scientific area in Portugal. A scientific area that, as he taught us, needs to be understood broadly: not only as an independent research domain, but also as an educational pillar, a strategy for social and economic development, a foundation for a multifaceted professional career. This preface introduces some steps of such a journey. The Special Issue features a selection of scientific papers written by his collaborators, colleagues and friends, covering the different areas Jose Valenca helped to launch and consolidate in Portugal, namely computational logic, verification and mechanized reasoning, and information security. (c) 2022 Published by Elsevier Inc.