魏蓉

作品数：5被引量：2H指数：1
导出分析报告
供职机构：西南科技大学计算机科学与技术学院更多>>
发文主题：防火墙测试防火墙测试系统测试器TTCN-3更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《科技资讯》《中国科技博览》《科技创新导报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
以能力为导向的信息安全综合实验教学改革
《现代计算机》2016年第21期6-9,共4页韦勇 毛光灿 魏蓉 秦宝东 
西南科技大学教改项目(No.15XN0037)
针对我国高等院校信息安全综合实验教学存在的培养目标不明确,课程内容较分散,教学模式较单一,成绩考核不全面等问题,分析信息安全综合实验各个教学环节中存在的不足,提出以能力为导向、以项目为驱动、全过程考核的信息安全综合实验教...
关键词：信息安全 综合实验 能力导向 项目驱动 教学改革 
集成NAT功能的防火墙测试方法被引量：1
《科技资讯》2011年第8期19-19,共1页魏蓉 
西南科技大学科研基金资助成果;项目编号:09zx3122
目前大多数防火墙都支持网络地址转换NAT功能,当防火墙启用了NAT功能,防火墙不仅会对数据包进行检查和过滤,同时也会改变数据包的IP地址和端口号,对此本文提出了一种启用了NAT的防火墙测试方法。
关键词：防火墙测试 NAT 
防火墙测试方法的研究
《科技创新导报》2009年第2期31-31,共1页魏蓉 
防火墙能否起到防护作用,最根本的方法是对其进行测试。本文讨论了现有防火墙测试方法的主要特点及局限性,指出了有待进一步研究的若干问题。
关键词：防火墙 测试 
基于TTCN-3的防火墙测试系统被引量：1
《科技资讯》2009年第1期68-68,共1页魏蓉 
防火墙系统是否有效起到防护作用,最根本的方法是对其进行测试。采用了与平台无关的抽象测试描述语言TTCN-3对防火墙测试部署进行描述,提出了一种有效解决防火墙测试的方法。
关键词：防火墙测试 TTCN-3 下测试器 上测试器 
用SMV验证SET协议的安全性
《中国科技博览》2008年第17期56-57,共2页魏蓉 
SMV是一个基于线性时态逻辑的符号化模型检验工具。本文利用SMV系统对典型的电子商务协议SET协议进行描述和验证，并得到SET协议的一个缺陷，最后讨论了一些利用此缺陷而存在的攻击。
关键词：模型检验 SMV SET协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部