IRIS Institutional Research Information System

Sfoglia per Autore  Weldemariam, Komminist Sisai

Opzioni
Mostrati risultati da 1 a 20 di 36
Titolo Data di pubblicazione Autore(i) File
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 1-gen-2007 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Modeling and Analysis of Procedural Security 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Formal Procedural Security Modeling and Analysis 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Experiments and Data Analysis of Electronic Voting System 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Navigational Web-interfaces from Formal Tropos Specifications 1-gen-2009 Weldemariam, Komminist Sisai
Supporting Public Administration with an Integrated BPR Environment 1-gen-2009 Ciaghi, Aaron; Weldemariam, Komminist Sisai; Mattioli, Andrea; Villafiorita Monteleone, Adolfo; Phan, Quoc Sang
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Tiella, Roberto
Formal Analysis of Attacks for e-voting System 1-gen-2009 Weldemariam, Komminist Sisai; Kemmerer, Richard; Villafiorita Monteleone, Adolfo
Host-based Anomaly Detection for Pervasive Medical Systems 1-gen-2010 Biniyam, Asfaw; Dawit, Bekele; Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Using Formal Methods for Building More Reliable and Secure e-Voting Systems 1-gen-2010 Weldemariam, Komminist Sisai
Modeling and Analysis of Laws using BPR and Goal-oriented framework 1-gen-2010 Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Susi, Angelo; Siena, Alberto
Context Information Refinement for Pervasive Medical Systems 1-gen-2010 Eshete, Birhanu Mekuria; Dawit, Bekele; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Survey: Electronic Voting Development and Trends 1-gen-2010 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
ICT for Good: Opportunities, Challenges and the Way Forward 1-gen-2010 Weldemariam, Komminist Sisai; Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Formal Specification and Analysis of an e-Voting System 1-gen-2010 Weldemariam, Komminist Sisai; Richard, Kemmerer; Villafiorita Monteleone, Adolfo
Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks 1-gen-2010 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Siena, Alberto; Susi, Angelo
Vote Verification through Open Standard: A Roadmap 1-gen-2011 Ali Fawzi Najm Al, Shammari; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Sergio, Tessaris
Mostrati risultati da 1 a 20 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