[发明专利]一种安全协议自动化设计实现方法无效
| 申请号： | 200810019274.X | 申请日： | 2008-01-18 |
| 公开（公告）号： | CN101217545A | 公开（公告）日： | 2008-07-09 |
| 发明（设计）人： | 蒋睿;张卓立;周世健 | 申请（专利权）人： | 东南大学 |
| 主分类号： | H04L29/06 | 分类号： | H04L29/06;H04L9/32 |
| 代理公司： | 南京经纬专利商标代理有限公司 | 代理人： | 叶连生 |
| 地址： | 21009*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种安全协议自动化设计实现方法，使用C/S系统结构设计，支持多用户并发操作，从客户端界面输入协议安全要素，在服务器端经形式化语言转换把其转换成基于扩展串空间模型的协议形式化语言描述内容，并根据消息机密性规则、协议认证正确性规则以及协议抗拒绝服务规则，采用优化匹配算法，选择性地自动进行优化匹配，生成符合要求的形式化协议消息内容；然后对所生成的形式化协议消息内容进行解释变换，生成常规的协议消息内容；最后由安全协议输出将所生成的常规协议消息内容由服务器端返回至客户端，在客户端IE浏览器界面以文本格式或图形格式进行输出。本发明系统采用C/S结构，可支持多用户并发操作，进一步提高了有效性。 | ||
| 搜索关键词： | 一种 安全 协议 自动化 设计 实现 方法 | ||
【主权项】：
1.一种安全协议自动化设计实现方法，其特征在于，使用C/S系统结构设计，支持多用户并发操作，从客户端界面输入协议安全要素，在服务器端经形式化语言转换把其转换成基于扩展串空间模型的协议形式化语言描述内容，并根据消息机密性规则、协议认证正确性规则以及协议抗拒绝服务规则，采用优化匹配算法，选择性地自动进行优化匹配，生成符合要求的形式化协议消息内容；然后对所生成的形式化协议消息内容进行解释变换，生成常规的协议消息内容；最后经安全协议输出将所生成的常规协议消息内容由服务器端返回至客户端，在客户端IE浏览器界面以文本格式或图形格式进行输出。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于东南大学，未经东南大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200810019274.X/，转载请声明来源钻瓜专利网。
