9º Workshop internazionale sulla sicurezza nella concorrenza, Aachen, Germania
Le tendenze emergenti nella teoria della concorrenza richiedono la definizione di modelli e linguaggi adeguati per la progettazione e la gestione di nuove categorie di applicazioni, soprattutto per programmare le reti ampie (come Internet) o quelle più ristrette dei dispositivi mobili e portatili (che supportano applicazioni basate su una struttura di comunicazione dinamicamente riconfigurabile).
L'apertura di questi sistemi mette in luce alcuni aspetti di primaria importanza, come ad esempio l'interazione con componenti maligni o con un ambiente ostile. La ricerca attuale in materia di sicurezza in rete (ad es. la segretezza, l'autenticazione, ecc.) di solito si concentra sull'apertura di tunnel crittografici da un punto ad un altro. Pertanto, le soluzioni proposte in questo settore non sono sempre sfruttabili per sostenere l'interazione sicura da un capo all'altro tra entità la cui disponibilità o ubicazione non è nota in anticipo.
L'obiettivo del workshop sarà quello di colmare il divario tra le comunità della sicurezza e della concorrenza. Essa promuoverà lo scambio di idee, cercando di concentrarsi su interessi comuni e dibattiti stimolanti su quesiti centrali della ricerca. Gli argomenti riguarderanno tra l'altro:
- autenticazione;
- integrità;
- privacy;
- riservatezza;
- controllo d'accesso;
- rifiuto di servizio;
- disponibilità di servizio;
- sicurezza;
- guasti;
- affidabilità;
- sicurezza basata sul linguaggio.
L'evento affronterà anche i modelli probabilistici e teorici dell'informazione in settori emergenti come i servizi web, le reti mobili ad-hoc, le infrastrutture ad agenti, i sistemi peer-to-peer, l'informatica context-aware e globale/onnipresente/pervasiva.Per ulteriori informazioni, visitare: http://www.lix.polytechnique.fr/~kostas/SecCo2011/(si apre in una nuova finestra)