|
|
|
 |
 |
|
| |
Notiziario Marketpress di
Lunedì 19 Marzo 2012 |
|
| |
|
|
| |
WOOPS 2012: WORKSHOP DEDICATO ALLA SICUREZZA BASATA SULLE RETI DI PETRI
|
|
| |
|
|
| |
Amburgo, 19 marzo 2012 - Un evento dal titolo "Woops 2012: Workshop on Petri net-based security" (Woops 2012: Workshop sulla sicurezza basata sulle reti di Petri) si svolgerà il 26 giugno 2012 ad Amburgo, in Germania. Le reti di Petri sono un tipo di linguaggio di modellazione matematica utilizzato nei sistemi distribuiti. Esse aiutano, ad esempio, la costruzione di proprietà di sicurezza e affidabilità nelle applicazioni come le reti intelligenti e i sistemi aziendali distribuiti. Tuttavia, non è chiaro come le tecniche disponibili basate sulle reti di Petri possono fornire la necessaria precisione per aumentare la fiducia dei progettisti nella sicurezza globale delle nuove applicazioni. La valutazione di queste tecniche rispetto alla correttezza, la complessità computazionale e reali casi di studio aiuterà a fare avanzare la ricerca nel campo delle reti di Petri. L´evento contribuirà a favorire lo scambio di nuove idee, metodologie, specifiche e tecniche analitiche per l´analysis automatica delle applicazioni di prossima generazione. I temi riguarderanno tra l´altro: politiche di controllo di accesso e utilizzo; autenticazione e autorizzazione; calcolo context-aware; controllo del flusso di informazioni; sicurezza basata sul linguaggio; i sistemi peer to peer; politiche e tecniche di monitoraggio; infrastutture di rete e di autorizzazione; aspetti relativi alla sicurezza, affidabilità e resilienza; composizione e sintesi di servizi; protocolli di sicurezza; fiducia e gestione della fiducia; flusso di lavoro e analisi della gestione del flusso di lavoro. Per ulteriori informazioni, visitare il sito: http://www.Telematik.uni-freiburg.de/woops |
|
| |
|
|
| |
<<BACK |
|
|
|
|
|
|
|
