The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Komminist Weldemariam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author


  1. Formal Specification and Analysis of an E-voting System. [Citation Graph (, )][DBLP]


  2. Navigational Web-Interfaces from Formal Tropos Specification. [Citation Graph (, )][DBLP]


  3. Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. [Citation Graph (, )][DBLP]


  4. ICT for Good: Opportunities, Challenges and the Way Forward. [Citation Graph (, )][DBLP]


  5. Context Information Refinement for Pervasive Medical Systems. [Citation Graph (, )][DBLP]


  6. Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. [Citation Graph (, )][DBLP]


  7. Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. [Citation Graph (, )][DBLP]


  8. A Methodology for Assessing Procedural Security: A Case Study in E-Voting. [Citation Graph (, )][DBLP]


  9. A Survey: Electronic Voting Development and Trends. [Citation Graph (, )][DBLP]


  10. Formal procedural security modeling and analysis. [Citation Graph (, )][DBLP]


  11. Formal analysis of attacks for e-voting system. [Citation Graph (, )][DBLP]


  12. Experiments and data analysis of electronic voting system. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002