9、CLIBDA：普适计算中的可否认认证方案

CLIBDA：普适计算中的可否认认证方案

1. 普适计算与认证需求

普适计算涵盖了互联网、微处理器、高级中间件、无线通信、操作系统、传感器、云计算等多个方面。它虽然让人们能够方便地获取相关信息和应用，但也带来了一些研究挑战，其中安全问题尤为关键，这是由其异构性、动态性、移动性和开放性所决定的。

在普适计算环境中，认证是一项重要的安全需求。服务提供商需要对用户进行认证，确保他们以合法的方式访问服务。通常，用户会向服务提供商发送证据，服务提供商检查其有效性。如果证据有效，用户将获得服务访问权；否则，访问请求将被拒绝。通过认证可以实现不可否认性，防止用户否认之前的行为。

然而，并非所有普适计算应用都需要不可否认性。像电子投票、在线议价、安全在线谈判和电子邮件等应用，更需要可否认性。可否认认证（DA）方案能够满足这一需求。DA方案具有两个特点：一是能让预期的接收者识别消息的来源；二是即使在胁迫下，接收者也无法向第三方证明消息的来源。这些特点对于在线议价、安全在线谈判和电子投票系统至关重要。因此，提出了一种新的异构DA方案——CLIBDA，适用于普适计算环境中需要可否认性的应用。

2. 相关工作

已知的三种公钥密码系统按出现顺序依次为无证书密码系统（CLC）、基于身份的公钥密码系统（IBC）和公钥基础设施（PKI）。
- PKI ：存在一个证书颁发机构（CA）负责颁发公钥证书，通过CA的签名来确保公钥和用户身份的绑定。通过验证公钥证书，可以确定公钥的有效性。但PKI的主要困难在于如何高效管理公钥证书，包括存储、分发、撤销以及证书验证的计算成本。
- IBC