守正出奇
这篇文章综述了部分关于无人机安全方向的研究。
最近在阅读Batch Authentication Protocol相关的论文中发现，很多方案使用基于身份的数字签名算法。下面总结出两个最常见的签名算法。
Solidity是以太坊官方推荐的编程语言，它是一门静态类型语言。与C++等静态类型语言类似的，Solidity的数据类型分为两种，分别是值类型以及引用类型。
ECDSA(Elliptic Curve Digital Signature Algorithm)，椭圆曲线数字签名算法，是一种广泛应用于数字签名的算法，例如比特币使用的数字签名算法便是ECDSA。ECDSA是基于椭圆曲线公钥/私钥对的数字签名，下面主要介绍椭圆曲线以及ECDSA的证明。
在进行以太坊开发之前，了解一下以太坊和区块链的一些术语对开发有所帮助。
2013年年末，Vitalik Buterin针对比特币系统非图灵完备性(一切可计算的问题都能计算，这样的虚拟机或者编程语言称具备图灵完备性)、效率低等缺点，首次提出了以太坊概念，并且发布了《以太坊：下一代智能合约和去中心化应用平台》白皮书。2018年5月，以太币成为市值第二高的加密货币，仅次于比特币。(19年3月16日以太币的价格是960.4人民币/ETH)。
在usenix 2018顶会上，第一作者Dennis Felsch发表了论文The Dangers of Key Reuse: Practical Attacks on IPsec IKE。论文主要描述在IKE的不同版本和模式之间，重用密码对导致跨协议认证绕过，从而使攻击者可以模仿受害主机或者网络。下面是对该论文中的知识背景与细节进行讨论。