田园
- 作品数：18 被引量：40H指数：4
- 供职机构：大连理工大学国家示范性软件学院更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- GUC安全的关系联结算子保密计算协议
- 2014年
- 分布式数据库系统的关系算子的保密计算协议是多方保密计算(MPC)理论的重要应用领域之一,目前该方向的绝大部分工作主要针对如何构造查询类算子的保密计算协议,对如何构造数据生成类算子的保密计算协议则较少涉及。针对广泛应用的关系联结(join)算子,基于保密及匿名的身份基公钥加密(IBE)方案及其用户私钥盲生成协议给出联结算子的2-方保密计算协议的一种通用的、不依赖于随机oracle(即标准模型)的有效构造,并证明该构造具有GUC(generlized universal composability)安全性。
- 田园孙荣辛蔡悟洋
- 关键词：分布式数据库
- 一种增强的传感器网络数据源验证协议
- 2006年
- 针对TESLA/μTESLA协议,提出一种基于双链结构的增强设计,使之不仅适合于窄带宽、小存储量和计算能力较弱的微型传感器,同时其可扩展能力也被实质性地增强,适于大规模传感器网络.本文详细阐述了这一增强设计,并讨论了其实现与进一步的优化.*
- 田园李明楚凌之洸
- 关键词：传感器网络组播
- 从程序执行流重构入侵模型的有效方法
- 2011年
- 建立一种重构网络入侵模型的有效方法,依据入侵实例中所记录的入侵过程的消息流及受害软件实际执行的指令流,通过反编译并应用改进的形式分析及验证技术构建出充分一般的入侵模型。与目前绝大多数基于独立消息特征(signature)的入侵模型不同,该模型能精确给出恶意消息上下文之间的关联模式,表达出入侵过程的动态特征,效率可行并具有逻辑上可证明的精确性。在详细阐述方法的理论基础之后,也讨论了针对安全演化的应用。
- 田园张振李建斌
- 关键词：网络入侵执行流
- 基于Miller-Rabin素性检测的多项式分解算法被引量：1
- 2014年
- 通过将Miller-Rabin素性检测的思想拓展到多项式域,随机二分搜索可应用到多项式分解中。并以此为基础,分别针对有限域和代数数域改进了两种概率性算法。第一种算法在有限域上每次分解模素数的多项式的失败概率最多为1/4;第二种算法在代数数域上每次分解模素理想P的多项式的失败概率最多为1/2,当代数数域为偶数次扩展或者P|(p)满足p为素数且4|p-1的形式时,失败概率至多为3/8。和原有算法相比较降低了失败概率。这两种算法都在分解之前进行了素性判断,这一特性可用于生成不可归约多项式。在讨论代数数域情况时,给出了完整的多项式运算的时间复杂证明,弥补了代数数域内多项式计算理论模型上的空白。
- 孙荣辛田园
- 关键词：有限域代数数域
- 基于数值实验的信息论课程教学方法被引量：2
- 2013年
- 在仔细分析学生掌握信息论课程知识的关键障碍的基础上,提出了基于数值实验的新教学方法,其实质是以计算机软件为工具,实现对典型信道、信源、网络等实体的建模,并在此基础上通过数值计算来展示信息论独特的科学规律。分析了该教学方法的特点,以渐进典型集合的性质及Shannon定理的教学为例,详细阐述了具体案例,并据此体现该方法较之传统教学方法的独特优势。
- 田园覃振权惠煌
- 关键词：模型分析
- 基于刚性与相似性概念的密码协议分析方法被引量：3
- 2009年
- 如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性入侵能力之外的任何主动攻击者和大部分有实际意义的非自由消息代数的理论分析框架.该框架内所证明的协议安全性质具有复合-稳定性,即所证明的安全性质在协议与环境复合时仍然保持成立.文中针对strand-图模型这一具体情形证明了Canetti的UC-相似性概念与这里所建立的Dolev-Yao相似性概念之间接近充分必要程度的对偶关系,从而对融合UC-理论/strand-图模型这一情形具体证明了该分析框架具有相容性和完备性.最后,根据以上理论结果讨论了如何建立一种对应的新的协议分析方法.
- 田园王颖金锋金月
- 几个通用公钥加密方案的匿名性条件
- 公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样具有重要应用价值。最近Canetti－Halevi－Katz给出了基于IBE构造普通公钥加密方案的一个优美的一般性方法,继而Boneh－Katz给出一个不同的构造,对...
- 田园邓鲁耀张浩
- 关键词：公钥加密数据保密性
- 文献传递
- 稀疏—平坦矩阵信号的重构条件
- 2022年
- 建立基于凸优化方法重构矩阵信号X=[x_(1),…,x_(n)]的一组充分条件,X具有列稀疏性和平坦性的结构特征,即每个列向量x_(j)至多具有s个非零分量、同时所有列向量的l_(1)范数具有相同数值。所采用的矩阵范数是■。工作分两部分,第一部分分别对无观测误差和有观测误差的情况,针对求解■型凸优化问题重构以上类型矩阵信号的方法,建立保障稳定性和鲁棒性的充分条件;第二部分工作建立随机观测情况下观测空间维数的下界,用以保证信号以高概率被正确重构。所得结果优于将重构向量信号的min-l_(1)方法直接推广到针对矩阵信号的min-l_(1)方法所得到的结果,并给出数值仿真验证。所针对的信号模型出现在具有定常或缓变包络波形的多输入/多输出雷达及合成孔径雷达等新应用领域,本文工作针对这类应用提供一组实用的信号重构条件。
- 田园黄鑫李明楚
- 关键词：压缩感知凸优化
- 网络安全协议仿真实验教学平台设计与应用被引量：7
- 2013年
- 在仔细分析学生掌握网络安全协议分析方面的关键障碍的基础上,提出了基于仿真实验的新教学方法,其实质是以计算机软件为工具,实现对网络安全协议的建模并通过计算来展示可能的攻击途径。分析了该教学方法的特点,通过一个典型协议阐述了具体案例,体现出该方法较之传统教学方法的独特优势。
- 田园惠煌李明楚
- 关键词：网络安全安全协议
- 关于混合加密方案匿名性质的几个一般性结果被引量：2
- 2007年
- 公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样都具有重要应用价值.文中首先建立关于公钥加密方案的两个通用的新概念,即相对匿名性和相对保密性.通过这些较弱的安全性概念,证明了关于公钥加密方案匿名性质的两类一般性结果.第一类结果建立了公钥加密方案的保密性与匿名性之间两个对偶式的普遍关系,即相对匿名性(相对保密性)连同保密性(匿名性)蕴涵匿名性(保密性);第二类结果给出两个典型的混合加密构造(即Fujisaki-Okamoto构造和Okamoto-Pointcheval构造(REACT))选择密文匿名的充分条件,这些条件仅包括特定意义上的相对匿名性质和其它一些自然的弱保密性要求.文中不仅用多个具体实例表明这些条件都是非常实用的判定准则,而且还进一步应用这些普遍结果,给出对某些具体公钥加密方案匿名性质的简化证明,并证明了著名的NESSIE方案PSEC-1/2/3的选择密文匿名性质.
- 田园李明楚陈治宇
- 关键词：匿名性
