文献

J-GLOBAL ID：201302278449514460   整理番号：13A0710114

クラウド内で仮想マシンを移動させるためのセキュリティ保護に関する形式的検証

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud

著者 (5件)： JARRAYA Yosr (Concordia Univ., Montreal, Quebec, CAN) ,  EGHTESADI Arash (Concordia Univ., Montreal, Quebec, CAN) ,  DEBBABI Mourad (Concordia Univ., Montreal, Quebec, CAN) ,  ZHANG Ying (Ericsson Res., CA, USA) ,  POURZANDI Makan (Ericsson Res. Canada, Quebec, CAN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7596  ページ： 111-125  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： クラウド ,  仮想マシン ,  セキュリティ ,  形式的検証