邵婧
- 作品数：26 被引量：50H指数：5
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家科技重大专项国家科技支撑计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- RFID标签组中的可验证门限秘密共享方案
- 2009年
- 无线射频识别(RFID)标签具有隐蔽、方便、高效等优点,可以作为秘密存储的新载体。该文针对如何在RFID标签组中实现秘密共享的问题,提出适用于RFID系统的可验证门限秘密共享方案,对其进行安全性分析。根据RFID系统的特点提出先认证后读取的实现原则。该方案的安全性基于RFID阅读器与标签的双向认证以及求解离散对数的困难性。
- 常振华陈越邵婧
- 关键词：无线射频识别秘密共享门限方案离散对数零知识
- 面向Python的信息流控制模型及其实现被引量：5
- 2015年
- 动态污点分析是检测Web应用程序漏洞、提高Web服务安全性的一种常用方法,但现有方法大多缺乏完善的信息流策略和模型,对信息流的控制也较为粗糙。提出了一个面向Python的信息流控制模型PIFC,将Python程序中的对象抽象为实体;通过控制方法调用所涉及实体间的信息交互来实施语言级的信息流控制;引入实体的降密及净化能力来防止污点积累。利用Python的装饰器和动态分发机制等高级特性,设计并实现了一个轻量、易用、简洁的Python库LPIFC,以支持模型的污点存储及信息流控制,避免了传统方式中修改解释器的缺陷。测试结果表明,LPIFC很好地满足了Web应用的安全需求,且引入的额外性能开销较小。
- 邵婧陈左宁殷红武
- 关键词：WEB应用污点分析信息流控制PYTHON
- 基于遗传算法的信息流安全标记自动化挖掘被引量：3
- 2016年
- 分布式信息流模型可以细粒度地控制信息的访问和传播,但其灵活性也增加了系统安全需求表达和策略管理实施的复杂性,严重制约了模型在云计算等分布式系统中的应用。对此,设计了一种基于安全断言的策略描述语言以表达安全需求;形式化定义了信息流安全标记挖掘问题,分析并证明了该问题是NP完全问题;提出了基于遗传算法的标记挖掘近似最优化算法。实验结果表明,算法可自动挖掘出策略配置最优解方案,有效提高了分布式信息流模型在实际系统中的可用性。
- 邵婧殷红武陈左宁何晓斌
- 关键词：信息流模型遗传算法NP完全问题
- RFID标签所有权转换机制研究
- 射频识别(Radio Frequency Identification,RFID)技术是一种利用射频通信实现的非接触式自动识别技术。凭借其所具有的高速移动物体识别、多目标识别和非接触识别等优点,RFID技术目前已被广泛应...
- 邵婧
- 关键词：射频识别隐私密钥协商
- 文献传递
- 基于流认证的IPv6接入子网主机源地址验证
- 提出了一种以密码学方法实现的IPv6 接入子网主机高速源地址验证方案。把主机MAC 地址作为身份同主机公钥相绑定，利用密码生成地址算法从主机公钥衍生出IPv6 接入子网地址，通过数字签名提供主机真实性的验证，以消息认证码...
- 陈越贾洪勇谭鹏许邵婧
- 关键词：消息认证码
- 基于NICE协议的应用层组播可靠性研究被引量：4
- 2008年
- 目前许多应用层组播协议缺乏明确的数据可靠传输保障机制。该文将NICE协议中原有的控制拓扑和数据拓扑改为环形的控制拓扑和最小延迟树的数据拓扑,在新的拓扑结构上建立差错控制机制,以保证组播的可靠性。仿真实验表明,改进后的组播协议在节点正常工作时具有完全的可靠性,在节点失效的情况下同样具有良好的健壮性。
- 周国伟陈越邵婧
- 关键词：应用层组播可靠组播覆盖网
- 真实源地址框架下的特定源组播接收者认证被引量：1
- 2011年
- 为了解决特定源组播接收者认证问题,在研究真实IPv6源地址验证体系结构的基础上,提出了一种该体系结构下的特定源组播接收者认证方案。该方案在与主机直连的路由器上加载了认证功能,能够对组播接收者的组播认证码进行认证,以此实现组播接收者的合法性验证,防止网络中组播服务盗用;设计了一种存储于三层交换机的组播端口列表,解决了同一局域网内组播接收者访问控制问题。通过仿真实验证明,该方案能够实现对组播接收者的认证功能,而且对组播效率影响不大。
- 谭鹏许陈越邵婧肖健鹏
- 关键词：特定源组播访问控制
- 多视点空间平滑漫游的研究与实现被引量：3
- 2011年
- 为了更加逼真地模拟在拥塞的虚拟环境中绕过具有大型曲线凸边缘结构的障碍物观看其背后的影像,研究了单视点与视点空间的过渡链搭建技术,在直线型空间链基础上设计了一种曲线型空间链。利用二次插值样条曲线布设视点运动路径,再巧妙地利用曲线参数的取值来确定节点位置的选取,并推算出各个内插节点图像的显示坐标。实例仿真结果表明,该方法更加逼真地实现了虚拟平滑漫游。
- 章玉文戴青邵婧
- 关键词：全景图多视点
- 面向PaaS云的分布式信息流控制模型
- 流控制是增强云数据安全的有效方法之一,而现有的信息流模型主要集中于IaaS云和SaaS云,不能很好地满足PaaS云环境的分布式、语言级细粒度信息流控制需求.对此,提出了一个面向PaaS云的分布式信息流控制模型PIFC.该...
- 邵婧陈左宁殷红武于颖超何升
- 关键词：数据安全信息流控制
- 源地址验证方法及系统
- 本申请实施例公开了一种源地址验证方法及系统，包括：主机通过MAC地址向私钥生成中心PKG注册；通过与所述PKG进行参数交互获取主机公钥和主机私钥；根据所述主机公钥生成基于身份密码的IP地址，将所述IP地址作为所述主机的源...
- 贾洪勇陈越邵婧谭鹏许窦睿彧
- 文献传递
