...
机译:正式化工作流在联邦云上的分区:多级安全性和成本
School of Computing Science, Newcastle University, Newcastle NE1 7RU, UK;
School of Computing Science, Newcastle University, Newcastle NE1 7RU, UK;
federated clouds; formal proof; Bell-LaPadula; Haskell; Z/EVES;
机译:用于将工作流的多级安全模型在联合云中分区
机译:在联合云上动态分区工作流程,以优化货币成本和处理运行时间故障
机译:多云性能和安全驱动的联合工作流管理
机译:正式化联合云上的工作流分区:多级安全性和成本
机译:通过联合云SoS进行云计算的成本和能源优化
机译:联合医院物联网云中远程医学实验室的基于区块链的医疗保健工作流程
机译:用于在联合云上划分工作流的多级安全模型
机译:计算科学:一种用于在联合云上划分Worflow的多级安全模型