{"id":"W2403302360","doi":"10.1007/bf03219899","title":"Timed secure colored Petri net based analysis of information flow","year":2006,"lang":"fr","type":"article","venue":"Annals of Telecommunications","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Computer science; Computer security model; Information flow; Distributed computing; Graph; Theoretical computer science; State space; Confidentiality; Security analysis; State (computer science); Security policy; Computer security; Programming language; Mathematics","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.001225306,0.0008444336,0.0007148757,0.001555137,0.0005881363,0.001505019,0.001132184,0.000539173,0.003339306],"category_scores_gemma":[0.003208265,0.0003831661,0.001352429,0.0007419827,0.00103275,0.001349536,0.0007052933,0.0008301839,0.0003819757],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002055848,"about_ca_system_score_gemma":0.002209662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008692102,"about_ca_topic_score_gemma":0.004963712,"domain_scores_codex":[0.9987561,0.0003469454,0.00005028956,0.0001919043,0.0004604508,0.0001944432],"domain_scores_gemma":[0.9976873,0.001541243,0.0001315649,0.0001858811,0.0003875,0.00006650061],"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.0003839237,0.0001020998,0.001419056,0.0001242753,0.00009231387,0.0003807686,0.0001192605,0.789117,0.02087267,0.1595858,0.0006205913,0.02718215],"study_design_scores_gemma":[0.000007969962,0.00001536725,0.0001141565,0.000005264694,0.00001631562,0.00001828605,0.00000723899,0.9740334,0.004323048,0.02106278,0.0003890185,0.00000714602],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0271362,0.00006587186,0.9694088,0.00005982385,0.00004277849,0.00008039599,0.000106956,0.0007013953,0.002397778],"genre_scores_gemma":[0.8291825,0.0001644578,0.1658982,0.0000468162,0.00002748057,0.0001289555,0.0002235886,0.0001660144,0.004161877],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008692102,"threshold_uncertainty_score":0.01728302,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06208067103071099,"score_gpt":0.317059079855836,"score_spread":0.254978408825125,"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."}}