国家自然科学基金(61003230)
- 作品数：5 被引量：29H指数：3
- 相关作者：陈钟胡建斌王永刚杨晓明王佳昊更多>>
- 相关机构：北京大学电子科技大学莫纳什大学更多>>
- 发文基金：国家自然科学基金四川省科技支撑计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种实用动态完整性保护模型的形式化分析被引量：3
- 2013年
- 从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性保护模型的优缺点,提出了一种实用型的动态完整性保护模型(dynamic integrity protection model,DMIP).它面向Linux系统,解决了完整性级别划分困难以及现有完整性模型可用性不强的问题.针对来自网络的攻击以及本地恶意代码破坏系统完整性等问题给出了保护策略.从与Linux系统及系统中已有的应用程序的兼容性角度出发,DMIP做到了无代价兼容.给出了DMIP模型的不变式和约束,针对模型进行了安全定理的形式化证明,保证了模型的安全性.
- 杨涛王永刚唐礼勇孔令波胡建斌陈钟
- 基于身份竞争与协作的RFID阅读器防碰撞算法被引量：3
- 2015年
- 在多阅读器环境中,现有的大多数阅读器防碰撞算法在利用各种方式确定某些阅读器工作的同时,其他阅读器只能闲置,使得阅读器资源并未被充分利用。为优化碰撞算法和系统效率,提出一种改进算法,该算法利用闲置阅读器协助其他阅读器工作,并且引入身份竞争机制、双信道机制和载波监听机制减少碰撞。通过与Pulse算法和ALOHA算法的仿真对比实验,可以发现改进算法的系统效率和吞吐量有一定的优势。
- 杨晓明杜力王佳昊邓腾彬
- 关键词：双信道
- 基于有限自动机的RFID入侵检测被引量：4
- 2014年
- 利用RFID中间件的特点,加入入侵检测异常检测模块,通过对入侵者的攻击数据流与RFID系统内部的数据流进行对比后提取特征向量,并通过对入侵数据流对应子模块的归纳建立有限自动机,对有限自动机的归并来提高系统入侵检测的效率。此外,参照归并后的有限自动机对攻击进行分类,通过对攻击本质的分析与提取来检测一部分入侵检测自动机里没有相应的攻击。最后,对固定攻击比例的访问事件样本乱序进行试验,试验结果表示系统在3轮测试中均得到稳定的检测率。
- 杨晓明张翔王佳昊吴劲秦志光
- 关键词：有限自动机入侵检测RFID
- 一种社交网络虚假信息传播控制方法被引量：19
- 2012年
- 针对社交网络中日渐泛滥的虚假信息,提出了一种社交网络虚假信息传播控制方法Fidic,针对社交网络中虚假信息传播时途经的用户序列,该方法基于PageRank的思想并结合用户传播虚假信息时的指向关系来对用户进行评级,用户的评级越高表明其在虚假信息传播过程中起到的作用越大.该方法通过控制高评级用户的传播行为从而缩小虚假信息传播的覆盖面,最终达到遏制甚至消除虚假信息传播的目的.实验证明该方法既可以获得较高的精度,而且方便可行,具有较高实用价值.
- 王永刚蔡飞志Eng Keong Lua胡建斌陈钟
- 关键词：社交网络虚假信息PAGERANK
