Sfoglia per Autore
Law Modeling with Ontological Support and BPMN: a Case Study
2011-01-01 Ciaghi, Aaron; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Formal Methodology for Procedural Security Assessment
2011-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Formal Specification and Verification of an e-voting System: An experience Report.
2011-01-01 Weldemariam, Komminist Sisai; Richard A., Kemmerer; Villafiorita Monteleone, Adolfo
Malicious Website Detection: Effectiveness and Efficiency Issues
2011-01-01 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Procedural Security Analysis: A Methodological Approach
2011-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned
2011-01-01 Luca, Cernuzzi; Magalí, González; Marco, Ronchetti; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Vote Verification through Open Standard: A Roadmap
2011-01-01 Ali Fawzi Najm Al, Shammari; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Sergio, Tessaris
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help?
2012-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Designing distributed agricultural information services for developing countries
2012-01-01 Henok, Sahilu; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Mesfin, Belachew; Amanuel, Zewge
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems
2012-01-01 Ali Fawzi Najm Al, Shammari; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries
2012-01-01 Henok, Sahilu; Mesfin, Belachew; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Amanuel, Zewge
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages
2012-01-01 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Understanding the Development Trends of Electronic Voting Systems
2012-01-01 Ali Fawzi Najm Al, Shammari; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages
2013-01-01 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Zulkernine, M.
Maputo Living Lab Summer School of ICTs: An Experience Report
2013-01-01 Ciaghi, Aaron; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications
2013-01-01 Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Zulkerine, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Law Modeling with Ontological Support and BPMN: a Case Study | 1-gen-2011 | Ciaghi, Aaron; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| A Formal Methodology for Procedural Security Assessment | 1-gen-2011 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| Formal Specification and Verification of an e-voting System: An experience Report. | 1-gen-2011 | Weldemariam, Komminist Sisai; Richard A., Kemmerer; Villafiorita Monteleone, Adolfo | |
| Malicious Website Detection: Effectiveness and Efficiency Issues | 1-gen-2011 | Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Procedural Security Analysis: A Methodological Approach | 1-gen-2011 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned | 1-gen-2011 | Luca, Cernuzzi; Magalí, González; Marco, Ronchetti; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Vote Verification through Open Standard: A Roadmap | 1-gen-2011 | Ali Fawzi Najm Al, Shammari; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Sergio, Tessaris | |
| Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? | 1-gen-2012 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| Designing distributed agricultural information services for developing countries | 1-gen-2012 | Henok, Sahilu; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Mesfin, Belachew; Amanuel, Zewge | |
| Towards an Open Standard Vote Verification Framework in Electronic Voting Systems | 1-gen-2012 | Ali Fawzi Najm Al, Shammari; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries | 1-gen-2012 | Henok, Sahilu; Mesfin, Belachew; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Amanuel, Zewge | |
| BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages | 1-gen-2012 | Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Understanding the Development Trends of Electronic Voting Systems | 1-gen-2012 | Ali Fawzi Najm Al, Shammari; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages | 1-gen-2013 | Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Zulkernine, M. | |
| Maputo Living Lab Summer School of ICTs: An Experience Report | 1-gen-2013 | Ciaghi, Aaron; Molini, Pietro Benedetto; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications | 1-gen-2013 | Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Zulkerine, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile