论文部分内容阅读
本文针对安全协议中的时限责任问题，提出结合责任性与新鲜性来分析时间标记，这种思路体现在我们新的时限逻辑框架中，比较Kudo^[8]的方法。新的逻辑体系因为有对消息完整性的判断，能更有效地防止消息的篡改与重发攻击，且更加简洁和实用。
安全协议的时限责任分析
【摘 要】
：
本文针对安全协议中的时限责任问题，提出结合责任性与新鲜性来分析时间标记，这种思路体现在我们新的时限逻辑框架中，比较Kudo^[8]的方法。新的逻辑体系因为有对消息完整性的判断
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
电子学报
【发表日期】
：
2002年10期
其他文献
目的探讨雾化吸入重组人干扰素∝1b治疗对小儿手足口病疗效和预后的影响。方法选取2012年3月至2015年6月期间我院确诊治疗的手足口病患儿116例,依据随机分配原则分为干扰素组
弹性函数是相关免疫布尔函数的自然推广。本文讨论均衡弹性函数，得到以下结果：给出了均衡弹性函数的一种结构，并因此得到了由均衡（n,m,2t)弹性函数构造均衡（n+1,m,2t+1)弹性函数的
本文把自适应滤波算法的优化准则之一最小二乘准则:J(n)=∑ni=1λn-i|e(i)|2写为矩阵形式,利用矩阵广义逆递推公式直接对输入信号矩阵而不是自相关矩阵进行递推更新,得到一种
目的探讨氟西汀治疗抑郁症血药浓度监测的临床应用。方法收集我院心理科2013年1月-2013年12月应用氟西汀治疗的抑郁症患者病例资料,共58例,按是否进行血药浓度监测分为观察组
目的探讨获得性免疫缺陷综合征（AIDS）合并恶性肿瘤的超声表现及其诊断价值。方法回顾性分析我院5年间收治的14例经超声引导下病理组织学检查证实为AIDS合并恶性肿瘤患者的超声
目的探讨家庭肠内应用对胃癌晚期患者营养状态以及生活质量的效果。方法选取我院2011-2013年收治的96例晚期胃癌患者作为研究对象,其中46例患者采用家庭肠内营养支持为EN组,
患者男，28岁，门诊以发绀原因待查收入院。体格检查：患者口唇发绀，呼吸困难，半坐卧位。胸骨左缘第3、4肋间可闻及收缩期杂音。CT示：肺血较少。超声心动图检查：多切面示主动脉右冠窦呈
开展大学生职业指导工作,有利于高校人才培养模式的改革,对提高大学生综合素质和就业竞争力,不断提升就业率有重要意义。结合我校实际,提出推动大学生职业指导工作的建议。
目的探讨瞬时波强（WI）技术评价不同左室构型原发性高血压病患者左室一动脉系统整体功能的临床价值。方法根据Ganau分类法将80例原发性高血压病患者分为左室正常构型组（23例）、向
如何在窄带低比特率链路上进行高效的语音数据等多业务综合接入,并保证语音等实时业务的质量是目前多业务接入的一个重点问题.本文提出的动态时分多业务接入方案解决了Digita