Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 36 di 36
Titolo Data di pubblicazione Autore(i) File
Formal Specification and Verification of an e-voting System: An experience Report. 1-gen-2011 Weldemariam, Komminist Sisai; Richard A., Kemmerer; Villafiorita Monteleone, Adolfo
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications 1-gen-2011 Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Procedural Security Analysis: A Methodological Approach 1-gen-2011 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
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
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
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.
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages 1-gen-2013 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Zulkernine, M.
Mostrati risultati da 21 a 36 di 36
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