公共文化服务平台

林东岱: 作品数：93 被引量：258H指数：9; 供职机构：中国科学院信息工程研究所更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术电子电信理学经济管理更多>>

合作作者

理想在协议分析中的进一步应用: 串空间理论自提出后成为了一种重要的协议形式化分析方法。由于理想结构的特殊性使得Guttman等人在文献[1]中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性。本文中我们将对于理想在分析其他协...; 孙海波林东岱李莉; 关键词：认证性; 文献传递

一个具有消息恢复的签名方案的安全性分析: 2006年; 李子臣和杨义先基于离散对数和素因子分解两个困难问题提出了具有消息恢复的数字签名方案-LY方案,武丹和李善庆指出了LY方案的安全性仅仅依赖于因子分解问题,为弥补这个缺陷他们同时给出了一个改进方案———WL方案.但是,该改进方案的安全性并不象作者所认为的那样依赖于两个难题.一旦因子分解问题可解,攻击者就可以伪造签名.; 曹天杰林东岱; 关键词：签名离散对数密码分析

一种基于动态信任阈值的访问控制方法: 本发明公开了一种基于动态信任阈值的访问控制方法。本方法为：1)将对访问主体的信任值要求相同的权限归并到同一权限集合中，客体具有多个权限，每一权限设有一信任阈值；2)对每一权限集合创建一权限分配记录表；3)当一主体向该客体...; 马书南林东岱; 文献传递

一种多元实体身份凭证信息存储方法: 本发明公开了一种多元实体身份凭证信息存储方法，本方法为：1）采用统一标识结构URI对多元实体进行编码；2）将统一描述后的多元实体向URI标识服务提供者URI-IdP进行注册，得到实体的身份凭证并存储，即：预设一致性哈希环...; 王雅哲林东岱王瑜; 文献传递

SIMON算法相关密钥不可能差分特征搜索被引量：1: 2021年; 本文通过求解SIMON算法密钥扩展算法的混合整数线性规划(mixed-integer linear programming,MILP)模型,首次给出其相关密钥不可能差分分析结果.对分组密码算法的不可能差分特征搜索一般是限制输入输出差分均只有1比特或1个S盒活跃,在此基础上遍历求解,如果其MILP模型无解,则得到一条不可能差分特征.而SIMON算法采用线性密钥扩展算法,主密钥差分确定之后每一轮的子密钥差分都随之确定,无法控制其随轮数增加而逐渐扩散,所以限制其输入输出差分并不能得到最长路径.而遍历所有可能的复杂度高达O(2^((m+2)n)),其中n,m取值与SIMON2n/mn相同.当前计算能力无法达到,这也是在此之前一直没有SIMON相关密钥不可能差分分析结果的原因.本文通过研究SIMON算法中ROTATION-AND操作中概率为1的差分传播性质,结合截断差分路径给出满足miss-in-the-middle条件时,子密钥差分需满足的约束条件.通过对密钥扩展算法的MILP模型及约束条件求解,如果有解则得到一条相关密钥不可能差分特征.本文首次给出SIMON32/64和SIMON48/96的13轮相关密钥不可能差分特征,在此前研究结果中其单密钥下最长路径分别为11和12轮.; 王旭姿吴保峰侯林林东岱

一种分布式吴方法计算模型被引量：5: 2005年; 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法“分而治之”的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境下实现的分布式吴方法计算框架.首先分析了吴方法分布式计算需求,并以特征列计算为例来说明吴方法分布式计算算法,然后讨论了符号计算基本数据类型:大整数和多项式的消息传递方法,最后简单给出了在网格环境下基于符号计算软件系统 ELIMINO 和网格中件间 Globus Toolkits 3 的分布式吴方法计算环境的设计、实现与实验结果.; 武永卫杨广文杨宏郑纬民林东岱; 关键词：分布式计算吴方法

XOR-MAC消息认证码的安全性新证明被引量：4: 2006年; 消息认证码(Message Authentication Codes,MACs)是保证消息完整性的重要工具.Bellare等人提出了称为XOR-MAC的消息认证码,界定了攻击者成功伪造的概率,从而证明了其安全性,但是他们给出的证明方法较为复杂.本文使用Game-Playing技术采用新的安全性定义证明了XOR-MAC的安全性,证明方法简单明了;在底层所使用的分组密码是伪随机置换的假设下,量化了该消息认证码与随机函数之间区分的概率.; 王大印林东岱吴文玲姜中华; 关键词：消息认证码伪随机函数分组密码

一种面向云电视终端跨云应用的云服务访问控制方法: 本发明公开了一种面向云电视终端跨云应用的云服务访问控制方。本方法为：1)云电视终端通过云服务商的云服务App客户端向统一身份认证中心系统申请一身份断言凭证；2)App客户端将该凭证发送给该云服务商的IdP中心；3)IdP...; 王雅哲王瑜徐震林东岱; 文献传递

串空间理论在网络安全协议形式化分析中应用被引量：2: 2003年; 网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.同时由于安全要求的多样化以及攻击方式的层出不穷使得对于网络安全协议的形式化分析的效率和准确性提出了更高的要求.原有的形式化分析方法通常不可避免地出现状态空间爆炸问题,这使得对于日益增长的网络通信规模下的复杂协议的分析变得十分困难.串空间理论(strandspacetheory)的出现提供了避免状态爆炸问题、提高协议形式化分析效率的有效方法.用几个简单协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.; 孙海波林东岱黄寄洪; 关键词：串空间安全协议网络

分布式密码计算平台的架构设计及其实现被引量：4: 2004年; 分析了常见的密码算法对于分布式计算平台的需求 ,定义了通用的任务表示格式 ,使用DCOM技术设计了一个针对密码计算的分布式通用平台及其外挂算法模块 ;并实现了两种常见的密码攻击算法 ,给出了测试结果 .; 程贯中林东岱张珍; 关键词：密码算法分布式计算通用平台