谢峰
- 作品数：23 被引量：14H指数：2
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 基于攻击者和秘密的安全协议验证算法的研究与实现被引量：1
- 2001年
- 网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念 .本文介绍了几种具有代表性的安全协议的形式化验证工具 ,研究并使用 JAVA语言实现了基于攻击者和秘密的安全协议验证算法 .我们提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架 .框架是指针对攻击者和其冒充的角色对原安全协议的改造 .我们实现的验证工具是证伪的 ,即如果攻击者能够成功冒充某主体 ,则该安全协议是有漏洞的 ,反之则该协议的安全性得到某种程度的保证 .本文还给出了该算法的攻击实例 。
- 熊勇强吴建平谢峰
- 关键词：安全协议形式化验证攻击者网络安全计算机网络
- 基于三部图的路网节点关键度排序方法被引量：2
- 2014年
- 提出了一种基于三部图的路网节点关键度排序方法,首先从城市出租车轨迹数据中提取出行的起始地-目的地信息以及驾驶员路径选择的统计信息,并以此构建出行网络的三部图模型来刻画出行、路径和路口之间的互影响关系.通过节点之间的连接权重矩阵以迭代的方式计算路口节点的关键度评分.该方法有机地结合了路网的拓扑结构和交通流特征,并兼顾了关键路口节点之间以及路口节点与出行的起始地-目的地分布之间的相关性,可以有效准确地识别整个路网的关键节点.实验验证了方法的有效性.
- 许明吴建平杜怡曼谢峰肖云鹏
- 关键词：道路网络
- 一种移动应用的推荐方法及服务器
- 本发明提供一种移动应用的推荐方法、客户端及服务器，该方法包括：客户端记录用户启动客户端的时间，并扫描记录用户的移动应用列表获得用户的日志数据，发送给服务器端；服务器端根据接收到的所述日志数据得到每个移动应用的使用信息，基...
- 尚家兴刘连臣谢峰徐磊吴澄
- 文献传递
- 基于形式化技术的安全协议的验证研究
- 该文介绍了几种具有代表性的安全协议的形式化验证工具，研究并使用JAVA语言实现了基于攻击者和秘密的安全协议验证算法。作者提出了射 份验证协议必须交换秘密的概念，还为协议形式化验证过程设计了框架。框架是指针对攻击者和其冒充...
- 熊勇强吴建平谢峰
- 关键词：安全协议形式化验证网络安全技术
- 文献传递
- 基于攻击者的安全协议形式化验证工具
- 谢峰
- 关键词：计算机网络安全协议形式化验证
- 动态网络社区结构的更新方法及装置
- 本发明提出一种动态网络社区结构的更新方法及装置，该方法包括以下步骤：对由多个节点组成的初始网络进行计算，以生成网络初始社区结构；根据节点之间的交互判断新加入的边的类型，其中，新加入的边的类型包括社区内部边、跨社区的边、半...
- 尚家兴刘连臣谢峰陈安燕徐磊
- 文献传递
- 基于评分的协同过滤推荐方法及系统
- 本发明公开了一种基于评分的协同过滤推荐方法及系统，涉及协同过滤推荐技术领域，本发明利用用户历史评分数据的统计特征计算各个用户之间的相似程度，通过与当前用户相似程度较高的其他用户来计算当前用户未评价过的项目，实现了在用户和...
- 谢峰陈震曹军威
- 文献传递
- 基于灰色预测模型的推荐方法及系统
- 本发明公开了一种基于灰色预测模型的推荐方法及系统，涉及推荐系统领域。所述方法包括步骤：建立项目间相似性矩阵；根据所述相似性矩阵，从目标用户的已评项目中选择与所述目标用户的未评项目相似度高的预定数目的项目；按照与所述未评项...
- 谢峰陈震曹军威
- 基于线性回归的推荐方法及系统
- 本发明公开了推荐技术领域的一种基于线性回归的推荐方法及系统，用以解决目前推荐系统的研究存在的问题。该方法包括：遍历当前网络系统中的所有用户和物品，获得所有用户和物品的历史评分数据；根据历史评分数据建立基于用户的线性回归模...
- 陈震谢峰冯喜伟尚家兴曹军威
- 一种基于线性回归的新型推荐方法被引量：4
- 2017年
- 随着社交媒体的大力发展,互联网不再只是人们获取信息的工具,同时还是人们分享信息的渠道。用户生成内容使得人们面临着信息过载,大量真正有价值的信息难以被发现。个性化推荐系统凭借其较低的用户参与度被认为是当前解决信息过载最有潜力的方法之一。然而,目前最成熟、应用最广的协同过滤推荐方法正面临着数据稀疏性、多样性等问题,其推荐效果不甚理想。本文提出了一种基于线性回归的推荐方法,利用用户或物品的评分频次信息,建立了线性回归模型,以此预测用户对未评分物品的评分。该方法具有低复杂性、可增量更新、高准确性等优点。
- 王兆国谢峰关毅薛一波
- 关键词：预测评分
