{"id":"W185011072","doi":"10.1007/978-3-642-33536-5_12","title":"Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cloud Data Security Solutions","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Research Canada; Ericsson (Canada); Concordia University","funders":"","keywords":"Computer science; Cloud computing; Computer security; Virtual machine; Software engineering; Programming language; Operating system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005363683,0.0009335343,0.000870025,0.000874159,0.001084024,0.003729128,0.003265833,0.001435692,0.003063284],"category_scores_gemma":[0.01636438,0.001122132,0.002575375,0.0005828197,0.005168307,0.004587769,0.003412328,0.003063357,0.0005626742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002371229,"about_ca_system_score_gemma":0.0045388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006623366,"about_ca_topic_score_gemma":0.004929137,"domain_scores_codex":[0.9946108,0.001762073,0.0004214918,0.0006594788,0.001603806,0.0009423212],"domain_scores_gemma":[0.9872221,0.008112513,0.0007861326,0.002492111,0.001183299,0.0002037369],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005138931,0.0003324852,0.002340451,0.0007655256,0.0001554918,0.0007300178,0.00125847,0.2633799,0.02723804,0.628033,0.00323893,0.07201372],"study_design_scores_gemma":[0.0001707623,0.0001366194,0.0004396852,0.0001774138,0.0001324723,0.0002123138,0.0002203728,0.5966946,0.03708102,0.3571573,0.007511988,0.00006537751],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03666441,0.0002327085,0.9539725,0.0006564204,0.0001351999,0.0001860047,0.0001550709,0.002248879,0.005748793],"genre_scores_gemma":[0.7747532,0.0003368839,0.219594,0.000264881,0.0001216445,0.0002333871,0.0003677346,0.0004936392,0.00383462],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006623366,"threshold_uncertainty_score":0.02836621,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02626434630248451,"score_gpt":0.2682224568085786,"score_spread":0.2419581105060941,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}