一种定义于伽罗瓦域的信号函数

摘要：

信号监控是一种有效的控制流错误检测技术,采用不同的信号函数所引起的性能开销和存储器开销差别很大.为了降低开销,提出了一种新的用于控制流错误检测的信号函数,该信号函数定义于伽罗瓦域中.给出了分配状态代码和计算状态信号的算法.该算法不是用穷尽搜索的方法而是通过矩阵变换给状态赋值.在该算法中,对于每一个状态转换,信号的计算只需要一次加法操作和一次乘法操作.以前的信号函数须实现为二维表格,而给出的信号函数只需实现为一维表格,其开销比以前的信号函数低.还给出了在保证错误检测延迟一定的条件下进一步降低开销的方法.该信号函数在硬件和软件上都可以有效地实现.

关键词：控制流、有限状态机、伽罗瓦域、信号函数

所属期刊栏目：37

分类号：TP306(计算技术、计算机技术)

资助基金："九五"预研项目16.6.2.7/A976000-06

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：796-801