No abstract

Come viene messo in luce dal MIUR nel "Regolamento recante norme in materia di adempimento dell'obbligo di istruzione", tra le finalità dell'asse culturale matematico c'è anche l'acquisizione delle abilità necessarie «per seguire e vagliare la coerenza logica delle argomentazioni proprie e altrui in molteplici contesti di indagine conoscitiva e di decisione» (MIUR, 2007). In particolare, le competenze argomentative costituiscono la base per preparare gli studenti alla dimostrazione, attività che contraddistingue il pensiero matematico maturo. Garuti, Boero, Lemut e Mariotti (1996) sostengono che in alcuni casi possa esistere una "continuità cognitiva" tra i processi di produzione di congetture e la costruzione di dimostrazioni. Essa si verifica se gli studenti, nella fase di produzione della congettura, innescano un'intensa attività

Abstract.We report on an experience in analyzing the security of the Trust and Security Management (TSM) protocol, an authentication procedure within the OSA/Parlay Application Program Interfaces (APIs) of the Open Service Access and Parlay Group. The experience has been conducted jointly by research institutes experienced in security and industry experts in telecommunication networking. OSA/Parlay APIs are designed to enable the creation of telecommunication applications outside the traditional network space and business model. Network operators consider the OSA/Parlay a promising architecture to stimulate the development of web service applications by third party providers, which may not necessarily be experts in telecommunication and security. The TSM protocol is executed by the gateways to OSA/Parlay networks; its role is to authenticate client applications trying to access the interfaces of some object representing an offered network capability. For this reason, potential security flaws in the TSM authentication strategy can cause the unauthorized use of the network, with evident damages to the operator and the quality of services. We report a rigorous formal analysis of the TSM specification, which is originally given in UML. Furthermore, we illustrate our design choices to obtain the formal model, describe the tool-aided verification and finally expose the security flaws discovered.