论文部分内容阅读
针对基于SSL的安全通信模型中SSL握手协议部分在访问控制方面的缺陷,本文提出了一个基于PMI的安全解决方案,并对改进设计进行了分析和BAN逻辑证明.
基于PMI的SSL协议改进设计及形式化分析
【摘 要】
：
针对基于SSL的安全通信模型中SSL握手协议部分在访问控制方面的缺陷,本文提出了一个基于PMI的安全解决方案,并对改进设计进行了分析和BAN逻辑证明.
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2005年6期
其他文献
三星电子展示了其开发的4G技术，该技术能在时速60千米的移动载体上实现每秒100兆字节的无线数据传输、交换。三星电子还将展示一种在固定载体上能以10倍于以上数字的速度（即每
据报道，美国铝公司(Alcao)汽车铸造厂铸造出一种铝质空心后控制臂，与钢制同类部件相比，其重量减轻40％，而与实心铝部件相比，重量减轻30％。这种新的空心铸铝部件是美国铝公司采用真空-
城市是市场经济的中心，人流、物流、资金流高度集中，金融资源丰富。近年来，随着长三角地区城市化进程的不断加快，国内各大商业银行纷纷制定城市化业务发展新战略．稳固、提高其在长
定标器(Scaler)的主要功能是对视频图像的分辨率进行变换,使图像能够正确地显示在分辩率固定的LCD显示器上。本文首先对定标器的输入输出数据格式进行说明,然后给出一种定标器图像缩放引擎的设计。
2005年我市农村居民在收入高速增长的推动下。消费水平有较大提高，农村居民消费支出快速增长，消费结构呈现出新的特点。据农村住户400户抽样调查资料显示：2005年我市农村居民生
何首乌 宋代《开宝本草》称之“久服长筋骨，益精髓，延年不老”。现代研究发现，何首乌能促进神经细胞的生长，对神经衰弱及其他神经系统疾病有辅助治疗作用，并可调节血清胆固醇，降低血糖，提高肝细胞转化和代谢胆固醇的能力，还具有良好的抗氧化作用。 首乌雌鸡 原料：雌鸡500克，何首乌50克，笋丁50克，料酒、盐、酱油、味精、淀粉、花生油各适量。 制作：将何首乌放入砂锅，加适量水煮好，滤汁备用；鸡肉洗净，
胡适（1891～1962），安徽绩溪上庄村人。原名胡洪骋、洪马辛、嗣糜、字希疆，参加“庚款”留美考试后改名适，字适之，学名洪驿，笔名天风、藏晖等。现代著名学者、诗人、历史家、文学家，哲学家。胡适因提倡文学革命而成为新文化运动的领袖之一。 胡适喜欢吃木瓜，为了证实是否是《诗经》里“投我以木瓜，报之以琼琚”的木瓜，就抽出《诗经》来读，但仍吃不准是否指现在的木瓜。后来再查了《植物大辞典》，方才清楚。他
思想政治工作是办公室做好政务服务、事务服务和政府法制工作的政治保障。办公室思想政治工作要取得实效，就必须按照客观规律办事，抓住重点，把握关键，以点带面，点面结合，着重把握好
56岁时,杜甫开始失聪,耳朵有了问题：＂眼复几时暗,耳从前月聋。＂也许有人看见这个题目会问,还有用诗写病历的,也太浪漫了吧。专门用诗写病历的医生,我的确没有见过,但饱含病历内