基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于传感器网络和RFID的现代物流监控系统的设计

分析了现有物流监控系统的不足,综合了无线传感器网络技术和RFID技术的优点,提出了基于无线传感器网络和RFID技术的新型物流监控系统.阐述了系统的组成结构和工作原理,并详细介绍了系统的硬件和软件设计与实现.系统的实现对于电子商务物流以及电子商务自身的发展都有很大的现实意义.     

灰数运算的几个基本问题

提出了灰数Ｏ与灰数１的概念，证明了它们具有许多类似于通常数Ｏ和１的性质、同时引进了灰数的绝对值，并对其主要性质作了研究，得到了有关灰数的绝对值的若干不等式．     

Tor系统的改进方案

本文提出一种新的Tor匿名系统,能够使Tor系统发送者和接受者的身份得到更高的保护。引入了Crowds系统群组的概念,通过在群组中匿名提高发送者的匿名性。同时引入了组播的方法,通过向一个群组发送消息提高接受者的匿名性。这种方法能够有效的抵抗流量分析,使得本地监听者和组播监听者无法得知发送者和接受者的身份信息,提高了Tor系统的安全性。     

动态细粒度访问控制关键问题研究

访问控制是计算机网络安全中的一个非常重要的问题.分析了动态分布式环境中访问控制面临的问题,对角色访问控制问题中角色委托、角色依赖、权责分离以及时间约束等问题进行了研究.     

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

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

课堂教学评比中的的fuzzy综合评判

通过引入一种反映决策者心态的乐观指标，给出了区间数的一种排序方法，以此为基础，利用区间值fuzzy综合证评判理论，对参加聊城师范学院中青年教师课堂教学竞赛的教师作了综合评判。     

课堂教学评比中的fuzzy综合评判

通过引入一种反映决策者心态的乐观指标,给出了区间数的一种排序方法．以此为基础,利用区间值ｆｕｚｙ综合评判理论,对参加聊城师范学院中青年教师课堂教学竞赛的教师作了综合评判．     

基于本体的数据挖掘在CRM决策分析中的应用研究(英文)

电子商务客户关系管理中,实现基于语义层面上的挖掘是提高用户数据挖掘质量的一个关键性问题,本文融合了本体和数据挖掘技术,提出了基于本体的数据挖掘决策分析模型,利用基于本体的数据挖掘方法从语义层面上实现了对用户数据的挖掘,实现了用户数据的高效率和高精度挖掘,并根据挖掘结果进行决策分析,根据分析结果为用户提供基于RSS聚合的个性化服务.     

四元素集上拓扑个数的计算

介绍了计算四元素集上拓扑个数的主要方法和用微型计算机计算的结果．运用四元素集的基本性质，分析了四元素集上拓扑的结构，给出了四元素集上拓扑个数的主要计算过程．