Formal verification of secure information flow in cloud computing Journal Articles

Overview
Research
Identity
Additional Document Info
View All

authors

Zeng, Wen
Koutny, Maciej
Watson, Paul
Germanos, Vasileios

status

published

publication date

April 2016

published in

Journal of Information Security and Applications Journal