机译:否定性限制了入侵者的演绎性。可确定性及其在担保服务组合中的应用
Univ Luxembourg, SnT, Luxembourg, Luxembourg;
Univ Paul Sabatier, Toulouse, France|IRIT, Toulouse, France;
INRIA Nancy Grand Est, F-54600 Villers Les Nancy, France|LORIA, F-54600 Villers Les Nancy, France;
INRIA Nancy Grand Est, F-54600 Villers Les Nancy, France|LORIA, F-54600 Villers Les Nancy, France;
Web services; Orchestration; Security policy; Separation of duty; Deducibility constraints; Cryptographic protocols; Formal methods; Automated verification; Synthesis;
机译:分析具有安全约束的综合QoS,以用于无线传感器网络中的服务组合应用
机译:乌拉尔阿拉斯加型超镁铁质复合物的初生岩浆:从矿物成分推导的地球化学约束。
机译:数组的基数约束(可确定性结果和应用)
机译:安全微服务组合的开发活动,工具和技术
机译:在具有资源限制的普适计算环境中安全组成异构SOA服务的框架。
机译:无线传感器网络中服务组合应用中具有安全性约束的综合QoS分析
机译:否定性限制了入侵者的演绎性。可确定性及其在担保服务组合中的应用