孔令波
- 作品数：6 被引量：27H指数：3
- 供职机构：北京交通大学软件学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种实用动态完整性保护模型的形式化分析被引量：3
- 2013年
- 从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性保护模型的优缺点,提出了一种实用型的动态完整性保护模型(dynamic integrity protection model,DMIP).它面向Linux系统,解决了完整性级别划分困难以及现有完整性模型可用性不强的问题.针对来自网络的攻击以及本地恶意代码破坏系统完整性等问题给出了保护策略.从与Linux系统及系统中已有的应用程序的兼容性角度出发,DMIP做到了无代价兼容.给出了DMIP模型的不变式和约束,针对模型进行了安全定理的形式化证明,保证了模型的安全性.
- 杨涛王永刚唐礼勇孔令波胡建斌陈钟
- 面向研究生的高性能计算课程建设被引量：1
- 2020年
- 针对如何提升软件学院研究生综合竞争能力的问题,分析课程教学涵盖高性能计算相关专题的必要性,提出以科学计算和大型商务计算两个线索串接相关专题,并通过项目实践促使研究生了解和掌握相关概念和技术的实施方案,介绍建设思路和实践方法。
- 孔令波
- 关键词：分布式计算商务系统
- 贯通与综合:数据库实践课程教学建设的思考被引量：3
- 2019年
- 针对现有数据库管理系统课程偏重于概念和理论而疏于设计与实现的问题,在分析相关理论和编程技术的基础上,提出在数据库实践课程中采取贯通与综合的策略予以补充的方案,并简要介绍项目设计和实施的具体措施。
- 孔令波
- 关键词：数据库网络编程多线程信号量
- 面向本科生商务思维能力培养的数据分析课程建设被引量：2
- 2019年
- 商务思维和数据分析决策能力是当今大学生都应该具备的素养。针对如何提升软件学院大学生商务思维和数据分析决策能力的问题,分析借助数据分析课程涵盖相关专题的可行性与方案,提出将二者有机融合的课程建设思路,以商务思维为导引、以优化论为线索,通过示例教学帮助学生理解和掌握数据分析的基础算法。
- 孔令波
- 关键词：数据分析优化论
- 车辆自组网隐私保护研究综述被引量：8
- 2012年
- 车辆自组网(VANETs)是物联网在智能交通领域的一种重要应用形态,近年来已经成为了学术界和工业界的共同研究重点.VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护逐渐成为研究的一个热点,涌现了一大批研究成果.通过对VANETs安全与隐私保护的研究进行综述,对VANETs安全相关的概念、特点和模型进行说明和分类,提出了安全威胁和安全需求,介绍了该领域的研究现状,并对比分析了部分典型方案,指出了本领域未来的研究重点和发展方向.
- 杨涛孔令波胡建斌陈钟
- 关键词：车辆自组网隐私保护VANETSDSRC
- 聚合签名及其应用研究综述被引量：10
- 2012年
- 聚合签名是近些年来学术界关注的一个数字签名热区,经常出现在顶级密码会议论文中,对聚合签名的研究具有重要意义.通过对聚合签名的研究进行综述,对聚合签名相关的概念、特点进行说明和分类,提出安全需求和安全模型,阐述了研究现状,并重点介绍部分典型方案,还指出了本领域未来的研究方向.为了强调聚合签名的适应性,特别列举了在现实生活里聚合签名的多种应用方式:分级PKI中的证书链、RFID物品追踪、无线传感器网络(WSN)的安全路由协议、WSN网络数据融合、安全邮件、电子现金和安全交易、数据库外包、动态内容分发、车联网信息聚合、日志审计、云计算和分布式系统等诸多领域.
- 杨涛孔令波胡建斌陈钟
- 关键词：聚合签名
