1987 年,B lakley 和 R undell[3] 提出把分析数学应用到密码学,即基于偏微分方程及其反问题的理论构造热流密码体制 (heat flow cryptosystem ).他们利用关于时间不可逆的整数阶热传导方程构造一类正向计算容易但反向求逆困难的函数 (称为单向散列函数),并进一步利用伪抛物型方程的两个初边值问题构造对称密码算法.其基本思想是利用伪抛物型方程在定解条件下正、反问题的适定性实现加密、解密的操作;保密性则 由方程系数未知的条件下伪抛物型方程反问题的不适定性来保证.目前,热流密码体制所取得的成果主要集中在两个方面:基于不的偏微分方程模型构造对称密码算法;探讨各种数值方法的稳定性、效率和精度,为热流密码体制建立稳定、高效的计算格式.
1 非线性分数阶双曲型方程
我们首先考虑线性方程
定义 1.1
作用在 B anach 空间上的有界线性算子半群 s (£),0t < ∞,被称为强连续算子半群,如果 lim _+0 (t)“= 'it对任意 ∈X 都成立.作用在上的强连续有界线性算子半群也 叫做半群
接着我们给出关于一般抽象 C auchy 问题的解的存在性及爆破解的定理.设 乱= u(x ,t) 满足下列抽象 C auchy 问题:
定义 1.2
若 U0 ∈X 且 N ∈L (0, ; ).由 (1.5) 给出的函数 U ∈c ([0, ;X ) 是初值问题 (1.4) 在 [0,T 1上的温和解.
定理 1.1[ 】 设 Ⅳ 是从到的局部 Lipschitz 的非线性算子,且满足(i) llⅣ(札)lixCbd(ii~llx ),Vu ∈X ,(ii) lIN (u1)一N (u2)IIx CLip(1l~lll,ll 2l1)lI,“1一U2llx ,其中d 和ip 是关于各 自变量的非减函数.那么对于 P > 0,存在(p) > 0,使得对于任意满足 Iluo(x)P 的 uo(x)∈X ,问题 (1.4)存在唯一的温和解 ( ,t)∈c ([0,Tm 】, ).进一步地,则
定理 1.2 设 7 满足 (1.10)且 = ( )∈X ,问题 (0.1)和 (0.2)存在唯一温和解 ( )∈c ([0,T】;).进一步地,我们有以下能量守恒关系.方程 (0.1) 两边同乘以 t 再关于 X 积分,得:
利用类似于 (1.11) 的估计,我们发现方程 (0.2) 的温和解是可以全局存在的,对方程 (0,1),我们有以下关于爆破解的结果.
定理 1.3若 Eo = E (u0(.),钆1(.))0,或者 E o = 0 且uou]dx > 0,则定理 1.2 中方程 (0.1) 的解会在有限时间内爆破,并且
注 1.1若> 0,对 0,1再附加条件,类似于文献 [7]中的讨论,同样可以得到关于爆破解的结论.注意到 (1.15) 弱于我们得到爆破解结论所依赖的条件,即 li m Ilu( )llLz( 。)∞·(1.18)
们没有找到 (1.18)成立的条件,但是我们在下面的定理中给出了 llu(t)ll~。的导数爆破条件.
注 2.1
加密系统最重要的性质在于保证 J[)(E (M ))= M ,即保证明文加密后再解密仍然是原来的明文.而我们的加密方案的生成密文是通过数值方法得到的 u (x,to),若以此 u(x,to) 求解方程 (2.1)来得出原来的初值 u( ,0),其误差取决于所使用的数值方法,有可能与真正的明文有较大的差别.为了减少这样的误差,实际的解密过程可以采用加密过程中求解方程 (0.2) 的差分格式,但迭代的方向和加密时相反,这样解密就是加密的逆过程,可以有效减少最终明文的误差,保证解密正确.
3 小结
本文分别讨论了方程 (0.2) 的解的全局存在性以及方程 (0.1) 的解的局部存在性,并给出两个关于爆破解的结论.我们指出利用方程 (0.2) 正、反问题的适定性,可以构造热流密码体制的加密算法.因为分数阶微分方程的数值算法还不成熟,特别是分数阶导数力学动力系统的计算稳定性至今还缺乏系统的分析研究,所以如何控制误差传播、构造实用的加密算法 尚有待进一步研究
筑牢安全防线:安企神企业助力特种设备机械企业数据防泄密解决方案
西安苛菲特机械设备有限公司 西安苛菲特机械设备有限公司致力于特种设备的发展,专业从事特种设备的研发、制造和销售。目前已成为有色冶金特种设备、大型船舶特种设备、煤化工特种设备的领军品牌,并在业内得到了“ 特种设备专家”的称号。公司以打造国内一流特种设备为使命,主要产品定型为高品质特种(高温、高压、高合金)流量控...
安企神软件——为中国铁道建筑集团有限公司筑牢数据防泄密系统
01公司介绍中国铁建是中国乃至全球最具实力、最具规模的特大型综合建设集团之一,入选世界500强企业、全球225家最大承包商之一等荣誉。公司以工程承包为主业,集勘察、设计、投融资、施工、设备安装、工程监理、技术咨询、外经外贸于一体,经营业务遍及除台湾省外全国31个省市(自治区)、世界20多个国家和地区,企业总资产820亿...
强化终端安全,安企神软件与涂料制造企业共创安全未来
西安经建油漆有限责任公司规模化、专业化、现代化涂料制造企业西安经建油漆有限责任公司,年涂料生产能力20万吨,为中国中西部实力较强、产能较大的涂料制造企业。公司成立伊始便积极承担起重点建设项目及国防军事工业、航空航天工业提供配套涂料科研开发及生产任务。多次受到中国航天科技集团总公司的通令嘉奖,为我国航天事业跻身世界前列做...
全球著名减震器制造商——天纳克携手安企神共筑安全制造新防线
天纳克(北京)汽车减振器有限公司天纳克(北京)汽车减振器有限公司成立于1995年,是天纳克在中国最早投资的合资企业。公司集设计、开发、生产及销售汽车减振器于一身。作为天纳克全球网络的一部分,能充分享受天纳克全球的技术积累经验和国际领先的设计理念,加之先进的生产设备和工艺技术。天纳克(北京)汽车减振器有限公司完全能保证为...
强强联合!安企神软件携手瀚颐共筑汽车行业终端安全防线
瀚颐上海汽车电子科技有限公司EAST瀚颐中国团队成立于2015年。是国际AUTOSAR软件联盟的研发伙伴单位。具备汽车电子硬件设计、软件开发、CAN网络集成、系统集成测试以及项目管理的全面研发能力。专注于汽车电子以及相关产业并拥有25年以上的专业经验,拥有来自于德国和中国业内专家和高管组成的顾问团队,并向全球汽车行业客...