随着物联网的快速发展，为了管理爆炸式增长的设备，物联网系统中的时间同步变得至关重要。传统的解决方案是指定一个可信时间继电器为物联网提供时间同步服务。然而，由于内部错误或外部攻击，物联网中的时间同步服务面临单点故障，导致物联网设备跨域停机等严重后果。一些中心化的时间同步方法，例如NTP和PTP，依赖于时间服务器（主时钟）的正确性，容易因崩溃、断电或外部攻击而受到攻击。大多数分布式方案都面向崩溃容错，...

本文提出了一种基于区块链的传感器物联网（IoST）节点认证模型。网络中的节点根据其凭据进行身份验证，以使网络免受恶意节点的侵害。在 IoST 中，传感器节点从环境中收集信息并将其发送到簇头 (CH) 以进行额外处理。 CH 聚合感知的信息。因此，由于额外的工作量，他们的能量会迅速耗尽。为了解决这个问题，我们提出了基于距离、度数和剩余能量的低能量自适应聚类层次（DDR-LEACH）协议。 DDR-L...

背景：信息通信技术发展为各个领域提供服务。尤其是移动技术的发展，使得无处不在的服务成为可能。然而，随着技术的进步，安全性越来越受到重视。如果服务器受到攻击或键盘记录，通过输入 ID 和密码进行用户身份验证的现有方法可能会泄露敏感信息。因此，需要多级身份验证来防止服务器攻击或键盘记录。方法：生物特征认证技术已被智能手机使用，但在设备丢失的情况下应用具有挑战性，因为中央服务器不管理生物特征数据。通过区...

技术的进步带来了设备的创新，设备的数量每天都在增加。各行业每天都在推出新设备，预计到 2022 年将有 500 亿台联网设备。这些设备通过称为物联网 (IoT) 的互联网进行部署。物联网设备的应用包括天气预报、医院手术监控、使用生物芯片识别动物、提供汽车跟踪连接、智能家电等。物联网设备在软件和硬件端都存在与安全相关的限制。安全的用户界面可以克服软件级别的限制，例如前端用户界面可以通过公共和专用网络...

随着区块链技术的传播，智能合约——监管在不可信环境下加密资产交换的计算机协议——已经变得流行起来。智能合约的一个标志性的安全属性是流动性:在非流动性合约中，可能会发生一些资产被冻结的情况，即不能被任何人赎回。这个问题的相关性可以从最近对以太坊的流动性攻击中看出，这些攻击冻结了数亿美元。我们解决了在BitML上验证流动性的问题，BitML是一种智能合约的DSL，带有比特币的安全编译器，具有货币转移、...