Cloud computing; information storage; data security; fault tolerant; colored Petri nets; formal modeling and verification;
机译:基于Petri网的机加工容错系统的建模与分析
机译:基于RAID的云信息存储安全和容错模型
机译:威胁导向的建模和使用面向方面的Petri网的安全软件验证
机译:用于安全和容错云的信息存储的Petri网模型
机译:网络存储服务的安全管理:模型和技术
机译:安全性分析和安全的通道无可证实可搜索的公钥对基于云的内容互相验证的加密
机译:事物互联网:基于安全的云的手臂移动模型
机译:动态petri网:分布式传感器网络拓扑的一种新的建模技术;会议论文