Sign In
 
 
 
New ItemNew Item

Full name

Gabriele Costa 

Title

On the Security of Software Systems and Services 

Start Time

12:15 

Location

Gerace 

Abstract

The growing interest for distributed computational systems, based on the interaction among simpler unit, generated in the last decades many theoretical results. Moreover, the business opportunities deriving from this type of interaction attracts huge investments. The result of this research turmoil was a rapid diffusion of several implementation of distributed systems. For instance, Web Services start to be widespread over the network. Service providers are now aware about the importance of using formal techniques. The Business Process Execution Language (BPEL), for example, gives a formal description of a software agent using the XML syntax. However, this rapid development has left behind some security aspects. Nomadic code, resources protection and trust relationships are some of the still open issues in service security. During this research period, these topics have been investigated. Mainly, we focussed on the creation of a secure environment for the execution of untrusted applications. Furthermore, we studied the interactions between services and the analysis of their composition under security constraints. We plan to extend our results to more general scenarios starting from a correct, formal characterization of the Web Services context.

Keywords

Language-based security, execution monitoring, Web Services 

Supervisor(s)

Massimo Bartoletti, Pierpaolo Degano, Fabio Martinelli 

Notes

 

Session

Attachments
Present.pdf    
Created at 8/14/2009 11:44 AM  by  
Last modified at 8/31/2009 12:52 PM  by Cristian Dittamo