Security analysis of Parlay/OSA framework
| Autor: | Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2004 |
| Předmět: | |
| Zdroj: | Proceedings 9th International Conference on Intelligence in Service Delivery Networks (ICIN'04, Bordeaux, France, October 18-21, 2004), 54-59 STARTPAGE=54;ENDPAGE=59;TITLE=Proceedings 9th International Conference on Intelligence in Service Delivery Networks (ICIN'04, Bordeaux, France, October 18-21, 2004) 9th International Conference on Intelligence in service delivery Networks (ICIN2004), Bordeaux, France, 18-21 October 2004 info:cnr-pdr/source/autori:Corin R.; Di Caprio G.; Etalle S.; Gnesi S.; Lenzini G.; Moiso C./congresso_nome:9th International Conference on Intelligence in service delivery Networks (ICIN2004)/congresso_luogo:Bordeaux, France/congresso_data:18-21 October 2004/anno:2004/pagina_da:/pagina_a:/intervallo_pagine |
| Popis: | This paper analyzes the security of the Trust and Security Management (TSM) protocol, an authentication protocol which is part of the Parlay/OSA Application Program Interfaces (APIs). Architectures based on Parlay/OSA APIs allow third party service providers to develop new services that can access, in a controlled and secure way, to those network capabilities offered by the network operator. Role of the TSM protocol, run by network gateways, is to authenticate the client applications trying to access and use the network capabilities features offered. For this reason potential security flaws in its authentication strategy can bring to unauthorized use of network with evident damages to the operator and to the quality of services. This paper shows how a rigorous formal analysis of TSM underlines serious weaknesses in the model describing its authentication procedure. The paper relates about the design activity of the formal model, the tool-aided verification performed and the security flaws discovered. This will allow us to discuss about how the security of the TSM protocol can be generally improved. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|