A Research on Usable Cryptographic Protocol and its security model

在本研究中，我们建立了认证密钥协商协议，用于在资源受限的设备上建立安全通道。该协议可以在计算能力较小、用户界面较小的设备上执行。我们还建立了包含这些设备规格的安全评估模型。然后在该模型中证明了所提出的认证密钥协商协议的安全性。并在iOS平板电脑上实现了基本协议，验证了协议的可行性。

In this research, we build authenticated key agreement protocol which is used to establish secure channel on resource constrained devices. This protocol can be performed on the devices which have small computational capabilities and tiny user interfaces. We also establish a security evaluation model for these devices including the specifications of these devices. Then we prove the security of the proposed authenticated key agreement protocol in the model. We also implement basic protocol on the iOS tablet and confirm feasibility of the proposed protocol.