{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001176286,0.000095731,0.0002677859,0.0002276149,0.00006432288,0.00006746247,0.0004648042,0.0000753042,0.00002117791],"category_scores_gemma":[0.00006938109,0.00008904677,0.00006129495,0.002501317,0.00007773004,0.0002296868,0.000356773,0.0001352876,0.000001718923],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002044346,"about_ca_system_score_gemma":0.00006025532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000554325,"about_ca_topic_score_gemma":0.00001543828,"domain_scores_codex":[0.9989972,0.00004215981,0.0002508981,0.0003378833,0.0002029179,0.0001689761],"domain_scores_gemma":[0.9994448,0.0000593279,0.00006205893,0.0002755402,0.00008219326,0.0000761054],"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.000009322684,0.00003382142,0.003184624,0.0000209597,0.0003356829,0.000008133747,0.0008929177,0.9474913,0.00152778,0.04090166,0.000193038,0.005400801],"study_design_scores_gemma":[0.0001125389,0.00003755056,0.00007527716,0.00000337503,0.00006282826,0.000001193757,0.00003490413,0.9956956,0.001772576,0.002088947,0.00001967412,0.00009553323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2991731,0.0000777158,0.6992399,0.001014729,0.00002253108,0.00005571716,0.000001241794,0.0002164961,0.0001985906],"genre_scores_gemma":[0.9118818,0.00001910404,0.08785579,0.0002192849,0.00001389064,9.685026e-7,0.000001485251,0.000003946693,0.000003726968],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6127087,"threshold_uncertainty_score":0.3631222,"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."}}