首页> 中文学位 >开放网络环境中的安全协议及其关键技术研究

【6h】

开放网络环境中的安全协议及其关键技术研究

代理获取

页面导航

摘要
著录项
相似文献
相关主题

摘要

在进行安全协议的形式化分析时,需要考虑三个关键问题:①安全协议模型如何建立,以及攻击者能力如何刻画?②协议的安全特性如何表示?③在安全协议形式化模型框架下,如何验证安全特性是否满足?

著录项

作者
张勇;
展开▼
作者单位

上海交通大学;

展开▼
授予单位上海交通大学;
学科计算机应用
授予学位博士
导师姓名陈涵生,白英彩;
年度 2003
页码
总页数
原文格式 PDF
正文语种中文
中图分类 TP393.08;
关键词
安全协议; 安全特性; 约束问题求解; 一对多博弈树; 符号化判定;

相似文献

中文文献
外文文献
专利

1. 以行车调度为中心的综合监控系统在开放网络环境中的安全性研究 [J] . 谢红兵 . 微型机与应用 . 2015,第002期
2. 基于MSSQL SERVER的PDM系统在开放式网络环境中的安全性研究 [J] . 张建育 ,田凌 ,李强 . 计算机工程与应用 . 2002,第017期
3. 实用安全多方计算协议关键技术研究进展 [J] . 蒋瀚 ,徐秋亮 . 计算机研究与发展 . 2015,第010期
4. 无线局域网安全威胁及802.11i协议关键技术研究 [J] . 渠瑜 . 齐鲁师范学院学报 . 2005,第003期
5. 低功耗网络环境下通用应用层安全协议的设计 [J] . 王乐 ,张栋 ,史迎春 . 电子科技 . 2016,第005期
6. 在开放式网络环境中加强用户安全管理的途径 [C] . 于洁 . 第十二届全国计算机安全技术交流会 . 1997
7. 开放网络环境下敏感信息传输安全模型研究 [A] . 刘宇新 . 2013

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号