Formal Analysis and Enhancement on 3GPP AKA protocol with KG Logic

3GPPAKA协议的设计者使用BAN逻辑对协议进行形式化的分析,并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性,设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性。本文给出基于信仰变化的KG逻辑方法,指出脆弱性所在,并对改进后的协议方案进行验证。

基于领域知识图谱的应急处置预案动态融合

随着与社区矫正对象有关的突发事件情况的日益复杂,从已有应急预案库中匹配得到的单一固定方案无法通过动态注入数据为不同的异常情景制定智能化应急处置预案,难以满足应急决策所需.为了提高社区服刑监管质量以及信息化监管水平,本文针对异常情景数据的多源异构、复杂关联和动态演化等特点,对多源异构数据进行联合挖掘,构建司法领域知识图谱(KGjudicial)与犯罪事理图谱(ELGcrime),为智能化应急预案的动态生成提供数据基础与辅助决策支持.此外,针对跨区域、多部门应急协同处置的实际业务需求,本文探究多部门信息协同方法以及应急处置预案的动态对接机制.结合司法领域知识图谱与犯罪事理图谱提出多部门应急处置预案融合技术,实现司法行政跨区域联合执法,提高社区服刑监管质量,节约社区矫正对象管理成本,为司法行政多部门的应急处置提供技术支持,维护社会长治久安.