检索结果-内蒙古大学图书馆

计算机科学 2013年第11期40卷 89-93页

作者：张宏基李文中陆桑璐南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

为了保护用户的隐私,大部分公开数据集都采用隐藏真实ID和引入噪声信息的方法来进行匿名处理。这些匿名处理即使在异步参考信息的攻击下也是脆弱的:即使只有部分位置信息暴露给攻击者并且暴露信息和公开数据集的收集过程不在同一时段内... 详细信息

为了保护用户的隐私,大部分公开数据集都采用隐藏真实ID和引入噪声信息的方法来进行匿名处理。这些匿名处理即使在异步参考信息的攻击下也是脆弱的:即使只有部分位置信息暴露给攻击者并且暴露信息和公开数据集的收集过程不在同一时段内,攻击者依然能够识别出节点在公开数据集中的身份。首先,实验证明已有算法在异步信息情况下不适用;然后,提出针对异步信息的热点矩阵算法。采用3个真实移动数据集验证了识别算法的准确率。实验证明,热点矩阵法在异步信息条件下能够取得远高于已有方法的准确率。

关键词：匿名化移动路径异步信息身份识别地理空间热点

来源：评论

学校读者我要写书评

暂无评论

基于符号执行和LTL公式重写的测试用例产生方法

引用

计算机研究与发展 2013年第12期50卷 2661-2675页

作者：陈冬火刘全苏州大学计算机科学与技术学院江苏苏州215006 计算机软件新技术国家重点实验室(南京大学) 南京210093 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法... 详细信息

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.

关键词：测试用例自动产生符号执行公式重写模型检验线性时序逻辑输入输出符号变迁系统

来源：评论

学校读者我要写书评

暂无评论

基于QoS和距离感知的自适应协作差错控制机制

引用

北京邮电大学学报 2013年第2期36卷 102-106页

作者：靳勇白光伟常晋义常熟理工学院计算机科学与工程学院江苏常熟215500 南京工业大学计算机科学与技术系南京210009 计算机软件新技术国家重点实验室(南京大学) 南京210093

提出一种基于跨层交互的自适应协作差错控制策略,包括距离感知的中继选择和支持区分服务的服务质量(QoS)保障机制.链路层采用混合自动重传请求(HARQ),物理层采用自动重传请求(ARQ),根据数据包传输特性建立马尔可夫链模型,感知性能进行... 详细信息

提出一种基于跨层交互的自适应协作差错控制策略,包括距离感知的中继选择和支持区分服务的服务质量(QoS)保障机制.链路层采用混合自动重传请求(HARQ),物理层采用自动重传请求(ARQ),根据数据包传输特性建立马尔可夫链模型,感知性能进行中继选择;根据应用业务的多样性QoS需求,确定最佳差错控制方案.仿真实验和数学分析结果表明,所提策略与传统ARQ和HARQ、协作ARQ和HARQ相比,在确保无线传感器网络传输高可靠性的同时缩短了时延并获得了较高吞吐率和能量效率.

关键词：无线传感器网络协作通信跨层设计距离感知自动请求重传服务质量保障

来源：评论

学校读者我要写书评

暂无评论

浏览器权能监控技术研究

引用

武汉大学学报（理学版） 2013年第2期59卷 187-192页

作者：曹志炜黄皓南京大学计算机科学与技术系/软件新技术国家重点实验室江苏南京210093

深入分析了Chrome,IE等浏览器在Windows下的进程、线程行为,提出了基于浏览器组件的权能监控方法.利用进程地址空间分析、线程栈分析、内核监控模块等技术手段,实现了更加细粒度的对浏览器权能监控,阻止了通过浏览器攻击主机的行为,提... 详细信息

深入分析了Chrome,IE等浏览器在Windows下的进程、线程行为,提出了基于浏览器组件的权能监控方法.利用进程地址空间分析、线程栈分析、内核监控模块等技术手段,实现了更加细粒度的对浏览器权能监控,阻止了通过浏览器攻击主机的行为,提高了主机安全性能.

关键词：权能浏览器组件栈分析内核监控模块

来源：评论

学校读者我要写书评

暂无评论

基于谓词检测方法的上下文感知案例研究

引用

计算机应用 2013年第12期33卷 3363-3367页

作者：方超杨怡玲黄宇计算机软件新技术国家重点实验室(南京大学) 南京210046 南京大学计算机科学与技术系南京210046

当前,开发灵活的适应环境变化的上下文感知应用较为复杂。在上下文感知应用开发过程中,很多未知情况无法事先被充分考虑到,实际的开发又需要处理很多意外情形,因此有效地表示和处理上下文尤为重要。谓词检测作为实现上下文感知的重要方... 详细信息

当前,开发灵活的适应环境变化的上下文感知应用较为复杂。在上下文感知应用开发过程中,很多未知情况无法事先被充分考虑到,实际的开发又需要处理很多意外情形,因此有效地表示和处理上下文尤为重要。谓词检测作为实现上下文感知的重要方法之一,能够有效对上下文信息进行建模,但在实际应用中对于真实物理设备的支持如何在很大程度上仍然是未知的。为了应对以上问题,通过构建一个简单的物理场景,将谓词检测方法应用于真实的机器小车上,支持其在一个既定轨道上完成运行任务。在该场景下对原始的上下文环境进行建模,将环境特性逐步规约成特定的快照谓词和序列谓词,并在案例研究中,对规约化的谓词进行检测,将谓词检测应用于真实的机器小车实验上。实验分析的结果表明,谓词检测的方法能有效检测小车的上下文特性并成功支撑小车完成既定的行走目标。

关键词：上下文感知谓词检测快照谓词序列谓词

来源：评论

学校读者我要写书评

暂无评论

微内核中断机制的形式化设计与验证

引用

计算机科学 2013年第3期40卷 197-200,205页

作者：李康杰钱振江黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

操作系统的正确性和安全性很难用定量的方法进行描述。形式化方法是操作系统设计和验证领域公认的标准方法。以操作系统对象语义模型(OSOSM)为基础,采用形式化方法对微内核架构的中断机制进行了设计和验证,在自行开发的安全可信操作系统... 详细信息

操作系统的正确性和安全性很难用定量的方法进行描述。形式化方法是操作系统设计和验证领域公认的标准方法。以操作系统对象语义模型(OSOSM)为基础,采用形式化方法对微内核架构的中断机制进行了设计和验证,在自行开发的安全可信操作系统VTOS上加以实现,采用Isabelle/HOL对设计过程进行了形式化描述,对VTOS中断机制的完整性进行了验证,这对操作系统的形式化设计和验证工作起到了一定的借鉴意义。

关键词：形式化设计形式化验证微内核中断完整性

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络MAC层节能广播协议

引用

计算机科学 2013年第1期40卷 29-32,62页

作者：张韬陈力军陈道蓄南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

在无线传感器网络中,使节点休眠是一种有效的节能方式。很多较新的MAC协议都采用定期休眠的机制进行节能,如B-MAC、VPCC、X-MAC、A-MAC等。这些协议并未针对广播进行设计,使得发送广播需要消耗较多能量,而且易于发生隐藏节点引起的冲突... 详细信息

在无线传感器网络中,使节点休眠是一种有效的节能方式。很多较新的MAC协议都采用定期休眠的机制进行节能,如B-MAC、VPCC、X-MAC、A-MAC等。这些协议并未针对广播进行设计,使得发送广播需要消耗较多能量,而且易于发生隐藏节点引起的冲突。提出了适用于休眠传感器网络的节能广播协议。该方法中广播报文以随机间隔进行重传,能够保证异步休眠的节点接收到广播数据;在产生隐藏节点冲突问题时,随机间隔的机制能够使相互干扰的报文较快分离,降低报文冲突的干扰。通过NS-2模拟,验证了广播协议的节能性和高效性。

关键词：无线传感器网络 MAC层广播协议

来源：评论

学校读者我要写书评

暂无评论

基于体系结构能耗建模的CPS软件可信性评估方法

引用

电子学报 2013年第11期41卷 2270-2275页

作者：张广泉张侃祝义周航苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室北京100190 江苏师范大学计算机科学与技术学院江苏徐州221116 南京航空航天大学民航学院江苏南京210016

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

关键词：信息物理融合系统软件可信性评估可信性指标模型能耗建模

来源：评论

学校读者我要写书评

暂无评论

一种自适应的循环不变式生成方法

引用

计算机工程 2013年第6期39卷 76-81页

作者：刘自恒曾庆凯南京大学计算机科学与技术系 210093 南京大学计算机软件新技术国家重点实验室 210093

基于条件赋值转换和自适应模板生成技术,提出一种自适应的的循环不变式生成方法。该方法在生成过程中综合考虑函数规范、循环本身、循环后操作等信息,有针对性地发现潜在的循环不变式,并在Frama-C平台上实现一个插件loopInv。实验结果表... 详细信息

基于条件赋值转换和自适应模板生成技术,提出一种自适应的的循环不变式生成方法。该方法在生成过程中综合考虑函数规范、循环本身、循环后操作等信息,有针对性地发现潜在的循环不变式,并在Frama-C平台上实现一个插件loopInv。实验结果表明,与invGen和gin-pink工具相比,loopInv的应用更加有效,可较好地完成多数程序的验证过程。

关键词：验证程序循环不变式条件赋值转换模板插件

来源：评论

学校读者我要写书评

暂无评论

最小扰动混合角色挖掘方法研究

引用

计算机研究与发展 2013年第5期50卷 951-960页

作者：翟志刚王建东曹子宁毛宇光南京航空航天大学计算机科学与技术学院南京210016 江苏省省级机关事务管理局南京210024 计算机软件新技术国家重点实验室(南京大学) 南京210093

绝大部分的角色挖掘方法都是从无到有地进行构建,所有角色都是新挖掘出来的,而没有考虑事先已经存在的角色集合.而且从已有角色集合的方法中提出的相似度定义均不满足交换律;提出一种混合角色挖掘方法,以top-down方法预先定义部分角色,... 详细信息

绝大部分的角色挖掘方法都是从无到有地进行构建,所有角色都是新挖掘出来的,而没有考虑事先已经存在的角色集合.而且从已有角色集合的方法中提出的相似度定义均不满足交换律;提出一种混合角色挖掘方法,以top-down方法预先定义部分角色,以bottom-up方法挖掘候选角色集合.定义加权结构复杂度并以此作为系统状态优化的指标.给出满足交换律的相似度定义,以此作为与原有角色集近似度量的指标,并提出相似度计算算法.在此基础上提出最小扰动混合角色挖掘的定义和算法;分析算法复杂度并作出性能评估,评估结果表明算法准确率和效率均有明显提高.

关键词：角色挖掘角色工程基于角色访问控制加权结构复杂度相似度

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：