{"id":"W1985157429","doi":"10.1007/s11334-011-0166-z","title":"Combining UML, ASTD and B for the formal specification of an access control filter","year":2011,"lang":"en","type":"article","venue":"Innovations in Systems and Software Engineering","topic":"Access Control and Trust","field":"Social Sciences","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Agence Nationale de la Recherche","keywords":"Computer science; Formal methods; Unified Modeling Language; Formal specification; B-Method; Access control; Role-based access control; Software engineering; Programming language; Set (abstract data type); Mandatory access control; Software; Computer security","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.008297627,0.001665068,0.001273507,0.003381853,0.001353843,0.005979919,0.001989184,0.003182369,0.004311453],"category_scores_gemma":[0.01621439,0.001672802,0.003499717,0.001860798,0.003285441,0.005056159,0.004432525,0.004351378,0.002306437],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002368381,"about_ca_system_score_gemma":0.006436898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01659396,"about_ca_topic_score_gemma":0.01177533,"domain_scores_codex":[0.9918144,0.003060976,0.001687579,0.0008039095,0.002196772,0.0004363277],"domain_scores_gemma":[0.988015,0.005931751,0.00112638,0.002677763,0.001809855,0.000439301],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003621641,0.0001904446,0.002468812,0.0009931098,0.0001640748,0.0009938312,0.00141323,0.05328884,0.02716627,0.7778237,0.01209265,0.1230429],"study_design_scores_gemma":[0.0001874993,0.0001865773,0.0005621486,0.0005739831,0.0002260926,0.0007052583,0.0002358521,0.4841227,0.03789648,0.3424369,0.1325794,0.0002869843],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009229378,0.00003792563,0.9958533,0.0001404158,0.00004672119,0.00008433443,0.0001612743,0.002162943,0.0005902488],"genre_scores_gemma":[0.04280283,0.0002480033,0.9524266,0.000328747,0.00005738875,0.0004312415,0.0008203984,0.001008886,0.001875848],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01659396,"threshold_uncertainty_score":0.04388255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06396627378352777,"score_gpt":0.3017909178946446,"score_spread":0.2378246441111169,"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."}}