Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning

von Cauli, Claudia
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Nasa formal methods : 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings

Veröffentlicht 2016