Nowadays, it is still a major challenge to design a secure cross-domain authentication protocol for heterogeneous wireless networks with different security parameters. As a new technology, blockchain has attracted people’s attention because of its tamper-proof and decentralized characteristics. In this paper, we propose a cross-domain authentication and key agreement system based on smart contract of blockchains. Public keys of the nodes are managed using the smart contracts, and the system parameters are confirmed by contract query. On this basis, a cross-domain authentication and key agreement protocol is designed. In this protocol, roaming users can select temporary authentication parameters according to the system parameters of the roaming domain to complete authentication and key agreement, and users are anonymous in the process. Security of the protocol is demonstrated under the CK model, and two formal analysis tools are used to further analyze the protocol. Since the protocol does not have complex cryptographic operations and certificate verification, it has lower computational and communication overhead.

中文翻译：

---

基于智能合约的异构无线网络跨域认证和密钥协商系统

如今，为具有不同安全性参数的异构无线网络设计安全的跨域身份验证协议仍然是一个重大挑战。区块链作为一种新技术，由于其防篡改和去中心化的特性而引起了人们的关注。本文提出了一种基于区块链智能合约的跨域认证和密钥协商系统。使用智能合约管理节点的公钥，并通过合约查询确认系统参数。在此基础上，设计了跨域认证和密钥协商协议。在该协议中，漫游用户可以根据漫游域的系统参数选择临时的身份验证参数，以完成身份验证和密钥协商，并且用户在此过程中是匿名的。在CK模型下证明了该协议的安全性，并使用了两种形式化的分析工具来进一步分析该协议。由于该协议没有复杂的密码操作和证书验证，因此它的计算和通信开销较低。