徐贤
- 作品数：7 被引量：8H指数：2
- 供职机构：华东理工大学信息科学与工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学语言文字更多>>
- 具有高表达能力的新型可信计算信任链的设计
- 2018年
- 基于可信计算芯片的可信启动指从信任根开始,通过建立信任链并沿信任链逐步移交系统控制权的过程。然而,现有信任链是简单的单链结构,并不能满足用户需要。该文首先参考基于身份的层次式签名机制,提出支持多软硬件系统的多信任链方案。该方案支持树状的多启动模块预期或信任路径。其次,参考基于身份的模糊签名机制,提出了支持多种潜在信任状态的信任链方案,该方案支持存在多潜在状态的单信任路径。最后,对上述2种方案进行结合。通过对支持多软硬件系统的方案进行扩充,实现末端节点的密钥拆分,并对回退机制、TPM（trusted platform module）芯片存储等部分进行修改,最终实现了兼有前述2种新信任链的功能的第3种方案：既支持多启动模块预期,又支持多种潜在的信任状态,从而满足用户在动态决定启动模块的同时动态决定信任状态的需求。
- 龙宇王辛徐贤洪璇
- 关键词：可信计算
- 带Mismatch算子的高阶π演算
- 2014年
- 主要研究带mismatch的高阶进程演算的公理化问题.首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带mismatch的有限进程上的公理系统;最后,基于对开弱高阶互模拟的刻画,证明了该公理系统的完备性定理.该工作为带mismatch的高阶进程上互模拟判定的有效算法的设计与实现,进而为相关的应用建模工作提供了理论借鉴.
- 徐贤
- 关键词：公理化互模拟MISMATCH高阶Π演算
- 两个降低PKG信任级的基于身份的门限密码体制被引量：4
- 2012年
- 在基于身份的公钥密码体制中PKG负责生成用户密钥,对PKG的信任级别过高,存在密钥托管问题.人们为解决此问题提出了很多方案但均有一定缺陷.Goyal提出了一种解决这类问题的新思路.基于该思路,提出了两种降低对私钥生成中心的信任级别的门限密码体制.在这两个体制中,利用了Goyal提出的基于身份的可追踪公钥加密体制的思想与公开可验证加密技术,有效解决了在基于身份的门限加密体制中,PKG对同一用户恶意生成多个私钥的追踪问题.对降低PKG信任级的基于身份的门限密码体制进行了形式化定义,并在所定义的形式化安全模型下证明了这两个方案可以对抗门限自适应选择密文攻击、密钥寻找攻击以及计算新密钥攻击.
- 龙宇徐贤陈克非
- 关键词：门限密码体制可证安全零知识证明
- 一种新的组织P系统变体的研究被引量：2
- 2008年
- 本文介绍了一种新的组织P系统的变体。定义的P系统改进了原始的设计,允许在通道(连接,生物上称为突触)上的规则应用中采用并行机制,以提高系统的运行效率。文中我们首先给出这种组织P系统的定义,然后描述它的运行机制,接着对它的计算能力做了一些简单的分析,并且用一个典型的例子说明了我们的P系统的运行过程的特点。
- 徐贤董笑菊
- 关键词：P系统并行性
- 元搜索中成员搜索引擎的选择问题研究
- 2017年
- 随着网络的普及,网上检索成为了人们获取信息的主要方式。目前的搜索引擎相对独立,覆盖范围比较有限。相比之下,元搜索能够更好地满足用户的检索需求。当用户在元搜索提供的统一界面中输入一个查询时,元搜索会将处理后的用户请求发送给相关的成员搜索引擎。但是一个重要的问题是如何识别出潜在的搜索引擎以便更好地处理用户的请求。鉴于此提出了一种基于遗传算法的选择机制,该方法将各个成员搜索引擎的权重考虑在内。实验结果表明,该方法确实能够提高引擎选择中的效率和精度。
- 刘登洪徐贤
- 关键词：元搜索查询
- 融合全局信息的多图神经网络会话推荐
- 2024年
- 基于会话的推荐旨在根据当前会话预测下一个最可能交互的物品.由于单个会话点击序列较短,仅使用会话本身的信息很难提供准确的推荐.因此,综合考虑其它会话之间的交互信息已成为一种趋势,为了提高推荐性能,本文提出一种融合全局信息的多图神经网络会话推荐模型(GIMGNN)来增强会话推荐的效果.该模型首先通过超图卷积神经网络和门控图神经网络从全局会话超图和局部会话图中学习两个级别的物品表示,然后通过注意力机制将反向位置信息融合到两种表示中,最后利用融合后的表示完成预测.在两个真实数据集Yoochoose和Diginetica上进行了一系列实验,实验结果表明,对比性能最优的基准模型,GIMGNN模型在Yoochoose上P@20和MRR@20至少提升了2.42%和4.01%,在Diginetica上P@20和MRR@20至少提升了6.56%和9.11%,验证了模型的有效性.
- 黄涛徐贤
- 关键词：位置信息
- 基于TPM的强身份认证协议研究被引量：2
- 2012年
- 根据可信计算领域中对身份认证的要求,提出一种基于TPM的强身份认证协议。介绍可信平台模块架构,给出其支持的密钥类型,按照进程理论建立协议模型,阐述协议扩展方案,包括引入PCR挑战、实现跨平台认证,并采用网络开发技术加以实现。实验结果表明,该协议可有效对用户身份进行验证。
- 徐贤龙宇毛贤平
- 关键词：可信平台模块数字签名公钥加密JAVA平台
