published in Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom Journal
presented at event 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom) Conference
keywords Bell-LaPadula Computer Science Computer Science, Information Systems Computer Science, Software Engineering Computer Science, Theory & Methods Petri nets Science & Technology Technology federated clouds information flow security verification