Research output per year
Research output per year
-
Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems
Aydin, M. M. & Jacob, J. L., 7 Sep 2015, Intelligence and Security Informatics Conference (EISIC), 2015 European Workshop. Hammoudeh, M. & Han, L. (eds.). IEEE, p. 53-60 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors
Jacob, J. L. & Aydin, M. M., Apr 2014, Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014). Helfert, M. (ed.). SciTePress, p. 604-609 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
On integrating confidentiality and functionality in a formal method
Jacob, J. L. & Banks, M. J., 2014, In: Formal Aspects of Computing. 26, 5, p. 963-992 30 p.Research output: Contribution to journal › Article › peer-review