【摘 要】
：
UC（通用可组合）安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模
【机 构】
：
解放军信息工程大学电子技术学院,装甲兵工程学院
【基金项目】
：
国家自然科学基金资助项目（60703115）, 国家“863”计划资助项目（2007AA01Z405）
论文部分内容阅读
UC（通用可组合）安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种公钥基础设施风格的双陷门分离的信任模型DBT模型,作为实验在DBT模型中实现了UC安全的承诺协议。实验结果表明DBT模型集成了现有信任模型的优点,并且支持协议的完全可模拟性。
其他文献
本文通过对大功率短波转动折合偶板子阻抗的分析和实际测量，提出了利用自动调谐单元对天线进行全频段、全组态阻抗调配，以实现良好的宽带性能，可有效提高该类型天线的设计和使用
她是外柔内刚，外圆内方的优雅女性；她既大碗喝酒，也小鸟依人；在事业发展与原则问题上，她刚强、果断、理性、意志坚定；在家庭与日常管理中，她包容、忍耐、温柔、民主，实行柔性管理——
激光头发移植作者单位：５１０６０２空军广州医院星源激光医疗中心薛鹏李洪亮崔凤祥头发移植是治疗秃发的一种有效方法，从受植床的准备类型上分成小孔植发，微孔植发，以及切线或切口植发三种。
摘要：本文提出了一种基于广播电视网络运营商宽带网络来实现远程医疗监控应用平台的设计与实现方案，对在广电宽带网络上开展远程医疗业务进行了有意义的技术探索和研究。
我国幅员辽阔,果树种植面积大,果园包括山区、丘陵等地域,近年来果园种植由单户小面积种植逐步向小规模化经营转变,传统农业机械多为通用型机具,在果园作业过程中存在功能不
本文介绍了福州电视台高标清DSNG卫星车的设计与实践情况,并对车体选型改造、卫星传输系统设计、车载EFP系统设计以及视频系统测试进行了分析说明。
文章通过对生态城市内涵及特征的解读,从生态健康、社会和谐、经济高效三个方面设立本溪新城的生态指标,提出在本溪新城构建＂一环一带多核＂的生态空间体系,确定了本溪新城的污
丹东历史上称为安东,安东旧街市原名沙河镇,自古就是一个边陲重镇。从1876年县署设于沙河镇以来,优越的地理位置和丰富的自然资源为丹东城市发展提供了重要的物质基础,发展速
提到OTT，绝大多数对此有些概念的人第一反应就是互联网电视。可以通过电视看网络视频就是OTT了。更深入了解一些关注于此的，可能还会想到牌照方与运营商间的博弈、险死还生的小