2. 您的位置
3. 首页
4. 期刊论文
5. Distributed Information Flow Verification for Secure Service Composition in Smart Sensor Network

Distributed Information Flow Verification for Secure Service Composition in Smart Sensor Network

来源 :中国通信 | 被引量 : 0次 | 上传用户：jiqt001

【摘 要】

：

Accelerate processor, efficient software and pervasive connections provide sensor nodes with more powerful computation and storage ability, which can offer vari

【作 者】

：

XI Ning SUN Cong MA Jianfeng C 

【机 构】

：

ShaanxiKeyLaboratoryofNetworkandSystemSecurity,SchoolofCyberEngineering

【出 处】

：

中国通信

【发表日期】

：

2016年4期

【关键词】

：

information flow security service composition formal verification smart sensor n 

【基金项目】

：

supported in part by National Natural Science Foundation of China（61502368,61303033,U1135002 and U1405255）, the National High Technology Research and Development Program（863 Program）of China（No.2015AA

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Accelerate processor, efficient software and pervasive connections provide sensor nodes with more powerful computation and storage ability, which can offer various services to user. Based on these atomic services, different sensor nodes can cooperate and

其他文献

Integrating Tabu Search in Particle Swarm Optimization for the Frequency Assignment Problem

In this paper, we address one of the issues in the frequency assignment problem for cellular mobile networks in which we intend to minimize the interference lev

期刊

粒子群优化算法频率分配问题禁忌搜索算法蜂窝移动网络计算模型早熟收敛全局优化收敛速度frequency assignment problem pa

农村弱势群体子女教育问题及对策

农村弱势群体子女教育由于其父母在经济、政治和社会中的弱势，经常置身于“困苦”环境，加之其抵御能力差，很容易引发一些教育疾病或者社会问题。小学教育是重要的奠基工程，小学阶

期刊

农村弱势群体子女教育问题对策

提高初中思想品德教学实效性

新课程及新课改的实施，不仅是教学内容和教学形式的改变，更是实际效果的变化。新课程思品课教学主要突出育人育德要求，课堂是思想品德教育的主阵地，它帮助学生学习道德知识，激发学生道德情感，帮助学生提高道德践行能力，培养学生良好的道德行为习惯，从而使学生树立科学的人生观、价值观，形成良好的道德品质。因此，课堂教学有效性就成为衡量课堂教学质量的一个重要标准。　　思想品德 新课程理念 实效性　　“实践性”是思

期刊

思想品德新课程理念实效性

SERVICES AND COMMUNICATIONS IN FOG COMPUTING

期刊

Differentially Private Spatial Decompositions for Geospatial Point Data

Technological advancements in data analysis and data releasing have put forward higher security requirements, such as privacy guarantee and strictly provable se

期刊

privacyguaranteeFibonacciallocationQUADTREEdifferentialprivacyprivacy gua

对乌审旗信贷投放支持县域经济发展情况的思考

一、金融信贷投放支持县域经济发展制约因素分析从金融机构的角度分析来看:(一)全旗贷款规模出现下降、贷款投放难现象初步显现。从2012~2018年乌审旗辖内金融机构各项存贷款

期刊

县域经济发展信贷投放经济发展情况乌审旗贷款规模金融机构制约因素分析贷款投放

国内外对VaR方法的研究综述

本文主要致力于国内外对VaR方法的综述研究，先分析了对VaR方法的研究综述，并对比总结出了我国对VaR方法的研究综述情况，并进一步进入到改进阶段，提升了我国对VaR方法的理论研究。

期刊

国内对VaR方法的研究综述国外对VaR方法的研究综述

新形势下C2C发展现状与研究

本文分析了我国C2C的现状并从模式、成本因素及消费者等方面分析了现阶段C2C存在的问题。提出了C2C电子商务在新形下的应对策略。

期刊

C2C网店电子商务

Attribute-Based Access Control for Multi-Authority Systems with Constant Size Ciphertext in Cloud Co

In most existing CP-ABE schemes, there is only one authority in the system and all the public keys and private keys are issued by this authority, which incurs c

期刊

系统初始化计算成本密文访问控制权威属性加密解密安全访问cloud computing attribute-basedencryption a

China Communications Editorial Board Meeting 2017 Held in Qingdao

期刊