Mobile Implementation and Formal Verification of an e-Voting System

2008 Third International Conference on Internet and Web Applications and Services Pub Date : 2008-06-08 DOI:10.1109/ICIW.2008.77

Stefano Campanelli, Alessandro Falleni, F. Martinelli, M. Petrocchi, A. Vaccarelli

引用次数: 18

Abstract

We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.

查看原文本刊更多论文

电子投票系统的移动实现和正式验证

我们提出了一种电子投票协议的移动实现。我们还提供了一个形式化分析来验证系统的安全属性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量