{"id":"W2119468697","doi":"10.14257/ijsia.2014.8.1.35","title":"Security Vulnerabilities Tests Generation from SysML and Event-B Models for EMV Cards","year":2014,"lang":"en","type":"article","venue":"International Journal of Security and Its Applications","topic":"Information and Cyber Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer security; Event (particle physics); Computer science; Systems Modeling Language; Unified Modeling Language; Physics; Software; 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.00125532,0.0008423915,0.0003024248,0.001533386,0.0002978715,0.001122852,0.0007416695,0.0009672476,0.003559609],"category_scores_gemma":[0.006070993,0.0005165469,0.001015358,0.0004761479,0.0006179665,0.00111522,0.0007969455,0.0008940554,0.0006558044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009474796,"about_ca_system_score_gemma":0.001117185,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00355283,"about_ca_topic_score_gemma":0.003083739,"domain_scores_codex":[0.9981235,0.0006956182,0.0001416213,0.000244311,0.0006875133,0.0001074711],"domain_scores_gemma":[0.9967963,0.002124969,0.0002819733,0.0003943259,0.0003545535,0.00004783424],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006778307,0.0004955565,0.009975874,0.0008412526,0.0001055006,0.002539937,0.001320227,0.6734416,0.08205795,0.07181511,0.006444632,0.1502845],"study_design_scores_gemma":[0.00007980813,0.0001754006,0.001275637,0.00007106898,0.00004255557,0.0003828866,0.0000979491,0.9110484,0.06176982,0.01090738,0.01410637,0.00004272229],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0901003,0.0001191605,0.890515,0.0002544327,0.00005944657,0.0003976572,0.001743902,0.01254149,0.004268611],"genre_scores_gemma":[0.6069382,0.0002005718,0.3836645,0.0001296584,0.00001547065,0.0005873864,0.003822118,0.001339931,0.003302275],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003559609,"threshold_uncertainty_score":0.01190811,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01639299895374701,"score_gpt":0.2724627201691486,"score_spread":0.2560697212154016,"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."}}