{"id":"W1560863323","doi":"","title":"A four-concern-oriented secure is development approach","year":2011,"lang":"en","type":"article","venue":"International Conference on Security and Cryptography","topic":"Access Control and Trust","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Model checking; Formal methods; Formal specification; Controller (irrigation); Formal verification; Separation of concerns; Information system; Data modeling; Software engineering; Distributed computing; Programming language; Software; Engineering","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.003567226,0.0008490236,0.0004218418,0.001391127,0.001323423,0.003413814,0.002409885,0.001675818,0.00305614],"category_scores_gemma":[0.003058155,0.0008969483,0.001244998,0.0007681355,0.002093806,0.003966672,0.003680056,0.002447577,0.001092935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001862251,"about_ca_system_score_gemma":0.004170003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002481936,"about_ca_topic_score_gemma":0.003117096,"domain_scores_codex":[0.9962735,0.001356784,0.00024444,0.0004367743,0.001448773,0.0002396819],"domain_scores_gemma":[0.9980763,0.0005186424,0.0001953065,0.0004443233,0.0005787373,0.0001865714],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00006548619,0.0001811117,0.002129593,0.0003835485,0.0001135417,0.0009116616,0.002961684,0.01903799,0.01158987,0.8724032,0.002886519,0.08733575],"study_design_scores_gemma":[0.0001165524,0.0002901436,0.0009305495,0.0003444411,0.0002675556,0.001501064,0.001703506,0.2695015,0.02138842,0.4725266,0.2313306,0.0000990077],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008126006,0.0001530165,0.9742198,0.001494822,0.0000473601,0.0003171638,0.00003061711,0.0006266889,0.0149845],"genre_scores_gemma":[0.1675719,0.0003972876,0.8156593,0.0005106185,0.00003830954,0.0005236465,0.0001351583,0.0001856314,0.01497812],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003567226,"threshold_uncertainty_score":0.01886547,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1066827675834162,"score_gpt":0.3097388572790515,"score_spread":0.2030560896956354,"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."}}