• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Government information quarterly >A conceptual approach to secure electronic elections based on patterns
【24h】

A conceptual approach to secure electronic elections based on patterns

机译：一种基于模式的安全电子选举的概念方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Electoral processes are complex and need to be secure, reliable, and auditable. It is then important to define ways to evaluate their functional completeness and correction as well as their security and reliability. Many solutions to specific aspects of voting have been proposed but we do not know of any holistic view of this process. We present a unified approach to elections based on a conceptual model built using software patterns. A set of analysis patterns describe the structure and management of an election. The patterns describe voter registration, ballot structure, election day management, voting process, and the complete election. A conceptual model is built from the analysis patterns and defines precisely the functional properties of such a system together with its security requirements. The conceptual model is defined using UML diagrams that can be extended or complemented with formal methods to make the system verifiable. We show how to continue to the design phase for this system. While the model will not apply exactly to all elections it can be used as a reference architecture for voting applications and to show explicitly the security considerations for these kind of events. It can also be used for existing elections to verify that they have the required security provisions. The model can also be used as a reference for researchers to integrate their solutions in the complete process.
机译：选举过程很复杂，需要安全，可靠和可审核。然后，重要的是定义评估其功能完整性和更正以及其安全性和可靠性的方法。已经提出了针对投票的特定方面的许多解决方案，但是我们不知道该过程的任何整体观点。我们基于使用软件模式构建的概念模型，提出了一种统一的选举方法。一组分析模式描述了选举的结构和管理。这些模式描述了选民登记，投票结构，选举日管理，投票过程以及完整的选举。根据分析模式构建概念模型，并精确定义此类系统的功能属性及其安全要求。概念模型是使用UML图定义的，可以通过扩展或补充形式化方法来使系统可验证。我们展示了如何继续该系统的设计阶段。尽管该模型不能完全适用于所有选举，但可以用作投票应用程序的参考体系结构，并明确显示此类事件的安全性考虑。它也可以用于现有选举，以验证它们具有必需的安全性规定。该模型还可以用作研究人员在完整过程中集成其解决方案的参考。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号