{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001030152,0.0001791979,0.0004641919,0.0009322782,0.0002854792,0.0001301163,0.001894589,0.0001867652,0.0002246212],"category_scores_gemma":[0.0002967708,0.0002191496,0.0003908504,0.00509192,0.0002883215,0.001024316,0.0002840284,0.000265358,0.0000380899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003186507,"about_ca_system_score_gemma":0.0003224996,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00166676,"about_ca_topic_score_gemma":0.0003343275,"domain_scores_codex":[0.9974657,0.0004255126,0.001234812,0.0001972255,0.0003725584,0.0003042499],"domain_scores_gemma":[0.9942998,0.0009626426,0.001126042,0.002007998,0.001524581,0.00007897274],"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.00003561647,0.001723749,0.003953404,0.0002665206,0.001332707,7.064702e-7,0.004098347,0.5273622,0.0001606173,0.3514574,0.05270689,0.05690177],"study_design_scores_gemma":[0.0002195363,0.0000657628,0.03430664,0.00006859398,0.0002559396,0.000001033792,0.00007475992,0.8665668,0.002211242,0.001430585,0.09462292,0.0001761682],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02818669,0.008677123,0.8815746,0.06321793,0.0005578856,0.0006188484,0.0006826178,0.0001664137,0.01631793],"genre_scores_gemma":[0.834955,0.0004470321,0.1626692,0.0007395903,0.00004120254,0.00002057003,0.0008761875,0.000007920653,0.0002433008],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8067683,"threshold_uncertainty_score":0.8936661,"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."}}