{"id":"W4409807054","doi":"10.1007/978-3-031-89350-6_5","title":"Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Computer science; Vulnerability (computing); Software; Vulnerability assessment; Software engineering; Computer security; Programming language","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.001113423,0.0005923237,0.0006421584,0.002218117,0.0006331209,0.001681031,0.00118093,0.000993265,0.001750325],"category_scores_gemma":[0.006741285,0.0005137885,0.0009591248,0.001213331,0.0008125161,0.002479562,0.00111475,0.0007554067,0.0005981061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008791571,"about_ca_system_score_gemma":0.001080612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001909855,"about_ca_topic_score_gemma":0.002505404,"domain_scores_codex":[0.9974188,0.000437865,0.0001809844,0.0002847142,0.001444648,0.0002330117],"domain_scores_gemma":[0.995209,0.002106327,0.0005548786,0.001172369,0.0008878519,0.00006949705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001962111,0.0003769815,0.05223505,0.001099356,0.0003950639,0.002177163,0.001488934,0.1288446,0.1444694,0.1356952,0.0113213,0.5199348],"study_design_scores_gemma":[0.00005115953,0.0003644314,0.004699285,0.0001186059,0.000261674,0.001195307,0.0004079507,0.7919469,0.1007659,0.0895179,0.01059903,0.00007182069],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.440714,0.001222198,0.5287647,0.0005733527,0.0001667168,0.0002095189,0.0005549346,0.01494687,0.01284778],"genre_scores_gemma":[0.8599991,0.0002443255,0.1362629,0.0001014135,0.0000198792,0.000042129,0.0003936951,0.0002803774,0.002656041],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002218117,"threshold_uncertainty_score":0.00637871,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02067349604423332,"score_gpt":0.2676906002831827,"score_spread":0.2470171042389494,"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."}}