姚萌萌

作品数：13被引量：38H指数：3
导出分析报告
供职机构：江南计算技术研究所更多>>
发文主题：串空间形式化分析安全协议形式化分析方法区块链更多>>
发文领域：自动化与计算机技术电子电信天文地球更多>>
发文期刊：《物联网技术》《信息网络安全》《计算机系统应用》《电子技术（上海）》更多>>
所获基金：国家自然科学基金国家科技重大专项天津市科技支撑计划浙江省科技厅项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于递归认证测试的SIP协议形式化分析
《信息网络安全》2024年第10期1586-1594,共9页姚萌萌 王宇 洪瑜平 
国家重点研发计划[2022YFB4502000]。
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过...
关键词：SIP协议 递归认证测试 串空间 形式化分析方法 
基于事件的群组密钥协商协议形式化分析研究被引量：3
《信息网络安全》2022年第5期30-36,共7页沈延 姚萌萌 
国家自然科学基金[91430214,6732018];核高基重大专项[2017ZX01028101]。
群组密钥协商协议应用于物联网、无线通信、区块链、视频会议等领域,是当前的一个研究热点。该协议的交互消息较多,且消息认证、加密所使用的密码算法也复杂,这就给密码协议的形式化描述与安全性分析带来一定的困难。文章基于串空间理论...
关键词：群组密钥协商协议 串空间 形式化分析 
基于区块链的高价值数据共享系统设计被引量：5
《信息网络安全》2021年第11期75-84,共10页于克辰 郭莉 姚萌萌 
国家自然科学基金[91430214];核高基重大专项[2017ZX01028101]。
目前,实际业务中有很多高价值数据,由于没有完善的共享方案,使得这些数据存在共享难问题,不能发挥全部效能。区块链技术是一项新兴技术,其能够使参与区块链的各个节点在无中心的情况下互相信任,最终达成一致意见。在区块链系统中,每个...
关键词：区块链 智能合约 数据共享 信息安全 共享系统设计 
基于空间及能量维度的黑盒对抗样本生成方法被引量：1
《信息网络安全》2021年第3期72-78,共7页于克辰 郭莉 姚萌萌 
国家自然科学基金[91430214];核高基重大专项[2017ZX01028101]。
神经网络在图像识别领域发挥着重要作用,但其会被对抗样本干扰,出现识别错误的情况。经典的对抗样本生成方法在约束变量和衡量指标上有局限性,因此,文章提出一种以余弦相似度为约束的基于空间及能量维度的对抗样本生成方法。该方法在空...
关键词：人工智能 对抗样本生成 空间维度 扰动 
基于串空间的安全协议形式化分析研究被引量：5
《信息网络安全》2020年第2期30-36,共7页姚萌萌 唐黎 凌永兴 肖卫东 
国家自然科学基金[91430214];核高基重大专项[2017ZX01028101]。
安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得...
关键词：串空间 形式化分析 安全协议 区块链 
一种改进的基于认证测试的形式化分析方法被引量：1
《信息网络安全》2019年第1期27-33,共7页姚萌萌 朱正超 刘明达 
国家自然科学基金[91430214;6732018];核高基重大专项[2017ZX01028101]
近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常...
关键词：串空间 认证测试 形式化分析方法 安全协议 
基于SEP协议和无线传感网节点剩余能量的多跳传输节能算法的实现被引量：3
《物联网技术》2016年第8期40-43,47,共5页姚萌萌 邵秀丽 任智娟 郭海波 
天津市支撑项目(13ZCZDGX02500;15ZXHLGX0038 0;15ZXHLGX00360)
针对基于SEP协议实现的传感器网络存在簇头节点过早死亡的现象和远距离通信网络传输能耗大的弊端。文中设计了一种基于节点剩余能量的多跳传输节能算法。该算法把剩余能量高的节点作为簇头的候选节点,采用多跳树簇拓扑通信机制,建立簇...
关键词：SEP协议 节能算法 节点剩余能量 多跳树簇拓扑结构 多跳传输 
Linux多核环境网卡驱动优化研究被引量：1
《计算机系统应用》2014年第10期223-227,共5页姚萌萌 张俊 沈亮 
Linux多核环境下网卡驱动是影响网络性能的重要因素.网卡接收数据包首先通过硬件中断响应,然后NAPI机制调度,启用软件中断把数据包向网络层传递.通过分析网卡接收数据的过程,对网卡驱动做了优化,做了相应实验并对结果数据进行分析,在一...
关键词：多核环境 网卡驱动 中断 NAPI 
基于keepalived的高可用性应用研究被引量：14
《电子技术（上海）》2014年第7期21-24,共4页汪海洋 凌永兴 包丽红 姚萌萌 
文章分析了设备高可用性的需求,介绍了VRRP协议以及工作原理、keepalived开源软件对VRRP协议的实现;研究了keepalived的安装配置以及keepalived在网桥模式中的应用,添加了keepalived功能配置项,达到了双机切换的预期效果。
关键词：可用性 VRRP协议 网桥 
IKE框架实现和功能扩充的研究被引量：1
《电脑知识与技术（过刊）》2014年第1X期278-280,共3页张俊 马云飞 姚萌萌 
随着Internet的快速扩张,信息安全问题也日趋成为商家关注的焦点,VPN作为解决网络通信安全问题的工具被越来越多的网络安全厂商研发和生产。通过利用成熟的开源框架可以有效的减少开发成本,但同时也由于得不到好的技术支持会增加添加自...
关键词：信息安全 VPN strongswan IKE 自定义载荷 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部