陈智勇
- 作品数:10 被引量:4H指数:1
- 供职机构:南京大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信一般工业技术电气工程更多>>
- 一个基于COP的控制软件安全性增强方法
- 控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为...
- 陈智勇徐锋余萍
- 关键词:COP编程模型
- 文献传递
- 一种基于COP的增强软件安全性的方法
- 本发明所述的一种基于COP的增强软件安全性的方法,首先定义应用程序中每个类需要的上下文信息所相关的层;采用一个规约描述语言解析器,自动生成符合COP方法的有安全规约验证的新代码,动态插入原先的代码中;在应用程序运行过程,...
- 吕建徐锋陈智勇
- 文献传递
- 基于H.264的立体视频编解码方法
- 一种基于H.264的立体视频编解码方法,步骤包括:1)双路视频采集端分别获取左右眼的视频图像,左右眼的视频图像分别传送到各自对应的视频缓存中等待处理;2)编码器模块对所述缓存中的双路视频图像数据进行处理:先对运动/视差补...
- 季晓勇高民芳刘芳蒋里刘栩孙立鲁昊明杨晓琴黄前山陈智勇
- 文献传递
- 基于H.264的立体视频编解码方法
- 一种基于H.264的立体视频编解码方法,步骤包括:1)双路视频采集端分别获取左右眼的视频图像,左右眼的视频图像分别传送到各自对应的视频缓存中等待处理;2)编码器模块对所述缓存中的双路视频图像数据进行处理:先对运动/视差补...
- 季晓勇王健高民芳杨晓琴陈智勇黄前山刘芳蒋里刘栩孙立鲁昊明
- 文献传递
- 一个基于COP的控制类系统软件可靠性保障方法的研究与实现
- 随着软件技术的不断发展,控制类软件系统正广泛地应用于家用,办公,医疗等领域,应用本身对软件可靠性的要求也越来越高。环境上下文信息是控制类软件设计和开发时考虑的主要因素,面向上下文编程方法针对控制类软件开发的这一特点为开发...
- 陈智勇
- 基于FPGA混沌加密的网络视频监控系统
- 基于FPGA实现混沌加密的网络视频监控系统,包括服务端、客户端和系统配置终端。服务端包括多个摄像头、视频服务器、加密模块和信号发送模块;客户端包括信号接收模块、解密模块和客户端播放器;所述多个摄像头采集的视频经服务器完成...
- 王健季晓勇刘芳鲁昊明刘栩孙立蒋里黄前山杨晓琴高民芳陈智勇黄锋李炳国高润
- 文献传递
- 一个基于COP的控制软件安全性增强方法
- 2013年
- 控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为中心,增量式地增强软件的安全性显得非常重要。面向上下文编程方法(Context-Oriented Programming,COP)正是一种以软件运行上下文环境为中心的编程方法。现有的支撑COP思想的运行机制可以使得系统根据精确的上下文信息动态地调整系统的行为,但是有些上下文引发的系统行为调整会导致系统执行器的现有运行被打断,对于这类影响系统执行器行为的上下文,现有的COP运行机制还没有提供有效处理方法。根据现有的COP方法,给出了一个基于软件上下文保存与恢复的控制软件安全性增强的编程模型,并在LegoNXT控制器上实现了相应的运行支撑和编程工具,通过一个产品分拣系统的安全性增强实例,初步验证了该编程模型的合理性。
- 陈智勇徐锋余萍
- 关键词:编程模型
- 一种基于COP的增强软件安全性的方法
- 本发明所述的一种基于COP的增强软件安全性的方法,首先定义应用程序中每个类需要的上下文信息所相关的层;采用一个规约描述语言解析器,自动生成符合COP方法的有安全规约验证的新代码,动态插入原先的代码中;在应用程序运行过程,...
- 吕建徐锋陈智勇
- 文献传递
- 基于FPGA混沌加密的网络视频监控系统
- 基于FPGA实现混沌加密的网络视频监控系统,包括服务端、客户端和系统配置终端。服务端包括多个摄像头、视频服务器、加密模块和信号发送模块;客户端包括信号接收模块、解密模块和客户端播放器;所述多个摄像头采集的视频经服务器完成...
- 季晓勇刘芳鲁昊明刘栩孙立蒋里黄前山杨晓琴高民芳陈智勇黄锋李炳国高润
- 文献传递
- 无线传感器网络安全若干关键技术研究与应用
- 无线传感器网络(WSN)在军事、环境监测、智能家居、医疗护理、智能交通、物流、抗震救灾、煤矿安全监测等方面都显示出了巨大的潜在应用价值。随着无线传感器网络发展和研究的不断深入,无线传感器网络的安全问题显得日益突出,因此对...
- 陈智勇
- 关键词:密码技术密钥管理功能模块