一种新的Savant中间件信息过滤方法

物联网中存在大量的EPC信息，这些信息被阅读器采集后经过Savant中间件的处理后送至上层应用程序，因此如何提高Savant的处理效率成为了研究者关注的重心．本文简述了Savant中间件的体系结构和工作原理，分析了Savant系统处理EPC信息的过程，在对处理过程进行形式化建模与分析的基础上，提出了一种新的Savant过滤海量EPC信息的方法，并分析了这种处理方法的优势．最后用LTSA工具验证了该方法的安全性和有效性．