位置：成果数据库 > 期刊 > 期刊详情页
Analysis of the Composition of Non-Deducibility in Cyber-Physical Systems
  • ISSN号：2325-0399
  • 期刊名称：APPLIED MATHEMATICS & INFORMATION SCIENCES
  • 时间：2014.11
  • 页码：3137-3143
  • 相关项目：基于服务的信息物理融合系统软件结构建模方法
作者： Wang, Jingming|Yu, Huiqun|
同期刊论文项目
基于服务的信息物理融合系统软件结构建模方法
期刊论文 71 会议论文 22
同项目期刊论文
基于安全进程代数的非演绎安全模型的分析与验证
Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net
A reputation evaluation technique for web services
Securing personal health records in clouds by enforcing sticky policies
A Game Theory Approach to Fair and Efficient Resource Allocation in Cloud Computing
CDN缓存资源分配的细胞优化算法
基于Petri网的CPS系统安全量化分析模型
分布式嵌入式系统的自适应能耗管理和分析
基于效用的云计算容错策略和模型
群蚊子追踪算法
基于实时UML顺序图的物联网交互模型
一种改进的BM字符串匹配算法
Modeling and analyzing reliable cyber-physical systems based on aspect orientation
Crystal energy optimization algorithm
一种基于RSSI距离比的传感器节点定位算法
Research on the encryption and digital signatures in remote attestation from elliptic curve group
Social group search optimizer algorithm for Ad Hoc network
A novel optimization algorithm inspired by the creative thinking process
基于信任度的并行化社区发现算法
Securing cloud emails using two factor authentication based on password/apps in cloud computing
基于容器的云资源管理博弈模型
云计算中基于进化算法的任务调度策略
基于多群体公平模型的特征选择算法
基于安全灰箱演算的物联网移动性建模验证
Formal Modeling and Analysis the Reliability of Cloud Application
Analysis of non-interference in cyber-physical systems
基于社会群体搜索算法的机器人路径规划
Modelling UML sequence diagrams with aspect-oriented extended petri nets
A formal method to model and analyze QoS-Aware fault tolerant service composition
仿生蚊子追踪算法
大数据分析与隐私保护
基于HCPN的面向方面NVP建模与分析
基于广义随机着色Petri网的Web服务组合模型
Behavioral modeling with the new bio-inspired coordination generalized molecule model algorithm
Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts
Energy-aware self-organisation algorithms with heterogeneous connectivity in wireless sensor network
A novel bio-inspired approach based on the behavior of mosquitoes
Petri net based techniques for constructing reliable service composition
云计算安全模型与管理
一种云存储数据完整性验证方法
一种基于AOcontPN的信息物理系统建模方法
TSP湖水能量优化算法
Modeling of Adaptive Cyber Physical Systems Using Aspect-Oriented Approach
基于ZigBee技术的井下人员定位算法研究
Fine-grained access controlvia XACML policy optimization in cloud computing
A requirement-driven method for secure and reliable Web service composition
基于副本分布策略的MapReduce性能优化技术
基于社区发现及主题分析的微博用户推荐
基于互斥条件的云数据中心虚拟机整合策略
带Mismatch算子的高阶π演算