姚萌萌
- 作品数：14 被引量：38H指数：4
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家自然科学基金国家科技重大专项天津市科技支撑计划更多>>
- 相关领域：自动化与计算机技术电子电信天文地球更多>>
- 嵌入式电子地图数据分块组织研究被引量：1
- 2012年
- 文章研究了基于嵌入式地图数据分块组织。嵌入式设备相对于PC机,CPU运算速度较慢,内存较小;而嵌入式设备处理大量的数据时,CPU和内存资源相对来说比较紧张。实现基于嵌入式电子地图的功能,数据存取策略比较重要。本文提出了一种电子地图数据分块组织的方法,并且使用双缓冲技术在QT/Embedded平台上实现了嵌入式地图在设备上的漫游,放缩等功能[1-2]。
- 姚萌萌沈永增
- 关键词：QTEMBEDDED
- IKE框架实现和功能扩充的研究被引量：1
- 2014年
- 随着Internet的快速扩张,信息安全问题也日趋成为商家关注的焦点,VPN作为解决网络通信安全问题的工具被越来越多的网络安全厂商研发和生产。通过利用成熟的开源框架可以有效的减少开发成本,但同时也由于得不到好的技术支持会增加添加自己个性化元素的难度。添加自定义载荷是一种常用的VPN研发中的应用。该文利用IKEv1协议下的开源框架strongswan介绍了IKE的实现模型,并介绍了在strongswan中添加自定义载荷以及在配置文件中添加开关控制是否启用该载荷的方法。
- 张俊马云飞姚萌萌
- 关键词：信息安全VPNIKE
- 基于空间及能量维度的黑盒对抗样本生成方法被引量：1
- 2021年
- 神经网络在图像识别领域发挥着重要作用,但其会被对抗样本干扰,出现识别错误的情况。经典的对抗样本生成方法在约束变量和衡量指标上有局限性,因此,文章提出一种以余弦相似度为约束的基于空间及能量维度的对抗样本生成方法。该方法在空间维度对原始样本进行平移和旋转,并在能量维度叠加一定强度的高斯噪声,进而生成对抗样本。空间维度的旋转平移及能量维度的噪声在图片生成、传输、处理过程中大概率存在,所以对抗样本生成更自然。实验结果表明,能量维度与空间维度同时作用生成的对抗样本比只进行空间维度变换生成的对抗样本更有效。
- 于克辰郭莉姚萌萌
- 关键词：人工智能空间维度
- 基于事件的群组密钥协商协议形式化分析研究被引量：1
- 2022年
- 群组密钥协商协议应用于物联网、无线通信、区块链、视频会议等领域,是当前的一个研究热点。该协议的交互消息较多,且消息认证、加密所使用的密码算法也复杂,这就给密码协议的形式化描述与安全性分析带来一定的困难。文章基于串空间理论,提出了相关概念以及基于事件的形式化分析方法。该方法直观、简洁、有效,易于对复杂的密码协议进行形式化描述,并能简化密码协议的安全性分析过程。文章基于事件的形式化分析方法对簇间非对称群组密钥协商协议进行形式化描述和分析,发现该协议不能满足一致性,即不能认证参与协议交互节点的身份。通过对该协议的分析,也证明了文章所提形式化分析方法的有效性与正确性。
- 沈延姚萌萌
- 关键词：串空间形式化分析
- 一种改进的基于认证测试的形式化分析方法
- 2019年
- 近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷。基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法——递归测试,并通过该方法证明了BAN-Yahalom协议。分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议。
- 姚萌萌朱正超刘明达
- 关键词：串空间形式化分析方法安全协议
- 一种改进的基于认证测试的形式化分析方法
- 基于串空间的认证测试是一种有效的证明安全协议的形式化方法，其简洁、直观的特性在安全协议分析验证领域得到了广泛的应用。针对认证测试应用范围和准确性，本文提出了改进的输入测试定理和加密测试定理，并提出了一种改进的基于认证测试...
- 姚萌萌朱正超刘明达
- 关键词：串空间形式化分析方法安全协议
- 嵌入式Linux导航电子地图数据的组织及应用被引量：2
- 2010年
- 为满足嵌入式系统中电子地图显示、导航的需要,研究了电子地图的数据组织与存储,提出采用地理数据分块实现数据的存储,并针对地理数据的存储方法所造成的数据不连贯性,研究了数据断点的处理方法。试验结果表明,研究的数据动态组织方法大大提高了地图显示的速度及数据连贯性。
- 周巍沈永增王燕姚萌萌
- 关键词：嵌入式数据组织地图显示
- 基于SEP协议和无线传感网节点剩余能量的多跳传输节能算法的实现被引量：3
- 2016年
- 针对基于SEP协议实现的传感器网络存在簇头节点过早死亡的现象和远距离通信网络传输能耗大的弊端。文中设计了一种基于节点剩余能量的多跳传输节能算法。该算法把剩余能量高的节点作为簇头的候选节点,采用多跳树簇拓扑通信机制,建立簇头与汇聚节点间的通信链路。使用Matlab对算法进行仿真实验分析,结果表明,该算法减小了用于网络传输的能量开销,有效延长了网络的生命周期。
- 姚萌萌邵秀丽任智娟郭海波
- 关键词：节能算法节点剩余能量多跳传输
- 基于区块链的高价值数据共享系统设计被引量：5
- 2021年
- 目前,实际业务中有很多高价值数据,由于没有完善的共享方案,使得这些数据存在共享难问题,不能发挥全部效能。区块链技术是一项新兴技术,其能够使参与区块链的各个节点在无中心的情况下互相信任,最终达成一致意见。在区块链系统中,每个节点的数据都是共享的,节点拥有全部交易的数据。在进行交易时,节点之间会先确认彼此的交易数据是否一致,然后才会将数据写入区块链,因此区块链上的交易数据无法被否认,同样也无法被修改。基于区块链的不可篡改和可溯源等特点,文章采用参与成员身份受系统审核的联盟链FISCO BCOS作为底层架构,并且在系统层面进行安全性设计,同时设计了相应的智能合约,从而完成高价值数据的安全共享。文章对共享系统进行了定性和定量测试,证明了所设计的系统是可用、易用且安全的,能够保证信息安全。
- 于克辰郭莉姚萌萌
- 关键词：区块链数据共享信息安全
- 空间数据在嵌入式导航系统中的索引被引量：4
- 2010年
- 研究了基于嵌入式Linux平台电子地图数据的空间索引,介绍了空间索引的基本方法。通过分析常见的空间索引算法如B树、R树、四叉树等算法的特点,结合嵌入式电子地图数据特点,设计了基于Hilbert编码的格网空间数据索引机制,并改进了格网索引的数据结构,从而提高了索引效率;并使用嵌入式数据库SQLite管理空间数据,达到了预期效果。
- 沈永增姚萌萌周巍
- 关键词：空间索引HILBERTSQLITE
