{"id":"W1497142724","doi":"10.1007/11554578_5","title":"Formal Methods for Smartcard Security","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Smart card; Computer security; Flexibility (engineering); Computer science; Java Card; Interoperability; Confidentiality; Reliability (semiconductor); Operating system; Embedded system; Java; Java applet","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.001910882,0.001345896,0.0007778468,0.001204189,0.0009094888,0.002786768,0.001881513,0.001627699,0.01611941],"category_scores_gemma":[0.003561526,0.001072541,0.001286315,0.0009158175,0.003887099,0.005731312,0.001583276,0.004007,0.004718918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001944978,"about_ca_system_score_gemma":0.001039646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001058198,"about_ca_topic_score_gemma":0.001151164,"domain_scores_codex":[0.9982194,0.0005754685,0.0001372508,0.0002283931,0.000720597,0.0001188109],"domain_scores_gemma":[0.9983204,0.001015666,0.00006429799,0.0003897497,0.0001735453,0.00003633423],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001536764,0.00002688641,0.0000467487,0.0002092366,0.00001206127,0.00003953505,0.0002754983,0.003102191,0.0009542079,0.9159336,0.00690987,0.07247484],"study_design_scores_gemma":[0.00001989228,0.00001264501,0.00003450779,0.000143025,0.00001058443,0.00008191378,0.00004460027,0.00940888,0.001171242,0.9101997,0.07885947,0.00001345795],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001325942,0.004813486,0.9598413,0.001073163,0.0003655485,0.00006372134,0.00009351489,0.001039039,0.03138436],"genre_scores_gemma":[0.1638464,0.009983233,0.7297074,0.00085236,0.000915357,0.0005166471,0.0005784002,0.001000141,0.09260003],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01611941,"threshold_uncertainty_score":0.05392474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03230149285297806,"score_gpt":0.3262644233856958,"score_spread":0.2939629305327178,"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."}}