7º Workshop sulla crittografia formale e computazionale, Parigi, Francia
30 Giugno 2011 - 30 Giugno 2011
Francia
Il settimo workshop sulla crittografia formale e computazionale si svolgerà il 30 giugno 2011 a Parigi, in Francia.
Sin dagli anni ottanta del secolo scorso sono stati sviluppati due approcci per analizzare i protocolli e i sistemi di sicurezza basati sulla crittografia. Uno di questi si basa su un modello computazionale che prende in considerazione questioni legate alla complessità e probabilità computazionale. L'altro approccio si basa su un modello simbolico di esecuzione del protocollo in cui i messaggi sono modellati usando termini algebrici e crittografici trattati come perfette "scatole nere". Ciascuno dei due approcci, tuttavia, presenta difficoltà e problemi analitici.
L'evento si concentrerà sugli approcci e sui risultati dei progetti che combinano e mettono in relazione l'analisi simbolica e computazionale del protocollo. Una serie di risultati stabilisce teoremi di corrispondenza tra i due modelli, mostrando in effetti che, per una certa classe di protocolli e proprietà, la sicurezza nel modello simbolico comporta la sicurezza nel modello computazionale. In altri lavori i ricercatori usano tecniche basate sul linguaggio come algebre di processi, sistemi dei tipi e logica di protocollo per ragionare direttamente sul modello computazionale. Ci sono anche dei lavori che esaminano i modi per meccanizzare in modo computazionale solide prove di meccanismi crittografici.
Il workshop si svolgerà in coordinamento con il Computer Security Foundations Symposium 2011.Per ulteriori informazioni, visitare: http://www.cs.ut.ee/~unruh/fcc2011/(si apre in una nuova finestra)
Sin dagli anni ottanta del secolo scorso sono stati sviluppati due approcci per analizzare i protocolli e i sistemi di sicurezza basati sulla crittografia. Uno di questi si basa su un modello computazionale che prende in considerazione questioni legate alla complessità e probabilità computazionale. L'altro approccio si basa su un modello simbolico di esecuzione del protocollo in cui i messaggi sono modellati usando termini algebrici e crittografici trattati come perfette "scatole nere". Ciascuno dei due approcci, tuttavia, presenta difficoltà e problemi analitici.
L'evento si concentrerà sugli approcci e sui risultati dei progetti che combinano e mettono in relazione l'analisi simbolica e computazionale del protocollo. Una serie di risultati stabilisce teoremi di corrispondenza tra i due modelli, mostrando in effetti che, per una certa classe di protocolli e proprietà, la sicurezza nel modello simbolico comporta la sicurezza nel modello computazionale. In altri lavori i ricercatori usano tecniche basate sul linguaggio come algebre di processi, sistemi dei tipi e logica di protocollo per ragionare direttamente sul modello computazionale. Ci sono anche dei lavori che esaminano i modi per meccanizzare in modo computazionale solide prove di meccanismi crittografici.
Il workshop si svolgerà in coordinamento con il Computer Security Foundations Symposium 2011.Per ulteriori informazioni, visitare: http://www.cs.ut.ee/~unruh/fcc2011/(si apre in una nuova finestra)