-
题名基于RFSM的健壮性测试技术研究
被引量：2
- 1
-
-
作者
王乐春
朱培栋
龚正虎
-
机构
国防科学技术大学计算机学院网络所
-
出处
《通信学报》
EI
CSCD
北大核心
2005年第9期21-29,34,共10页
-
基金
国家"973"重点基础研究发展计划基金资助项目(2003CB314802)
国家自然科学基金资助项目(90204005)
+1 种基金
国家"863"计划基金资助项目(2003AA121510
2005AA121570)
-
文摘
提出了一种系统实现协议健壮性测试的方法,该方法首先在分析BGP协议状态机的基础上,认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性,就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM(robustnessfinitestatemachines),把RFSM模型应用到BGP健壮性测试当中,文章详细构造了BGP冲击集合和RFSM,生成了反向测试集,并对测试特征序列和测试预言等问题进行了讨论。Cisco7200实际测试应用表明,用该方法生成的测试集与一致性测试集相比,其错误处理的覆盖率扩大了54%,检错能力提高了2.8倍。
-
关键词
健壮性测试
rfsm
反向测试集
BGP协议
-
Keywords
robusmess testing
rfsm
negative test suite
BGP
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名RFSM10无缝内衣机的特性与生产效果
- 2
-
-
作者
胡春祥
-
机构
浙江日发纺织机械有限公司
-
出处
《现代纺织技术》
2009年第5期31-33,共3页
-
文摘
介绍RFSM10无缝内衣机的用途、结构特点及设计功能。在用户使用、比较的基础上,对其产出品进行统计分析,探讨实际的编织效果。
-
关键词
rfsm10无缝内衣机
机械特点
使用性能
-
分类号
TS183.41
[轻工技术与工程—纺织材料与纺织品设计]
-
-
题名面向FPGA知识产权保护的低开销按次付费授权方案
- 3
-
-
作者
宋斌威
王耀
-
机构
郑州大学电气与信息工程学院
-
出处
《计算机应用》
CSCD
北大核心
2023年第10期3142-3148,共7页
-
基金
国家重点研发计划项目(SQ2020YFF0404465)。
-
文摘
知识产权(IP)核按使用次数授权付费可以使系统设计者根据实际情况以较低的价格购买IP,已成为一种主要的IP授权方式。针对IP核按次付费的应用需求,提出一种应用于现场可编程门阵列(FPGA)IP的基于可重构有限状态机(RFSM)和物理不可克隆函数(PUF)的新型按次付费IP授权方案RFSM-PUF。针对在实际应用中不同厂家的IP保护方案协议无法通用的问题,提出一种适配所提方案的IP保护认证协议确保IP认证的保密性与灵活性。首先,在IP的原始有限状态机(OFSM)中嵌入一个RFSM,使得只有IP核设计者能够正确解锁IP;其次,将激励输入PUF电路中产生响应;最后,将license和PUF响应组成的密钥共同输入RFSM中来解锁IP。安全性分析结果表明,所提方案满足各项安全指标。在LGSyth91基准电路上的测试实验结果表明,在满足各项安全条件的前提下,所提方案在每个IP核中相较于基于PUF的按次付费授权方案平均查找表(LUT)数减少了1377,显著降低了硬件开销。
-
关键词
现场可编程门阵列
知识产权
可重构有限状态机
物理不可克隆函数
LGSyth91基准
-
Keywords
Field Programmable Gate Array(FPGA)
Intellectual Property(IP)
Reconfigurable Finite State Machine(rfsm)
Physical Unclonable Function(PUF)
LGSyth91 benchmark
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
TN919
[电子电信—通信与信息系统]
-
