下载 >  区块链 >  以太坊 > Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol 评分:

基于形式化验证工具ProVerif的区块链投票协议形式化验证,方便初学者复现从而理解形式化验证在智能合约领域的应用
2018-12-17 上传大小:259KB
想读
分享
收藏 举报
在线投票系统源码及数据库(.NET+SQL)

在线投票系统(Online Voting System)

立即下载
在线投票系统(Online voting system)

使用在线投票技术,进行统计和显示。本系统模块主要是用asp.net开发的,希望对你们有用。。。

立即下载
drupal voting api

drupal voting apidrupal voting apidrupal voting apidrupal voting apidrupal voting api

立即下载
Online Object Tracking:A Benchmark_CVPR13翻译

这是本人翻译的吴毅老师的Online Object Tracking:A Benchmark_CVPR13文章,希望对大家有所帮助

立即下载
关于在线投票的毕业论文

在线投票系统 摘要: 如今,越来越多的网站开始重视网页的互动性。而在线投票就是一个非常重要的互动形式。本文以JSP、SQL Server2000为编程工具开发了一种通用网上投票系统,并介绍了系统的调试、运行环境、系统功能、系统设计以及系统实现。 关键词:在线投票;JSP;SQL Server2000 Abstract: Nowadays, more and more sites starting to focus on interactive web pages. The online voting is a very important forms of interaction. In t

立即下载
批注Assignment 2

Assignment 2 You are tasked to implement a voting system for electing a leader of a political party. The process is as follows:

立即下载
MQTT Essentials - A Lightweight IoT Protocol

pdf 文件 如涉及侵权内容,您的资源将被移除 * 请勿上传小说、mp3、图片等与技术无关的内容.一旦发现将被删除 * 请勿在未经授权的情况下上传任何涉及著作权侵权的资源,除非该资源完全由您个人创作 * 点击上传资源即表示您确认该资源不违反资源分享的使用条款,并且您拥有该资源的所有版权或者上传资源的授权

立即下载
Using standard NFS to support a third

Using standard NFS to support a third voting disk on a stretch cluster configuration.

立即下载
domino发外网邮件时报错:SMTP Protocol Returned a Permanent Error 554 Relay access denied

domino在发外网邮件时,mail.box中报错:SMTP Protocol Returned a Permanent Error 554 Relay access denied

立即下载
A Protocol for Packet Network Intercommunication

对最初网络的一份描述性文档。是网络中的圣经,网络由此产生

立即下载
tensor voting理论详解(代码实现)

tensor voting理论详解,很棒的资源,希望大家多多支持

立即下载
Your free guide how to find a product to sell online

Your free guide how to find a product to sell online

立即下载
TCP/IP Fundamentals for Microsoft Windows

This online book is a structured, introductory approach to the basic concepts and principles of the Transmission Control Protocol/Internet Protocol (TCP/IP) protocol suite, how the most important protocols function, and their basic configuration in the Microsoft® Windows Vista™, Windows Server® 2008

立即下载
jsp技术投票系统

投票系统原代码(JSP实现) 这是用文本文件作为存储载体的投票系统:-voting system source code (JSP), which is used as a text file storage vector of the voting system :

立即下载
tensor voting的 matlab实现

这个是从github上找到的 ~可以参考参考 c++代码木有找到~

立即下载
Boosting the margin—— a new explanation for the effectiveness of voting methods.pdf

Boosting the margin—— a new explanation for the effectiveness of voting methods.pdf,比较好的一篇文章,大家需要的可以看看

立即下载
Manning.Ajax.in.Practice.Jun.2007.pdf

The Web has always been a hotbed of innovation, and, in its short history, we’ve seen many examples of an invention being repurposed and reused in ways far beyond the intentions of the original inventor. A network-based docu- ment retrieval protocol was subverted by the Common Gateway Interface in

立即下载
NetShop

A online shopping application.

立即下载
A Perceptual Organization Approach to Computer Vision and Machine Learning

tensor voting

立即下载
A Guide To The Kafka Protocol

A Guide To The Kafka Protocol - Apache Kafka - Apache Software Foundation

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
6 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: