王珊珊

作品数：21被引量：44H指数：4
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：本体隐私WEB服务组合宽频率阻抗测量更多>>
发文领域：自动化与计算机技术航空宇航科学技术建筑科学生物学更多>>
发文期刊：《计算技术与自动化》《电子产品世界》《计算机与现代化》《现代电子技术》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种实时系统时间约束验证方法研究
《计算技术与自动化》2017年第3期87-91,共5页潘诚 王珊珊 王梓 司佳 
国家高新技术研究发展计划(863)(2015AA015303)
目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能模和时间约束分析的方法尚在研究中,而这些系统作为实时控制系统,应该确保其具有准确的、可分析的时间行为。时钟约束规范语言CCSL是实时系统的标准描述语言中描述时钟约束的...
关键词：实时系统 CCSL 时间自动机 时间约束 模型检测 
采用CCSL仿真与分析反应式系统事件链模型
《小型微型计算机系统》2017年第8期1718-1723,共6页潘诚 黄志球 王珊珊 王梓 
国家自然科学基金项目(61272038)资助;国家"八六三"高技术研究发展计划项目(2015AA015303)资助;软件新技术与产业化协同创新中心资助
目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的...
关键词：反应式系统 事件链 时间约束 CCSL 
一种隐私需求驱动的服务协调方法
《小型微型计算机系统》2015年第10期2183-2189,共7页刘博 黄志球 王珊珊 
国家自然科学基金项目(61272083)资助;中央高校基本科研业务费专项资金项目(56XAA12022)资助
针对现有的Web服务组合事务协调框架在保证事务一致性情况下,无法保证组合服务中隐私保护的问题,提出一种同时支持隐私保护和事物一致性的Web服务组合协调方法.该方法基于提出的隐私扩展的Web服务组合事务模型,扩展了业务流程执行语言BP...
关键词：WEB服务组合 隐私 事务 协调方法 
一种基于故障扩展SysML活动图的安全性验证框架研究被引量：4
《计算机科学》2015年第7期222-228,共7页仵志鹏 黄志球 王珊珊 曹德建 
国家自然科学基金(61100034;61170043);中国博士后科学基金(20110491411);江苏省普通高校研究生科研创新计划资助项目;中央高校基本科研业务费专项资金(CXZZ11_0218)资助
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和Sy...
关键词：安全性验证 故障树语义 SysML活动图 PROMELA 
基于属性的支持策略本体推理的访问控制方法研究被引量：2
《计算机科学》2015年第3期96-101,123,共7页倪川 黄志球 王珊珊 黄传林 
基于属性的访问控制模型(ABAC)特别适用于大规模分布式网络。然而,由于网络环境的异构性以及策略控制的复杂性,其访问控制策略集往往庞大且缺乏统一语义,策略管理也因此变得复杂和易于出错。针对以上问题,使用本体一致性推理对现有的基...
关键词：ABAC 语义WEB 本体 XACML 
扩展了信任与隐私的ABAC模型研究
《电子产品世界》2015年第2期27-30,共4页倪川 王珊珊 黄传林 
国家自然科学基金支持(基金号:61272083)
基于属性的访问控制模型(ABAC)特别适用于大规模分布式网络。然而,由于其访问控制决策依赖于属性的暴露,又没有有效的敏感属性保护机制,使得访问主体的敏感属性存在非法暴露的风险。本文提出了一种扩展了信任与隐私的ABAC模型,它包含了...
关键词：访问控制 信任 隐私 上下文 协作 危机管理 
一种隐私暴露风险控制的服务演化方法
《计算机与现代化》2014年第10期76-80,107,共6页刘博 黄志球 王珊珊 
国家自然科学基金资助项目(61272083);中央高校基本科研业务费专项基金资助项目(56XAA12022)
在Web服务组合中,用户隐私保护问题被广泛关注。当服务组合中有一个或多个成员服务对用户隐私数据的需求超出用户愿意给予的范围时,Web服务组合需要能够进行调整,以保证隐私数据的暴露符合用户需求。本文基于服务演化的理论,提出一种基...
关键词：WEB服务组合 服务演化 隐私保护 演化约束 变化策略 
支持本体推理的P3P隐私策略冲突检测研究被引量：7
《计算机科学与探索》2013年第1期74-82,共9页贾哲 黄志球 王珊珊 沈国华 柯昌博 
国家自然科学基金 Nos.61100034;61170043;中国博士后科学基金 No.20110491411;江苏省博士后科研资助计划项目 No.1101092C;南京航空航天大学博士学位论文创新与创优基金 No.BCXJ12-14;中央高校基本科研业务费专项资金~~
隐私偏好平台(platform for privacy preferences,P3P)主要被用于在用户访问网站时保护用户的隐私。同时,如何使用语义Web技术实现P3P隐私框架已经成为一个主要的关注点。分析了如何使用本体描述语言(Web ontoloty language,OWL)对P3P...
关键词：本体 隐私冲突 隐私偏好平台(P3P) 
基于BPEL和WS-TX的Web服务组合事务协调框架研究被引量：3
《计算机科学》2012年第6期120-124,共5页蔡正平 黄志球 王进 王珊珊 徐丙凤 
国家高技术研究发展计划(863计划)项目(2009AA010307);江苏省研究生培养创新工程基金(CXZZ11_0218)资助
针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process E...
关键词：WEB服务 事务 协调框架 
云计算中SLA的分层监测研究
《信息通信》2012年第1期101-102,共2页李杰 王珊珊 
在云计算这个松耦合的服务环境中,为了保证服务的质量,用户和服务提供者之间必须签订SLA协议,来保证服务的正常交互。对于服务提供者来说,他们不知道这些高层的SLA属性怎么转化到底层的度量值或者参数上去,云中服务实现方式的多样性导...
关键词：SLA 云计算 QOS 分层监测 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部