{"id":"W3130232093","doi":"10.1109/globecom42002.2020.9347988","title":"Modeling and Security Analysis of IEEE 802.1AS Using Hierarchical Colored Petri Nets","year":2020,"lang":"en","type":"article","venue":"","topic":"Network Time Synchronization Technologies","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"National Key Research and Development Program of China","keywords":"Computer science; IEEE 802; Computer network; Security analysis; Protocol (science); IEEE 802.1X; Petri net; IEEE 802.11w-2009; State space; Distributed computing; IEEE 802.11; Throughput; Computer security; Quality of service; Telecommunications","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.001091813,0.0008250896,0.0004142748,0.000838181,0.0005813803,0.00105177,0.001114968,0.0006573009,0.001418546],"category_scores_gemma":[0.001675865,0.0003679393,0.001035271,0.0004636684,0.001087495,0.001193171,0.0006760213,0.0007764506,0.000201989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001690135,"about_ca_system_score_gemma":0.002525501,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01999171,"about_ca_topic_score_gemma":0.01018087,"domain_scores_codex":[0.9989253,0.0003020318,0.00006751128,0.0001812707,0.0003955229,0.0001284257],"domain_scores_gemma":[0.9990678,0.0004465051,0.0001666957,0.00006809347,0.0002147163,0.00003610944],"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.00002008312,0.00002336412,0.0005453147,0.0000344726,0.00001771721,0.0001100507,0.00007691002,0.9109788,0.002894204,0.08023856,0.0002090141,0.004851492],"study_design_scores_gemma":[0.000003212563,0.00001070087,0.00008773593,0.000004920833,0.000009956057,0.00001103711,0.00000896549,0.9863759,0.0005306277,0.0124185,0.0005344076,0.000004035225],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02690419,0.0002598403,0.966555,0.0001761188,0.00005285929,0.00008287479,0.0001098993,0.0003117641,0.005547449],"genre_scores_gemma":[0.8336568,0.0009151109,0.1578401,0.00009460667,0.00007648575,0.0003444123,0.000205383,0.00008398161,0.006783168],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01999171,"threshold_uncertainty_score":0.0397507,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02989126731679337,"score_gpt":0.255686662613327,"score_spread":0.2257953952965336,"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."}}