Gli obiettivi principali della tesi son quelli di denire in Lysa protocolli di voto elettronico al ne di applicare un'analisi control flow in relazione alle principali proprietà che un protocollo, per elezioni in rete, deve rispettare per garantire un corretto svolgimento delle votazioni. Capire inoltre se esistono particolari impedimenti, utilizzando la sintassi Lysa, alla formalizzazione dei protocolli e successiva analisi (es. la sintassi non prevede nativamente alcune operazioni crittograche).
Massimiliano Barletta
Prossimo evento
Veronafiere - PAD Palaexpo - 16-17 ottobre 2024
Settori Hot
- Big Data68
- Efficienza energetica edifici137
- ERP90
- LED120
- Tracciabilità159
Parole chiave Hot
Le news più lette
- Stefania Nani
- ads-tec Industrial IT GmbH
Gli articoli più letti
- Armando Martin
- Alberto Sibono
- Giovanni Battista Zorzoli
Webinar più visti del mese
- Federmacchine
- Mattia Merlini
Settori Popolari
- Automazione industriale2767
- Informatica1937
- Elettrotecnica1871
- Industria 4.01760
- Software industriale1379
Ultimi post da PLC Forum
Circuito EIOM
La vostra privacy è per noi molto importante
Utilizziamo cookies per migliorare la tua esperienza online sul nostro sito, personalizzare i contenuti e gli annunci che vedi in base ai tuoi interessi.
I cookies possono, inoltre, aiutarci a comprendere le modalità di utilizzo del nostro sito e migliorarne la funzionalità.
Puoi fare clic per consentire a noi e ai nostri fornitori di trattarli per queste finalità o in alternativa puoi fare clic per negare il consenso.
Le tue preferenze si applicheranno solo a questo sito web.
Puoi modificare le tue preferenze in qualsiasi momento ritornando su questo sito.
I cookies possono, inoltre, aiutarci a comprendere le modalità di utilizzo del nostro sito e migliorarne la funzionalità.
Puoi fare clic per consentire a noi e ai nostri fornitori di trattarli per queste finalità o in alternativa puoi fare clic per negare il consenso.
Le tue preferenze si applicheranno solo a questo sito web.
Puoi modificare le tue preferenze in qualsiasi momento ritornando su questo sito.