Formal verification of secure information flow in cloud computing
- 期刊名称Journal of Information Security and Applications
- 作者Zeng, Wen; Koutny, Maciej; Watson, Paul; Germanos, Vasileios
- 印刷ISSN2214-2126
- 文件大小1342.87KB
- 发表时间2016-4
- DOI10.1016/j.jisa.2016.03.002
Collateral and capital structureRampini, Adriano A.; Viswanathan, S. · Journal of Financial Economics · 2013
Alliances and corporate governanceBodnaruk, Andriy; Massa, Massimo; Simonov, Andrei · Journal of Financial Economics · 2013
Are busy boards detrimental?Field, Laura; Lowry, Michelle; Mkrtchyan, Anahit · Journal of Financial Economics · 2013
Anomalies and financial distressAvramov, Doron; Chordia, Tarun; Jostova, Gergana; Philipov, Alexander · Journal of Financial Economics · 2013
Investment cycles and startup innovationNanda, Ramana; Rhodes-Kropf, Matthew · Journal of Financial Economics · 2013
The economics of hedge fundsLan, Yingcong; Wang, Neng; Yang, Jinqiang · Journal of Financial Economics · 2013
Countercyclical currency risk premiaLustig, Hanno; Roussanov, Nikolai; Verdelhan, Adrien · Journal of Financial Economics · 2014
Dynamic risk managementRampini, Adriano A.; Sufi, Amir; Viswanathan, S. · Journal of Financial Economics · 2014