【摘 要】
：
移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的
【基金项目】
：
国家自然科学基金联合基金[U1204608];国家重点研发计划[2016YFB0800100]
论文部分内容阅读
移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的安全性,目前尚缺乏有效的分析方法。文章首先使用有穷状态自动机描述动态虚拟MSISDN的状态迁移;使用细胞自动机描述动态虚拟MSISDN的变化结构;使用层次自动机描述动态虚拟MSISDN的不同计算粒度。其次,将各种自动机按照一定的逻辑关系组织起来,即可获得描述动态虚拟MSISDN内在行为的拟态自动机模型。然后,使用特定的线性时序逻辑公式
其他文献
酿酒酵母(Saccharomyces cerevisiae)是研究糖代谢网络的良好实验材料。奶制品中发现的酿酒酵母马奶谱系菌株能够高效利用半乳糖并解除葡萄糖抑制效应。葡萄糖胺是一种葡萄糖
根据高速铁路客车冷负荷特点，采用谐波反应法以非稳态传热的方式计算高速铁路客车的冷负荷，对高速铁路客车和普通铁路客车的车外综合温度波及车体围护结构的传热量进行计算，并对
在前人研究一维映射的迭代根以及Babbage方程解的工作基础上,进一步讨论Babbage方程的一类不连续解,进而研究平面Babbage方程的解.同时,给出平面Babbage方程存在平面二次多项
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield