Model checking adaptive service compositions
BugliesiM., MarinA., RossiS. · Science of Computer Programming · 2014
We present a logic-based verification framework for multilevel security and transactional correctness of service oriented architectures. The framework is targeted at the analysis of data confidenti...