【摘 要】
：
UCSA（Universally Composable Symbolic Analysis）框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提
【机 构】
：
上海交通大学电子信息与电气工程学院
【基金项目】
：
国家“973”计划基金资助项目（2003CB317005）,国家自然科学基金资助项目（60573002,60703033）
论文部分内容阅读
UCSA（Universally Composable Symbolic Analysis）框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列和构造模拟进程的方法分析两者在UCSA框架下的可靠性和完备性。结果表明两者在UCSA框架下是等价的。
其他文献
应用拉曼光谱技术,分析了亚油酸自氧化过程及紫外辐照对亚油酸氧化反应的影响。结果表明：δ（=CH）的特征峰1266cm-1和（=CH—H）中C—H伸缩振动标志峰3014cm-1的强度逐渐减小并随着时
“化”育美德是中国传统德育的重要方法之一。中国传统道德教育思想博大精深，在道德教育的地位、内容、方法和机制上均有其鲜明特色。借鉴中国传统德育心理学思想，创新运用“化
都是"辣"惹的祸2005年5月的一天,一则"爆炸性"的消息从浙江衢州龙游传出:龙游县开始对龙游小辣椒生产企业进行专项整治,要求停止生产带辣味的"龙游小辣椒",对超市、旅游景点
风险度量研究是金融领域里最核心的课题之一,也是实际证券投资活动中至关重要的一环,投资者在权衡投资收益和风险时,以其对投资风险的偏好来进行证券资产的选择,所以,风险测
“生活就像海洋,只有意志坚强的人,才能到达彼岸。”——马 克思
“9·11事件”后美国刑事司法政策发生了一些变化,其核心在于寻求个人自由和公共安全价值理念之间的平衡。把美国刑事司法政策调整放入其发展轨迹中分析,可以发现,一个国家刑
本文主要以湘西州民族传统节庆体育为主要"研学游"对象,分析二者之间的关联互补性,并为二者更好地融合发展提出参考策略,旨在丰富湘西州中小学研学游活动内容,探寻湘西州民族
卫星导航定位系统实现导航定位需要观测到足够的卫星数,并且卫星的几何分布也会影响定位精度。当观测条件不理想时,将难以满足用户的精密定位需求,严重时甚至无法实现定位。
自从大黑熊开了一家大熊餐厅后,大伙儿都管他叫大熊了。大熊坐在前台,眼睛却一直望着外面。餐厅的生意太冷清了,他多么希望一下子来一拨儿人啊,哪怕忙得晕头转向也乐意!可是